Hari ini kita akan membahas tentang Merlin chain, proyek ace Bitcoin lapis kedua yang diluncurkan kemarin. Sebenarnya kita sudah membicarakan aktivitas stakingnya sebelumnya, jadi teman-teman yang mengerjakan tugas kemarin juga mendapat airdrop, karena masih sangat bermanfaat. . Karena Merlin saat ini memiliki volume TVL sebesar 3 miliar dolar AS, jauh melebihi proyek lapisan 2 Bitcoin lainnya, maka hari ini kita akan melihat di mana kekuatan teknis Merlin, dan harga berapa yang lebih tepat?
Ringkasan
Rantai Merin adalah solusi lapisan 2 Bitcoin yang dikembangkan oleh tim di belakang Bitmap Jech (sebelumnya Recursiverse). Jaringan ZK-Rollup terintegrasi, jaringan Oracle terdesentralisasi, ketersediaan data, dan modul bukti penipuan BTC on-chain. Merlin Chain berkomitmen untuk memberdayakan aset, protokol, dan produk asli Bitcoin melalui jaringan lapis kedua. Ia mendukung berbagai protokol Bitcoin, seperti BRC-20, BRC-420, Atomics, Pipe, dll. Merin Chain juga kompatibel dengan EVM dan beroperasi dengan biaya rendah dan skalabilitas tinggi.
Merlin Chain menggunakan bukti tanpa pengetahuan yang dikirimkan ke Bitcoin untuk verifikasi komitmen, memberikan dukungan yang ditingkatkan untuk jaringan Bitcoin. Hal ini memungkinkan penantang untuk memberikan bukti penipuan mengenai hal-hal kontroversial, memanfaatkan mekanisme konsensus Bitcoin yang kuat untuk memastikan keamanan jaringan Merlin Chain. Hal ini memastikan lingkungan jaringan yang aman, praktis, komprehensif, dan hemat biaya bagi pengguna dalam ekosistem.
Arsitektur
Infrastruktur Merlin Chain dibangun di atas teknologi ZK Polygon, menyediakan jaringan Oracle terdesentralisasi melalui Celestia untuk ketersediaan data, dan daya komputasinya didukung oleh jaringan daya komputasi ZK terdesentralisasi Lumoz untuk perhitungan tanpa bukti pengetahuan.
Merlin Chain menyediakan solusi penskalaan tanpa pengetahuan (ZK) terkemuka di Bitcoin, yang memiliki keuntungan sebagai berikut:
- Keamanan: Mewarisi keamanan Bitcoin sekaligus memberikan keuntungan tambahan dalam skalabilitas batch L2.
- Kompatibilitas EVM: mendukung sebagian besar kontrak pintar, alat pengembang, dan dompet yang ada, memastikan interoperabilitas yang lancar.
- Biaya rendah: Gunakan bukti ZK yang dikombinasikan dengan zkSNARK untuk mengurangi konsumsi ruang di L1 dan mengoptimalkan biaya transaksi bagi pengguna.
- Kinerja Tinggi: determinisme jaringan cepat melalui bukti validitas yang sering dan skalabilitas tertinggi melalui STARK rekursif.
Pembuatan bukti tanpa pengetahuan dan verifikasi komitmen
ZK-L2 Merlin Chain menggunakan teknologi Polygon CDK, dan bukti tanpa pengetahuan didukung oleh jaringan daya komputasi ZK terdesentralisasi Lumoz.
Generasi bukti
Mirip dengan rantai CDK Polygon lainnya, rantai Merlin menangani pembuatan bukti dan verifikasi transaksi melalui komponen yang disebut zkProver, yang merupakan generator bukti tanpa pengetahuan. Semua aturan untuk transaksi yang valid diterapkan dan ditegakkan di zkProver.
zkProver melakukan perhitungan matematis yang kompleks dalam bentuk polinomial dan bahasa rakitan, yang kemudian diverifikasi pada kontrak pintar. Aturan-aturan ini dapat dianggap sebagai batasan yang harus diikuti oleh transaksi untuk mengubah pohon keadaan atau pohon keluar.
Interaksi dengan node dan database (DB)
zkProver terutama berinteraksi dengan dua komponen, yaitu node dan database. Di bawah ini adalah diagram alur yang menjelaskan proses ini dengan jelas.
Seperti yang ditunjukkan pada diagram alur di atas, keseluruhan interaksi dibagi menjadi empat langkah.
1 → Node mengirimkan konten pohon Merkle ke database dan menyimpannya di sana
2 → Node kemudian mengirimkan transaksi input ke zkProver
3 → zkProver mengakses database untuk mendapatkan informasi yang diperlukan untuk bukti transaksi yang dapat diverifikasi yang dikirim oleh node. Informasi ini mencakup akar Merkle, kunci saudara terkait, dan hash.
4 → Kemudian, zkProver membuat bukti transaksi dan mengirimkan bukti tersebut kembali ke node.
mesin negara
zkProver mengadopsi desain modular. Terlepas dari beberapa komponen, sebagian besar terdiri dari armada mesin negara yang terbatas. Ia memiliki total 13 mesin negara terbatas.
mesin negara terbatas utama
Mesin keadaan terbatas bantu → SM Biner, SM penyimpanan, SM memori, SM aritmatika, SM fungsi Keccak, SM PoseidonG
Mesin keadaan terbatas bantu → Isi-PG SM, Isi-KK SM, Bidang transfer bit SM, Penyelarasan memori SM, Byte4 SM, ROM SM
Karena desain modular zkProver, mesin negara terbatas master dapat mendelegasikan tugas sebanyak mungkin ke mesin negara terbatas khusus lainnya. Hal ini sangat meningkatkan efisiensi SM utama.
Mesin negara terbatas bantu
Aktuator SM primer secara langsung menginstruksikan setiap mesin keadaan terbatas sekunder dengan mengirimkan instruksi yang sesuai (disebut "tindakan"), seperti yang ditunjukkan pada gambar di bawah.
Kompilasi pengetahuan nol
Sebagai bahasa rakitan, bahasa rakitan tanpa pengetahuan (atau zkASM) dirancang khusus untuk memetakan instruksi di mesin status terbatas zkProver utama ke mesin status terbatas lainnya. Untuk mesin negara terbatas dengan firmware, zkASM adalah penerjemah firmware.
Kode rakitan yang ditentukan dihasilkan dari kode zkASM, menggunakan instruksi di mesin keadaan terbatas utama untuk menentukan bagaimana pelaksana SM tertentu harus melakukan penghitungan. Pelaksana secara ketat mengikuti logika dan konvensi kode zkASM, membuat verifikasi perhitungan menjadi sederhana.
bahasa identitas polinomial
Bahasa Identitas Polinomial (atau PIL) dirancang khusus untuk zkProver. Hampir semua mesin keadaan terbatas menggunakan polinomial untuk menyatakan perhitungannya. Oleh karena itu, transisi keadaan pada mesin keadaan terbatas harus memenuhi perhitungan identitas polinomial tertentu.
Polygon zkEVM menciptakan solusi paling efektif untuk tiga teka-teki privasi, keamanan, dan skalabilitas dalam blockchain. Latar belakangnya adalah skema komitmen tanpa pengetahuan yang efisien. Sejauh ini skema komitmen yang paling dapat diandalkan dan efisien adalah skema komitmen polinomial.
Buktikan kebenaran eksekusi
Mesin status akhir zkProver dirancang untuk menjalankan program dan memastikan bahwa program tersebut dijalankan dengan benar.
Oleh karena itu, setiap mesin negara halus tambahan berisi eksekutornya sendiri dan program PIL yang dapat digunakan untuk memeriksa apakah semua instruksi yang dikirim oleh eksekutor SM utama dijalankan dengan benar.
Komponen zkProver mencakup empat bagian berikut.
-Aktuator atau pelaksana mesin negara terbatas utama
-Komponen rekursif STARK
-Perpustakaan CIRCOM
-Zk-SNARK pepatah
Singkatnya, zkProver menggunakan keempat komponen ini untuk menghasilkan bukti yang dapat diverifikasi. Oleh karena itu, batasan yang harus dipenuhi oleh setiap batch yang diusulkan adalah batasan polinomial atau identitas polinomial. Semua kumpulan yang valid harus memenuhi batasan polinomial tertentu.
Aktuator
Pelaksana atau pelaksana mesin negara terbatas utama menangani eksekusi zkEVM. Di sinilah bahasa rakitan tanpa pengetahuan (atau zkASM) baru, yang dikembangkan secara khusus oleh tim Polygon zkEVM, digunakan untuk menafsirkan bytecode EVM.
Dibutuhkan sebagai masukan; transaksi, status lama dan baru, ChainID Sequencer, dll. Aktuator juga membutuhkan
PIL, daftar polinomial, daftar register dan ROM, menyimpan dan mengeksekusi daftar instruksi
Pengaturan pelaksana harus memenuhi batasan polinomial untuk setiap kumpulan transaksi yang valid. Bahasa lain yang dikembangkan secara khusus oleh tim, disebut Bahasa Identitas Polinomial (atau PIL), digunakan untuk mengkodekan semua batasan polinomial.
Pelaksana menjalankan semua instruksi pada perangkat keras PIL dan menghasilkan polinomial yang dikomit; ini adalah loop mesin status halus, atau daftar semua status. Ini juga menghasilkan beberapa data umum yang menjadi bagian masukan ke validator zk-SNARK.
Jaringan Oracle Terdesentralisasi
Dalam arsitektur L2 Merlin Chain, node urutan mengumpulkan dan mengelompokkan transaksi, dan menghasilkan data transaksi terkompresi, akar status ZK, dan bukti melalui zkEVM. Jaringan oracle yang terdesentralisasi mengkompilasi data L2 ini dan mengunggahnya ke akar tunggang mainnet Bitcoin, sehingga dapat diakses secara publik oleh seluruh jaringan.
Alur kerja Merlin Chain dapat diringkas sebagai berikut: ZK L2 mengumpulkan dan mengelompokkan transaksi, kemudian zkProver menghasilkan bukti. Pada saat yang sama, data mentah transaksi, pohon Merkle, status Bitcoin, dan data lainnya dikumpulkan untuk membentuk bukti bersama dan disinkronkan dengan jaringan Oracle.
Setelah menerima data L2 ini, jaringan Oracle melakukan kompilasi sirkuit, mengirimkan data terkompresi dan komitmen ke akar tunggang mainnet Bitcoin, menjadikan data ini dapat diverifikasi secara publik dan dapat diakses oleh semua peserta.
Node Oracle memainkan peran penting dalam Merlin Chain. Mereka tidak hanya bertanggung jawab untuk memverifikasi bukti tanpa pengetahuan dalam rantai Merlin, tetapi juga untuk mengunggah data lapisan 2 (L2) ke akar tunggang jaringan utama Bitcoin.
Penyelesaian akhir ZKP:
Node Oracle membantu agregator bukti dalam menyiapkan dan mengirimkan bukti tanpa pengetahuan (ZKP) ke akar tunggang blok Bitcoin. Bukti ini mengonfirmasi validitas transaksi batch dan memperbarui status rantai di Lapisan 2 tanpa mengungkapkan detailnya.
Verifikasi terdesentralisasi:
Sebagai entitas terdesentralisasi, jaringan node Oracle memastikan verifikasi bersama atas ketersediaan data (DA) dan bukti zk. Artinya setiap node secara independen berpartisipasi dalam proses verifikasi, sehingga meningkatkan keamanan dan desentralisasi keseluruhan sistem.
Node Oracle tidak hanya berpartisipasi dalam verifikasi dan konfirmasi transaksi, namun juga berinteraksi dengan mainnet Bitcoin, memastikan integrasi dan keamanan solusi lapisan 2 yang mulus dengan jaringan Bitcoin. Desain ini meningkatkan kemampuan Merlin Chain sebagai platform blockchain yang efisien, aman, dan terdesentralisasi.
Mekanisme staking node Oracle
Dalam sistem staking multi-token Merlin Chain, mekanisme staking adalah komponen kunci dalam menjaga keamanan jaringan, memotivasi peserta, dan memastikan desentralisasi. Mekanisme ini memungkinkan pengguna untuk berpartisipasi dalam proses tata kelola dan verifikasi data Merlin Chain dengan mempertaruhkan aset kripto yang berbeda atau mempertaruhkan proxy ke node Oracle yang ada.
Keamanan dan transparansi aset
Untuk melindungi aset yang dijaminkan oleh pengguna, sistem ini menggunakan teknologi multi-tanda tangan dan penyimpanan dingin untuk menjamin keamanan aset. Semua proses distribusi staking dan reward bersifat terbuka dan transparan, dan pengguna dapat memeriksa status staking dan keuntungan yang diharapkan kapan saja. Selain itu, penggunaan kontrak pintar memastikan kekekalan dan otomatisasi proses staking, sehingga semakin meningkatkan kredibilitas sistem.
Mempertaruhkan hadiah
Imbalan staking dari node Oracle terutama terdiri dari dua bagian: imbalan blok dan biaya transaksi. Hadiah blok adalah token Merl yang diterbitkan pada tingkat inflasi tertentu, didistribusikan berdasarkan bobot taruhan node dan kinerja jaringan. Biaya transaksi adalah token BTC dan persentase setiap transaksi dalam rantai Merlin diambil dari biaya transaksi.
Hadiah staking akan didistribusikan berdasarkan jenis dan jumlah aset yang dijaminkan. Pemangku kepentingan BTC akan menerima 40% dari hadiah, pemegang saham Merl juga akan menerima 40% dari hadiah, dan 20% sisanya dari hadiah akan didistribusikan ke pemegang saham aset arus utama lainnya (seperti BRC20).
Untuk memastikan keadilan dalam distribusi hadiah, kami akan menggunakan algoritma rata-rata tertimbang berdasarkan kapitalisasi pasar dan jumlah yang dijanjikan. Algoritme ini akan memperhitungkan kapitalisasi pasar dan likuiditas berbagai aset, serta jumlah taruhan setiap node Oracle, untuk menghitung imbalan yang harus diterima setiap node.
langkah-langkah keamanan
Pemilihan dan eliminasi node
Pemilihan node Oracle akan didasarkan pada serangkaian kriteria, termasuk jumlah kontribusi, durasi online, tingkat keberhasilan verifikasi, dll. Sistem akan mengevaluasi node Oracle secara berkala, dan node yang berkinerja buruk akan dihilangkan. Node baru akan dipilih berdasarkan kinerja dan evaluasi komunitas.
Proses dari ZKP ke jaringan BTC
Jaringan Oracle terdesentralisasi menggabungkan ketersediaan data (DA) dan verifikasi zk-proof. Proses spesifiknya dapat dipecah sebagai berikut:
Formasi kelompok:
Transaksi pengguna dikumpulkan oleh penyortir dan disusun dalam beberapa batch.
Verifikasi kumpulan:
Setelah batch terbentuk, batch tersebut diverifikasi dan data batch serta nilai hashnya ditransfer ke node Oracle.
Validasi dan penyimpanan data:
Setiap node Oracle secara independen memverifikasi data batch dan menyimpan hash terverifikasi dalam database lokal untuk digunakan di masa mendatang.
Pembuatan tanda tangan:
Setiap node Oracle menghasilkan tanda tangan untuk hash batch untuk mengonfirmasi integritas dan keaslian batch.
Berkomunikasi dengan Bitcoin:
Sequencer mengumpulkan tanda tangan anggota oracle dan hash batch asli dan mengirimkannya ke akar tunggang jaringan Bitcoin.
Verifikasi tanda tangan ambang batas Bitcoin:
Sequencer memverifikasi tanda tangan yang dikirimkan terhadap daftar anggota jaringan Oracle yang valid dan mengonfirmasi bahwa persetujuan yang memadai telah diberikan untuk hash batch.
Celestia: Lapisan DA publik
Merlin Chain akan menggunakan Celestia sebagai lapisan ketersediaan data untuk memastikan bahwa data blok dapat dilepaskan sehingga siapa pun dapat memahami dan menyimpan status Merlin Chain.
Melalui Celestia, Merlin Chain memungkinkan siapa pun mengakses data historis sehingga node Rollup baru dapat merekonstruksi status terkini dengan memutar ulang blok historis. Setelah data dipublikasikan di Celestia dan dijamin tersedia, Rollup dan aplikasi bertanggung jawab untuk menyimpan data historisnya. Khususnya, ketika node menerima blok baru yang ditambahkan ke rantai, mereka memverifikasi ketersediaan data. Node akan mencoba mengunduh semua data transaksi untuk blok baru untuk memverifikasi ketersediaan. Jika node dapat mengunduh semua data transaksi, maka ketersediaan data telah berhasil diverifikasi, membuktikan bahwa data blok memang telah dipublikasikan ke jaringan.
Peningkatan di masa depan: Mekanisme bukti penipuan on-chain Bitcoin
Mainnet Beta Merlin Chain mengandalkan jaringan Oracle terdesentralisasi untuk menyediakan ketersediaan data (DA) ZK-L2 dan verifikasi bukti tanpa pengetahuan (ZKP). Namun, karena jaringan Bitcoin Turing tidak lengkap, tidak mungkin melakukan verifikasi bukti tanpa pengetahuan secara langsung di mainnet Bitcoin. Oleh karena itu, metode tradisional untuk memverifikasi bukti tanpa pengetahuan pada jaringan blockchain lapisan-1 (seperti yang terlihat dalam solusi ZK-Rollup) tidak berlaku untuk Bitcoin.
Merlin Chain memecahkan tantangan ini dengan memanfaatkan Taproot untuk menulis kumpulan bukti tanpa pengetahuan dan data rollup ke mainnet Bitcoin. Proses ini memastikan bahwa data ZK-Rollup tertanam dalam Bitcoin dan tetap tidak berubah. Namun, hal ini saja tidak dapat menjamin validitas dan kebenaran transaksi dalam ZK-Rollup, juga tidak dapat sepenuhnya memanfaatkan mekanisme konsensus Bitcoin yang kuat untuk menjamin keamanan Layer 2 ZK-Rollup.
Dalam peningkatan di masa depan, Merlin Chain berencana untuk memperkenalkan mekanisme anti-penipuan pada rantai Bitcoin: node di jaringan Oracle yang terdesentralisasi harus menjaminkan BTC pada jaringan Bitcoin terlebih dahulu, yang menjadi dasar mekanisme tantangan pada rantai Bitcoin. Pengguna dapat memulai tantangan ZK-Rollup berdasarkan data transaksi terkompresi, akar status ZK, dan bukti ZK di mainnet Bitcoin. Jika terdapat ketidakkonsistenan antara data bukti tantangan dan bukti, pengguna dapat mengklaim aset yang telah dipertaruhkan sebelumnya di mainnet Bitcoin dan ZK-Rollup akan mengembalikan ke status terverifikasi terakhir.
Merlin Chain menggunakan mekanisme anti penipuan pada rantai Bitcoin untuk memastikan kebenaran data dan ZKP yang dikirimkan oleh jaringan Oracle yang terdesentralisasi. Dibandingkan dengan rollup optimis, mainnet Bitcoin tidak lagi melakukan pembuktian penipuan pada seluruh volume transaksi, namun berfokus pada verifikasi keamanan root negara ZK dan bukti ZK. Ini sangat meningkatkan kecepatan.
Ekonomi token
Jumlah total token adalah 2.100.000.000, 245.700.000 di antaranya saat ini beredar, dengan tingkat sirkulasi 11,7%. Harga mata uang saat ini sekitar US$1,1, dan keseluruhan FDV telah mencapai US$2,2 miliar. Sayangnya, pembagian token tidak ditemukan.
Kesimpulannya, proyek ini memang lebih unggul dari btc layer 2 lainnya dalam hal teknologi, ekologi, dan TVL secara keseluruhan, terutama TVL yang berbicara sendiri (3 miliar dolar AS), dan arb hanya 2,6 miliar dibandingkan dengan btc layer2 lainnya , seperti stacksTVL, hanya 100 juta, sedangkan FDV stacks saat ini memiliki 4 miliar dolar AS. Nilai pasar keseluruhan dari proyek-proyek teratas layer2 evm adalah antara 8 miliar dan 10 miliar FDV, jadi dari sudut pandang ini, Merlin sebenarnya masih dalam kisaran yang diremehkan.