GOAT meluncurkan Testnet ZK Rollup real-time: kemungkinan baru untuk keuntungan BTC asli?

Melihat jaringan GOAT meluncurkan Testnet berbasis teknologi BitVM2, di mana ada satu implementasi yang patut diikuti: ZK Rollup Bitcoin dengan pembuktian waktu nyata. Mewujudkan pembuktian ZK Rollup yang cepat, ini merupakan perkembangan penting bagi infrastruktur L2 BTC. Dari segi pengalaman pengguna, dalam hal waktu penarikan, akan ada peningkatan efisiensi yang signifikan dibandingkan sebelumnya, yang akan membawa lebih banyak pengembang bergabung dan perhatian pengguna.

Jadi, bagaimana cara memahami secara teknis dengan sederhana?

Pertama, mari kita lihat proses implementasi Bitcoin L2 di jaringan GOAT. Jaringan GOAT adalah solusi berbasis Bitcoin L2 yang menggunakan teknologi BitVM2 dan zkMIPS, mendukung penghasilan BTC asli (artinya peserta memiliki kesempatan untuk mendapatkan lebih banyak BTC). Proses ini terutama mencakup Bridge in, Bridge out, Sequencer Set Commitment, dan Reimbursement. Bridge in terutama adalah mengunci BTC ke dalam skrip taproot (kunci pribadi tanpa kontrol), dan perantara mengajukannya ke kontrak Goat. Komite membangun aliran transaksi BitVM2, operator menandatangani sebelumnya dan menyimpannya di IPFS, setelah diverifikasi oleh pengguna, perantara menerbitkan PegBTC di L2; Bridge out adalah penarikan, pengguna melakukan transaksi atomik dengan operator (pengguna juga bisa menjadi operator, jika tidak ingin, dapat menyelesaikan penarikan melalui operator), menghancurkan PegBTC di L2, operator memulai proses reimburs, tanpa perlu melakukan transaksi Peg-OUT di rantai utama BTC. Sequencer Set Commitment terutama merujuk pada komite yang secara berkala menggunakan pohon Merkle untuk mengkomitmen kumpulan sequencer di masa depan, mendukung mekanisme verifikasi klien ringan Bitcoin. Dengan mekanisme klien ringan, kumpulan validator yang dikomit di BTC digunakan sebagai input publik untuk verifikasi bukti nol di kemudian hari, untuk mewujudkan verifikasi konsistensi blok L2. Proses reimburs adalah operator mengunci BTC dan mengajukan ID transaksi penarikan serta hash blok terbaru. Penantang melakukan verifikasi off-chain dan on-chain, jika tidak ada tantangan, operator menerima dana. Penantang juga dapat mengajukan tantangan, setelah tantangan terjadi, validator dihasilkan secara acak, validator dapat melakukan verifikasi interaktif melalui skrip Bitcoin. Masa tantangan dipersingkat menjadi sekitar 1 hari (sekitar 144 blok btc), memperpendek waktu yang diperlukan untuk finalitas. Selain itu, ia menggunakan sequencer terdesentralisasi, operator mengunci BTC untuk berpartisipasi, model ekonomi mencakup biaya gas L2 yang menghasilkan penghasilan BTC asli.

Berikut ini akan dibahas secara khusus tentang ZK Rollup yang membuktikan secara real-time, pertama-tama mari kita bahas teknologi Rollup-nya. Jaringan GOAT akan mengemas beberapa transaksi L2 menjadi batch, melakukan eksekusi di luar rantai untuk menghasilkan bukti ZK, yang akan diverifikasi melalui rantai utama Bitcoin (seperti tahap Assert/Disprove di BitVM2), keuntungan dari bukti ZK adalah tidak perlu mengunggah semua rincian transaksi; selain itu, berbeda dengan zksync atau Starknet di Ethereum, Goat menggunakan mekanisme asli seperti skrip Taproot Bitcoin untuk mengaitkan pembaruan status, sehingga menghindari ketergantungan pada jembatan eksternal atau mekanisme multisig.

