Akhir Permainan ZK: Tanpa Batas vs. Ringkas Musim ZK telah tiba, dan pasar infra ZK diproyeksikan tumbuh menjadi >$10 miliar pada tahun 2030. Sementara itu, Boundless dan Succinct akan menjadi dominator pembuktian. Apa yang gagal dipahami banyak orang, adalah bahwa meskipun serupa, mereka berbeda. Izinkan saya membongkar ini ↓ Boundless: "Uber untuk ZK Compute" - Model Eksekusi: Menyediakan pasar universal tempat pekerjaan diposting onchain (dimungkinkan di rantai apa pun tanpa menjembatani, yang merupakan pembeda utama), lelang Belanda terbalik, dan Proof of Verifiable Work (PoVW) untuk menciptakan pasar yang kompetitif yang menghubungkan pemohon dan pembuktian bukti, sambil memberi penghargaan kepada yang terakhir berdasarkan siklus komputasi aktual yang mereka lakukan. Boundless menggunakan arsitektur tiga lapis: Bento (pembuktian lokal), Broker (antarmuka pasar), dan penyelesaian on-chain. - Kinerja & Adoption: Pasar pembuktian terbuka yang mendukung R0 zkVM (berdasarkan RISC-V) oleh RiscZero, yang mengurangi biaya pembuktian dari ribuan menjadi hanya beberapa dolar, dan menghasilkan bukti 7x lebih kecil dari SP1 (zkVM Succinct), menjadikannya ideal untuk verifikasi onchain dan beban kerja yang lebih kecil. Boundless sudah memiliki >1.700 pembuktian hidup di mainnet beta dan >391k bukti yang diminta dari "The Signal" (bukti negara ZK untuk kebaikan publik interop) saja. Singkat: Platform Pengembang Berkinerja Tinggi - Model Eksekusi: Jaringan ramping berkinerja tinggi yang bertindak sebagai "API untuk bukti ZK", didukung oleh SP1 zkVM (juga berdasarkan RISC-V) dan juru lelang offchain yang cepat untuk mencocokkan/menetapkan satu pembuktian per pekerjaan, mengoptimalkan latensi rendah, dan memungkinkan pengembang untuk menghasilkan bukti dari kode Rust standar yang kemudian diverifikasi onchain (di Ethereum). Succinct menjalankan SP1 melalui pembuktian lokal atau API jaringan pembuktian yang dihosting. - Kinerja & Adoption: Jaringan pembuktian berkinerja tinggi SP1 unggul dalam operasi kriptografi yang kompleks karena arsitektur prakompilasinya. Ini sepenuhnya siap produksi dan misalnya mengurangi bukti Tendermint >2 jam menjadi hanya dalam hitungan menit. Jaringan pembuktian telah menghasilkan hampir 5 juta bukti dengan 99,9%+ uptime, dan hosting >1.600 program. Apa poin kuncinya? Meskipun keduanya pada akhirnya berusaha untuk membuat ZK terbukti lebih efisien dan dapat diakses secara luas oleh pembangun, mereka mengambil pendekatan yang berbeda untuk misi itu pada tingkat teknis. Boundless misalnya lebih merupakan jaringan terbuka, di mana pembuktian mana pun dapat menghitung offchain sementara semua bukti diserahkan onchain, dan dengan kontrak pasar di semua ekosistem/rantai utama. Sementara itu, PoVW memastikan imbalan pembuktian terukur berdasarkan perhitungan aktual yang dilakukan. Ini juga merupakan bukti infra agnostik sistem, dan sebagai pasar tanpa izin, bertujuan untuk menjadi toko serba ada untuk semua kebutuhan komputasi dan pembuktian yang dapat diverifikasi (selain memberi daya pada rangkaian produk RiscZero ZK lengkap termasuk R0 zkVM, Kailua, ko-prosesor Steel-nya, dll. atau baru-baru ini "The Signal" oleh Boundless). Secara keseluruhan, ekosistem RiscZero di sekitar Boundless menyediakan solusi pengembang ZK full-stack. Di jaringan pembuktian Succinct di sisi lain, sistem juru lelang jaringanlah yang menemukan pembuktian termurah secara real-time, dengan satu pembuktian memenangkan pekerjaan, dan verifikasi onchain berikutnya dari bukti yang dikirimkan, dengan komponen onchain hidup di Ethereum. Ini secara khusus difokuskan pada mendukung SP1, zkVM berkinerja tinggi Succinct, dan alat pengembang di sekitarnya. Banyak adopsi Succinct saat ini berasal dari rollup "ZKfiyng" dengan kerangka kerja OP Succinct atau mendukung rantai aplikasi ZK (misalnya Hibachi) dengan fokus pada ekosistem modular. Apakah mereka pesaing? Untuk sebagian besar ya, karena fakta bahwa baik @boundless_xyz dan @SuccinctLabs pada akhirnya menyediakan layanan pembuktian, juga berarti bahwa pasti akan ada produk yang dibangun di atas infra itu yang pada akhirnya saling bersaing dalam hal adopsi (dan membuktikan permintaan yang diperoleh ke infra yang mendasarinya). Beberapa contoh di sini, adalah zkVM mereka (R0 dan SP1), dan banyak kasus penggunaan yang diaktifkan olehnya, termasuk. Kerangka kerja OP Kailua RiscZero untuk bukti penipuan ZK hibrida yang bersaing dengan OP Succinct (kerangka kerja ZK Ringkas untuk rantai OP), dua versi Blobstream yang didukung ZK (jembatan DA untuk Celestia) yang dibangun kedua tim di atas infra mereka, atau ko-prosesor ZK internal mereka (Steel vs SP1-CC), dll. Namun, saya percaya bahwa pasar infra pembuktian ZK cukup besar untuk dua (atau lebih?) pemain utama, dan terutama dalam kasus aplikasi berisiko tinggi (misalnya DeFi institusional, beberapa kasus penggunaan AI, dll.), atau rantai yang melayani vertikal ini, sistem multi-prover akan menjadi semakin umum (meningkatkan ketahanan dan keamanan), yang berpotensi mengarah pada integrasi ganda dengan kedua jaringan. Kami juga akan melihat lapisan agregasi yang dibangun di atas beberapa pasar/jaringan pembuktian, yang pada akhirnya akan mengarah pada lapisan infra ini bekerja bersama-sama sampai tingkat tertentu. ZK adalah permainan akhir. Musim ZK telah tiba. Pelajari ZK.