Dua proyek ZK yang paling ambisius, Succinct dan Boundless, berlomba untuk menghadirkan komputasi yang dapat diverifikasi ke setiap sudut ruang onchain.
Keduanya menggunakan zkVM, tetapi tidak sama.
Berikut rincian perbedaannya 🧠🧵
2/ Pada tingkat tinggi:
- @SuccinctLabs membangun zkVM (SP1) dan menjalankan jaringan terdesentralisasi di mana siapa pun dapat meminta bukti untuk pekerjaan offchain.
- @boundless_xyz (dari RISC Zero) membangun lapisan protokol ZK yang mengubah komputasi offchain menjadi tanda terima yang dapat diverifikasi.
Keduanya ingin mengganti kepercayaan dengan kebenaran kriptografi.
3/ Mari kita mulai dengan mesin pembuktian mereka
- SP1 Ringkas menjalankan program Rust dan menghasilkan ZKP menggunakan SNARK rekursif. Ini cepat, modular, dan dioptimalkan untuk beban kerja seperti rollup.
- Boundless menggunakan zkVM RISC Zero untuk menangani komputasi besar-besaran dan pembuktian yang dapat diskalakan.
4/ Di bawah tenda:
Succinct menggunakan juru lelang offchain. Anda mengirimkan pekerjaan (seperti "buktikan komputasi ini"), dan jaringan menemukan pembuktian termurah secara real time.
Pemberi saling memotong pekerjaan, menciptakan pasar untuk membuktikan pekerjaan.
Rasanya seperti API Web2. Cepat, efisien, tetapi diamankan oleh ZKP yang diposting onchain nanti untuk memberi Anda bukti kriptografi bahwa program berjalan dengan benar.
5/ Mesin di belakangnya disebut SP1 - zkVM yang dapat menjalankan logika kompleks, memverifikasi tanda tangan, mensimulasikan rollup, atau bertindak seperti klien ringan untuk rantai lain.
SP1 dioptimalkan untuk kecepatan, penggunaan kembali, dan verifikasi onchain berbiaya rendah. Buktinya kecil dan murah untuk diverifikasi (sekitar 200 ribu gas di Ethereum).
6/ SP1 zkVM sedang aktif. Pembuat dapat memverifikasi bukti onchain dan mengirimkan aplikasi tingkat produksi menggunakan SP1.
Tetapi Jaringan Penyediaan Ringkas - lapisan terdesentralisasi di mana siapa pun dapat menjalankan pembuktian dan mendapatkan penghasilan - masih dalam tahap akhir testnet (Tahap 2.5).
Mainnet untuk Jaringan Prover semakin dekat.
7/ Boundless, di sisi lain, berubah menjadi utilitas publik. Rantai apa pun dapat memintanya untuk membuktikan sesuatu. Aplikasi apa pun dapat mengalihdayakan logika yang kompleks ke aplikasi tersebut.
Ini bukan hanya jaringan, ini adalah seluruh lapisan untuk komputasi yang dapat diverifikasi.
Anda dapat membayangkan Boundless sebagai komputasi awan dengan tanda terima kriptografi.
8/ Dibangun di atas RISC Zero, Boundless juga menjalankan kode Rust atau C++ dalam zkVM.
Tapi itu membungkusnya dengan protokol di mana pekerjaan diposting onchain, kemudian diklaim dan dihitung offchain oleh prover.
9/ Ini memperkenalkan ide baru yang disebut Proof of Verifiable Work (PoVW). Pemberi mendapatkan imbalan berdasarkan seberapa banyak perhitungan nyata yang mereka lakukan.
Ini seperti penambangan, tetapi alih-alih melakukan hashing angka acak, mereka terbukti bekerja berguna, menjalankan program yang sebenarnya.
Boundless menyebutnya zk-mining.
10/ Kasus penggunaan langsung pertama dari Boundless adalah The Signal on Mainnet Beta, klien konsensus ZK yang membuktikan finalitas Ethereum menjadi satu bukti yang dapat diverifikasi.
Bukti itu dapat dibaca oleh rantai apa pun, memungkinkan aplikasi crosschain untuk membaca status Ethereum tanpa multi-sig atau oracle.
Sinyal akan membuktikan lebih banyak rantai berikutnya saat jaringan berkembang.
11/ Apa bedanya?
Singkatnya: lelang offchain yang cepat → satu pembuktian memenangkan pekerjaan → menyerahkan bukti onchain. Anda mendapatkan latensi rendah dan hasil yang dapat diverifikasi dengan cepat.
Tanpa batas: tugas yang diposting onchain → pembuktian mana pun menghitung offchain → mengirimkan bukti onchain → penyedia hadiah PoVW. Persaingan pembuktian terbuka dan sepenuhnya tidak dapat dipercaya sejak awal.
12/ Siapa yang menggunakannya?
- @Mantle_Official → Ditingkatkan dari Optimistic ke zkRollup menggunakan zkVM SP1 Succinct untuk finalitas cepat dan kesetaraan EVM.
- Platform Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Menawarkan rollup ZK melalui OP-Ringkas, memungkinkan pengembang meluncurkan L2 dengan peningkatan finalitas bertenaga SP1 1-klik.
- @Agglayer → Polygon Menggunakan SP1 untuk membantu mengimplementasikan lapisan zk-unifikasi di seluruh rollup Polygon, meningkatkan composability cross-rollup.
- @celestia (Blobstream DA Bridge) → SP1 memverifikasi penyertaan blok Celestia untuk menjembatani DA tanpa kepercayaan, memungkinkan rollup untuk menetap di Ethereum dengan gumpalan Celestia.
13/ - @eigenlayer → Menggunakan Boundless untuk menghitung pembaruan nilai staking offchain, memposting bukti ZK yang mengurangi gas L1 sebesar ~99,9%.
- @hibachi_xyz → Membangun pertukaran pertama yang dapat dibuktikan. Pencocokan offchain dijalankan pada frekuensi tinggi; setiap batch dibuktikan dengan R0VM di Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Menggunakan Boundless untuk membuktikan transaksi Bitcoin batch, memungkinkan rollup ZK yang kompatibel dengan EVM di Bitcoin.
- @build_on_bob → Boundless mendukung L2 hibrida BOB, menghadirkan kontrak pintar EVM dan rollup yang didukung bukti ke Bitcoin.
14/ Siapa yang memenangkan permainan ZK?
Mereka bukan pesaing langsung. Bahkan, pendekatan mereka bisa saling melengkapi.
Yang jelas adalah ini: infrastruktur ZK menjadi modular. Komputasi yang cepat, universal, dan tanpa kepercayaan bukan lagi sci-fi, itu terjadi sekarang.
19,35 rb
9
Konten pada halaman ini disediakan oleh pihak ketiga. Kecuali dinyatakan lain, OKX bukanlah penulis artikel yang dikutip dan tidak mengklaim hak cipta atas materi tersebut. Konten ini disediakan hanya untuk tujuan informasi dan tidak mewakili pandangan OKX. Konten ini tidak dimaksudkan sebagai dukungan dalam bentuk apa pun dan tidak dapat dianggap sebagai nasihat investasi atau ajakan untuk membeli atau menjual aset digital. Sejauh AI generatif digunakan untuk menyediakan ringkasan atau informasi lainnya, konten yang dihasilkan AI mungkin tidak akurat atau tidak konsisten. Silakan baca artikel yang terkait untuk informasi lebih lanjut. OKX tidak bertanggung jawab atas konten yang dihosting di situs pihak ketiga. Kepemilikan aset digital, termasuk stablecoin dan NFT, melibatkan risiko tinggi dan dapat berfluktuasi secara signifikan. Anda perlu mempertimbangkan dengan hati-hati apakah trading atau menyimpan aset digital sesuai untuk Anda dengan mempertimbangkan kondisi keuangan Anda.