Jadi, setelah memahami teknologi Zk Rollup-nya, mari kita lihat mekanisme pembuktian waktu nyata. Menurut dokumentasi jaringan GOAT, pembangkitan pembuktian waktu nyata menggunakan mesin zkMIPS, yang diimplementasikan melalui arsitektur pembuktian paralel berbasis pipeline + jaringan pembuktian GPU terdistribusi untuk menghasilkan pembuktian dengan cepat. Pertama adalah pembangkitan pembuktian blok, menggunakan teknik pemotongan jejak eksekusi dan pembuktian paralel, untuk memverifikasi apakah transisi status Rollup benar; kedua adalah penggabungan pembuktian, melakukan kompresi rekursif terhadap beberapa pembuktian blok; dan terakhir adalah pembuktian SNARK (Groth16), yang dikompresi menjadi pembuktian volume kecil yang dapat diverifikasi di BitVM2.

Untuk mencapai bukti waktu nyata, pembuatan bukti di atas tidak diproses secara berurutan, tetapi menggunakan mekanisme pemrosesan paralel berbasis pipeline (Pipelined), yang terutama bergantung pada teknologi zkVM "Ziren" dari ZKM, ditambah dengan percepatan GPU dan jaringan pembuktian terdistribusi. Berdasarkan data dari situs resmi testnet saat ini, bukti blok rata-rata sekitar 2,6 detik, bukti agregat rata-rata 2,7 detik, dan bukti SNARK sekitar 10,38 detik. Pengguna dapat melihat secara real-time seluruh proses pembuatan bukti ZK untuk setiap penarikan melalui halaman depan.

Jika ZK proof dapat diselesaikan dalam waktu kurang dari 1 menit, itu berarti kecepatan penarikan pengguna akan sangat meningkat. Sebelumnya, beberapa penarikan dari jaringan Bitcoin L2 memerlukan waktu beberapa jam untuk diproses. Dengan adanya bukti cepat, pengguna dapat memulai penarikan segera setelah bukti dihasilkan, yang berarti dalam waktu kurang dari 1 menit pengguna dapat memulai penarikan. Tentu saja, waktu akhirnya sampai ke pengguna masih tergantung pada keadaan transaksi di jaringan utama Bitcoin. Namun, dalam hal penarikan, tidak perlu menunggu, yang berarti pengalaman waktu penarikan hampir setara dengan waktu yang dibutuhkan untuk memulai transaksi di rantai Bitcoin.

Selain penarikan, bukti waktu nyata juga akan mendorong pengembang untuk membangun aplikasi L2 frekuensi tinggi, selain itu kompatibilitas EVM juga dapat menarik pengembang dari ekosistem Ethereum; untuk operator, tidak perlu menunggu pengeluaran sertifikat massal, juga dapat meningkatkan efisiensi modal. Teknologi ZK relatif kompleks, dan keamanan jangka panjang juga memerlukan waktu untuk dibuktikan. Namun, penerapan bukti waktu nyata adalah kemajuan penting dalam infrastruktur teknologi untuk Bitcoin L2. Tentu saja, saat ini Bitcoin L2 masih memiliki jalan panjang untuk ditempuh, selain membangun infrastruktur teknologi, juga perlu melakukan lebih banyak usaha untuk menggali kebutuhan pengguna dan mendorong pengembang membangun aplikasi Bitcoin L2, karena pada akhirnya, ekosistem Bitcoin L2 harus dibangun agar ada cukup biaya transaksi untuk mencapai pertumbuhan roda terbang. Salah satu kebutuhan yang relatif jelas adalah bahwa banyak pemegang BTC juga ingin mendapatkan keuntungan, hal ini dapat dilihat dari jumlah BTC di blockchain Ethereum (seperti wbtc, dll) yang saat ini lebih dari 150.000 BTC terbungkus di blockchain Ethereum, dengan nilai lebih dari 15 miliar dolar. Jika dapat mewujudkan keamanan asli berbasis rantai BTC, maka akan ada lebih banyak pemegang BTC yang bersedia mencoba mendapatkan keuntungan melalui BTCFI.