Dibandingkan dengan @SuccinctLabs, @boundless_xyz jauh dari perhatian dan penghargaan yang seharusnya di pasar, tetapi seperti Succinct, ia memiliki potensi untuk menjadi pemimpin di jalur infrastruktur umum zk, inilah juga yang menjadi alasan saya menulis artikel pengenalan paling rinci saat ini di seluruh jaringan berbahasa Mandarin.
Saat ini, protokol yang paling banyak dibicarakan di pasar zk proof tanpa diragukan lagi adalah @SuccinctLabs, yang dengan acara bintang berbasis undangan untuk pemain akhir membuat Succinct dengan cepat dikenal. Namun, di sisi lain, jaringan zk proof @boundless_xyz yang didukung oleh @RiscZero sedang muncul, yang juga saya anggap sebagai pesaing terbesar Succinct di segmen pasar yang mereka targetkan.
Tweet ini membahas secara singkat perbedaan dan keunggulan kompetitif antara @SuccinctLabs dan @boundless_xyz, siapa yang akan menjadi pemimpin di jalur ini masih belum diketahui.
zkVM yang tidak terhindarkan
Baik @SuccinctLabs maupun @boundless_xyz, implementasi teknologinya tidak bisa terlepas dari zkVM. Perbedaan terletak pada Succinct yang menggunakan mesin virtual SP1, sedangkan Boundless menggunakan mesin virtual R0VM yang dikembangkan dengan RISC?
Apa itu zkVM?
zkVM adalah mesin virtual bukti nol pengetahuan, yang memungkinkan pengembang membuktikan eksekusi program berbasis Rust( atau bahasa pemrograman LLVM lainnya).
Dengan bahasa yang sederhana, pengembang dapat menggunakan zkVM tanpa perlu menjalani proses pembuatan bukti zk yang memerlukan banyak perhitungan (membangun dan mengoptimalkan sirkuit secara manual), pembuatan bukti akan dilakukan secara otomatis di latar belakang, yang secara signifikan memperpendek waktu pengembangan bukti zk.
Singkat: SP1 vs. Tanpa Batas: R0VM
zkVM virtual machine menciptakan lingkungan objektif yang mengabstraksi kompleksitas bukti tanpa pengetahuan, sehingga pembuatan bukti menjadi semudah perhitungan tradisional.
SP1 dari Succinct dan R0VM dari Boundless keduanya berbasis pada set instruksi RISC-V, mendukung penulisan dengan bahasa Rust, serta otomatisasi pembuatan bukti ZK. Keduanya juga cocok untuk skenario komputasi umum.
Diversifikasi:
1）Keteroriginalan teknologi dasar;
@SuccinctLabs SP1 menggunakan sistem bukti dasar yang terinspirasi dari paket alat bukti ZK modular Plonky3 yang dikembangkan oleh tim Polygon, yang merupakan iterasi peningkatan dari Plonky2 yang sudah ada sejak awal 2022, dengan tingkat kematangan teknologi yang lebih tinggi, Succinct seolah berdiri di atas bahu raksasa Polygon;
R0VM dari @boundless_xyz didasarkan pada teknologi yang dikembangkan sendiri oleh perusahaan induknya RISC. Setelah diluncurkan versi R0VM 1.0 pada Juni 2024, R0VM telah mengalami beberapa iterasi teknologi (1.1.0-1.1.2) dan saat ini telah diperbarui ke versi terbaru R0VM 2.0.
2）Tingkat open source;
@SuccinctLabs SP1 mengklaim sebagai zkVM yang 100% open source pertama. Saya mencari informasi terkait dan menemukan bahwa R0VM dari RISC pada awal peluncurannya adalah sebagian open source, dan pada Agustus 2024 juga diumumkan 100% sepenuhnya open source.
3）Kinerja；
Kinerja adalah salah satu indikator inti dari zkVM, biasanya mengacu pada waktu generasi bukti zk dan waktu verifikasi. Karena data ini cukup sensitif, Succinct dan Boundless adalah pesaing langsung, data yang mereka publikasikan mungkin tidak terlalu adil (seperti data pengujian untuk lingkungan tertentu, dll.), dan saya juga tidak menemukan data perbandingan yang netral dan dapat dipercaya dari pihak ketiga yang berwenang, jadi untuk memastikan data yang objektif dan spesifik, saya tidak mengungkapkannya.
Saat ini, pandangan utama di industri berpendapat bahwa @SuccinctLabs SP1 berkinerja lebih baik dalam tugas kerja yang padat hash (seperti verifikasi klien ringan Tendermint), yang ditunjukkan dengan waktu generasi bukti yang lebih cepat; R0VM dari @boundless_xyz lebih cocok untuk skenario komputasi umum, dengan keunggulan yang jelas dalam manajemen memori.
Dukungan prekompilasi SP1 mengurangi jumlah siklus instruksi RISC-V yang perlu dieksekusi untuk menghasilkan bukti, sehingga mempercepat waktu pembuatan bukti dan mengurangi biaya pembuatan bukti. Namun, dengan peluncuran versi R0VM 2.0, dua prekompilasi utama baru ditambahkan, yaitu BN254 dan BLS12-381, yang juga akan membawa peningkatan kinerja yang signifikan.
Apa itu pasar bukti zk?
Pembuatan bukti zk adalah dasar bagi @SuccinctLabs dan @boundless_xyz untuk menuju komersialisasi berskala besar, dengan tujuan akhir untuk menjadi pasar bukti zk yang lebih efisien dan terdesentralisasi, mengubah komputasi yang dapat diverifikasi menjadi barang yang umum dan tanpa kepercayaan.
Pasar berperan sebagai penghubung antara pihak yang membeli dan menjual, pasar zk proof dapat dipahami sebagai pasar yang menghubungkan penyedia dan pengguna zk proof. Penyedia zk proof adalah produsen bukti, biasanya berupa operator yang menjalankan GPU atau perangkat keras lainnya; pengguna zk proof terutama adalah pengguna B-end yang memiliki kebutuhan verifikasi.
Mekanisme pencocokan antara pihak permintaan dan penawaran di pasar bukti @SuccinctLabs tidaklah rumit, Jaringan Succinct terdiri dari 2 jenis peserta inti: pemohon (pihak yang membutuhkan bukti zk) dan pemberi bukti (pihak yang menyediakan bukti zk).
Succinct bertindak sebagai perantara penyelesaian dana: penyintas menyetor jaminan di blockchain untuk memenuhi syarat berpartisipasi dalam kompetisi bukti, protokol Succinct sebelumnya menahan biaya layanan bukti yang diminta oleh pemohon; penyintas bersaing melalui lelang bukti, pihak pemenang lelang akhirnya menyerahkan bukti zk kepada pemohon dan mendapatkan keuntungan biaya yang sesuai. Seluruh proses pencocokan sampai di sini tertutup.
Detail lebih lanjut tentang mekanisme implementasi arsitektur teknis dapat dilihat di dokumen resmi @SuccinctLabs:
@boundless_xyz baru saja merilis whitepaper, berfungsi sebagai mekanisme realisasi pasar zk proof yang tidak jauh berbeda dari @boundless_xyz. Di sini tidak akan dibahas lebih lanjut, rincian teknis dapat dilihat pada tautan whitepaper Boundless yang dilampirkan di akhir.
Pengguna Akhir B Berkumpul
Sebagai protokol infrastruktur umum yang sangat disukai oleh kapital, @SuccinctLabs dan @SuccinctLabs memiliki basis pengguna B yang masing-masing menjadi inti, membentuk kelompok pendukung Succinct dan kelompok pendukung RISC(Boundless).
亲Succinct 派：
Seperti Cosmos, integrasi asli IBC Eureka menyediakan layanan pembuatan bukti zk, mewujudkan interoperabilitas lintas rantai IBC dalam perluasan jaringan rantai heterogen global. Termasuk namun tidak terbatas pada: memberikan dukungan teknis awal dari Polygon, lapisan DA @celestia, @AvailProject, dll;
Kepada RISC(Boundless)派：
seperti protokol staking ulang ETH @eigenlayer, protokol interoperabilitas lintas rantai zk @union_build, Bitcoin zk-Rollup @citrea_xyz, dll.
Ringkasan
Posisi inti @boundless_xyz dan @SuccinctLabs memiliki kesamaan yang sangat kuat, dan tumpang tindih area bisnis juga sangat tinggi. Menurut pendapat saya, persaingan antara keduanya bukan lebih dari persaingan dalam inovasi teknologi, tetapi persaingan pengguna inti untuk pengguna B-end dan pengguna C-end.
Persaingan di sisi B seimbang, sementara Succinct di sisi C memiliki keunggulan yang jelas. Boundless perlu mengatasi kekurangan, kemungkinan besar akan meluncurkan kegiatan poin/undangan serupa untuk merebut pengguna sisi C.
Ditulis di akhir
Jika Anda tidak dapat membayangkan seberapa besar pasar potensial di bawah permukaan iceberg dari zk proof universal, Anda tidak dapat membayangkan seberapa tinggi potensi langit-langit @SuccinctLabs dan @boundless_xyz.
Namun semua ini akan dapat dilacak, jika Anda tidak memahami atau tidak mengakui nilai pasar zk proof sekarang, Anda hanya perlu tetap mengikuti.
Saya rasa kita akhirnya akan terlibat dalam revolusi zk ini, dan sekarang, revolusi ini baru saja dimulai.
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Persaingan pemimpin pasar ZK Proof: Succinct vs. Boundless
Penulis: yyy Sumber: X, @y_cryptoanalyst
Dibandingkan dengan @SuccinctLabs, @boundless_xyz jauh dari perhatian dan penghargaan yang seharusnya di pasar, tetapi seperti Succinct, ia memiliki potensi untuk menjadi pemimpin di jalur infrastruktur umum zk, inilah juga yang menjadi alasan saya menulis artikel pengenalan paling rinci saat ini di seluruh jaringan berbahasa Mandarin.
Saat ini, protokol yang paling banyak dibicarakan di pasar zk proof tanpa diragukan lagi adalah @SuccinctLabs, yang dengan acara bintang berbasis undangan untuk pemain akhir membuat Succinct dengan cepat dikenal. Namun, di sisi lain, jaringan zk proof @boundless_xyz yang didukung oleh @RiscZero sedang muncul, yang juga saya anggap sebagai pesaing terbesar Succinct di segmen pasar yang mereka targetkan.
Tweet ini membahas secara singkat perbedaan dan keunggulan kompetitif antara @SuccinctLabs dan @boundless_xyz, siapa yang akan menjadi pemimpin di jalur ini masih belum diketahui.
zkVM yang tidak terhindarkan
Baik @SuccinctLabs maupun @boundless_xyz, implementasi teknologinya tidak bisa terlepas dari zkVM. Perbedaan terletak pada Succinct yang menggunakan mesin virtual SP1, sedangkan Boundless menggunakan mesin virtual R0VM yang dikembangkan dengan RISC?
Apa itu zkVM?
zkVM adalah mesin virtual bukti nol pengetahuan, yang memungkinkan pengembang membuktikan eksekusi program berbasis Rust( atau bahasa pemrograman LLVM lainnya).
Dengan bahasa yang sederhana, pengembang dapat menggunakan zkVM tanpa perlu menjalani proses pembuatan bukti zk yang memerlukan banyak perhitungan (membangun dan mengoptimalkan sirkuit secara manual), pembuatan bukti akan dilakukan secara otomatis di latar belakang, yang secara signifikan memperpendek waktu pengembangan bukti zk.
Singkat: SP1 vs. Tanpa Batas: R0VM
zkVM virtual machine menciptakan lingkungan objektif yang mengabstraksi kompleksitas bukti tanpa pengetahuan, sehingga pembuatan bukti menjadi semudah perhitungan tradisional.
SP1 dari Succinct dan R0VM dari Boundless keduanya berbasis pada set instruksi RISC-V, mendukung penulisan dengan bahasa Rust, serta otomatisasi pembuatan bukti ZK. Keduanya juga cocok untuk skenario komputasi umum.
Diversifikasi:
1）Keteroriginalan teknologi dasar;
@SuccinctLabs SP1 menggunakan sistem bukti dasar yang terinspirasi dari paket alat bukti ZK modular Plonky3 yang dikembangkan oleh tim Polygon, yang merupakan iterasi peningkatan dari Plonky2 yang sudah ada sejak awal 2022, dengan tingkat kematangan teknologi yang lebih tinggi, Succinct seolah berdiri di atas bahu raksasa Polygon;
R0VM dari @boundless_xyz didasarkan pada teknologi yang dikembangkan sendiri oleh perusahaan induknya RISC. Setelah diluncurkan versi R0VM 1.0 pada Juni 2024, R0VM telah mengalami beberapa iterasi teknologi (1.1.0-1.1.2) dan saat ini telah diperbarui ke versi terbaru R0VM 2.0.
2）Tingkat open source;
@SuccinctLabs SP1 mengklaim sebagai zkVM yang 100% open source pertama. Saya mencari informasi terkait dan menemukan bahwa R0VM dari RISC pada awal peluncurannya adalah sebagian open source, dan pada Agustus 2024 juga diumumkan 100% sepenuhnya open source.
3）Kinerja；
Kinerja adalah salah satu indikator inti dari zkVM, biasanya mengacu pada waktu generasi bukti zk dan waktu verifikasi. Karena data ini cukup sensitif, Succinct dan Boundless adalah pesaing langsung, data yang mereka publikasikan mungkin tidak terlalu adil (seperti data pengujian untuk lingkungan tertentu, dll.), dan saya juga tidak menemukan data perbandingan yang netral dan dapat dipercaya dari pihak ketiga yang berwenang, jadi untuk memastikan data yang objektif dan spesifik, saya tidak mengungkapkannya.
Saat ini, pandangan utama di industri berpendapat bahwa @SuccinctLabs SP1 berkinerja lebih baik dalam tugas kerja yang padat hash (seperti verifikasi klien ringan Tendermint), yang ditunjukkan dengan waktu generasi bukti yang lebih cepat; R0VM dari @boundless_xyz lebih cocok untuk skenario komputasi umum, dengan keunggulan yang jelas dalam manajemen memori.
Dukungan prekompilasi SP1 mengurangi jumlah siklus instruksi RISC-V yang perlu dieksekusi untuk menghasilkan bukti, sehingga mempercepat waktu pembuatan bukti dan mengurangi biaya pembuatan bukti. Namun, dengan peluncuran versi R0VM 2.0, dua prekompilasi utama baru ditambahkan, yaitu BN254 dan BLS12-381, yang juga akan membawa peningkatan kinerja yang signifikan.
Apa itu pasar bukti zk?
Pembuatan bukti zk adalah dasar bagi @SuccinctLabs dan @boundless_xyz untuk menuju komersialisasi berskala besar, dengan tujuan akhir untuk menjadi pasar bukti zk yang lebih efisien dan terdesentralisasi, mengubah komputasi yang dapat diverifikasi menjadi barang yang umum dan tanpa kepercayaan.
Pasar berperan sebagai penghubung antara pihak yang membeli dan menjual, pasar zk proof dapat dipahami sebagai pasar yang menghubungkan penyedia dan pengguna zk proof. Penyedia zk proof adalah produsen bukti, biasanya berupa operator yang menjalankan GPU atau perangkat keras lainnya; pengguna zk proof terutama adalah pengguna B-end yang memiliki kebutuhan verifikasi.
Mekanisme pencocokan antara pihak permintaan dan penawaran di pasar bukti @SuccinctLabs tidaklah rumit, Jaringan Succinct terdiri dari 2 jenis peserta inti: pemohon (pihak yang membutuhkan bukti zk) dan pemberi bukti (pihak yang menyediakan bukti zk).
Succinct bertindak sebagai perantara penyelesaian dana: penyintas menyetor jaminan di blockchain untuk memenuhi syarat berpartisipasi dalam kompetisi bukti, protokol Succinct sebelumnya menahan biaya layanan bukti yang diminta oleh pemohon; penyintas bersaing melalui lelang bukti, pihak pemenang lelang akhirnya menyerahkan bukti zk kepada pemohon dan mendapatkan keuntungan biaya yang sesuai. Seluruh proses pencocokan sampai di sini tertutup.
Detail lebih lanjut tentang mekanisme implementasi arsitektur teknis dapat dilihat di dokumen resmi @SuccinctLabs:
@boundless_xyz baru saja merilis whitepaper, berfungsi sebagai mekanisme realisasi pasar zk proof yang tidak jauh berbeda dari @boundless_xyz. Di sini tidak akan dibahas lebih lanjut, rincian teknis dapat dilihat pada tautan whitepaper Boundless yang dilampirkan di akhir.
Pengguna Akhir B Berkumpul
Sebagai protokol infrastruktur umum yang sangat disukai oleh kapital, @SuccinctLabs dan @SuccinctLabs memiliki basis pengguna B yang masing-masing menjadi inti, membentuk kelompok pendukung Succinct dan kelompok pendukung RISC(Boundless).
亲Succinct 派：
Seperti Cosmos, integrasi asli IBC Eureka menyediakan layanan pembuatan bukti zk, mewujudkan interoperabilitas lintas rantai IBC dalam perluasan jaringan rantai heterogen global. Termasuk namun tidak terbatas pada: memberikan dukungan teknis awal dari Polygon, lapisan DA @celestia, @AvailProject, dll;
Kepada RISC(Boundless)派：
seperti protokol staking ulang ETH @eigenlayer, protokol interoperabilitas lintas rantai zk @union_build, Bitcoin zk-Rollup @citrea_xyz, dll.
Ringkasan
Posisi inti @boundless_xyz dan @SuccinctLabs memiliki kesamaan yang sangat kuat, dan tumpang tindih area bisnis juga sangat tinggi. Menurut pendapat saya, persaingan antara keduanya bukan lebih dari persaingan dalam inovasi teknologi, tetapi persaingan pengguna inti untuk pengguna B-end dan pengguna C-end.
Persaingan di sisi B seimbang, sementara Succinct di sisi C memiliki keunggulan yang jelas. Boundless perlu mengatasi kekurangan, kemungkinan besar akan meluncurkan kegiatan poin/undangan serupa untuk merebut pengguna sisi C.
Ditulis di akhir
Jika Anda tidak dapat membayangkan seberapa besar pasar potensial di bawah permukaan iceberg dari zk proof universal, Anda tidak dapat membayangkan seberapa tinggi potensi langit-langit @SuccinctLabs dan @boundless_xyz.
Namun semua ini akan dapat dilacak, jika Anda tidak memahami atau tidak mengakui nilai pasar zk proof sekarang, Anda hanya perlu tetap mengikuti.
Saya rasa kita akhirnya akan terlibat dalam revolusi zk ini, dan sekarang, revolusi ini baru saja dimulai.