Dalam crypto, ada frasa yang sering Anda dengar: “jangan percaya, verifikasi.”
Inilah yang membuat blockchain istimewa - tidak ada otoritas tunggal yang perlu dipercaya karena setiap orang dapat memeriksa matematika sendiri. Masalahnya? Verifikasi biasanya berarti mengulangi semua pekerjaan. Setiap node memutar ulang transaksi, setiap validator mengeksekusi ulang kode. Ini menjaga sistem tetap jujur, tetapi juga memperlambatnya.
Bukti zero-knowledge (ZKPs) menjanjikan cara keluar. Alih-alih semua orang mengulang pekerjaan, satu orang dapat melakukannya sekali, menghasilkan tanda terima kriptografi yang singkat - sebuah bukti - dan semua orang lainnya dapat memverifikasi dengan instan. Ide tersebut adalah revolusioner. Masalahnya adalah... hingga baru-baru ini, membangun dengan ZK terasa seperti bedah otak. Anda membutuhkan kriptografi khusus, “sirkuit” yang khusus, dan infrastruktur mahal untuk bahkan memulai.
Itu adalah masalah@Succinct yang ingin diselesaikan Labs. Visi mereka sederhana:
👉 menjadikan bukti ZK semudah dan seaksesibel komputasi awan.
Dan mereka melakukannya dengan dua alat yang kuat:
SP1, sebuah mesin virtual zero-knowledge (zkVM) di mana Anda dapat menulis program biasa dan mendapatkan bukti.
Jaringan Prover, sebuah marketplace terdesentralisasi di mana operator independen bersaing untuk menghasilkan bukti tersebut untuk Anda.
Anggap saja ini seperti AWS untuk ZK - tetapi terbuka, terdesentralisasi, dan tanpa kepercayaan.
SP1: Bukti Tanpa Rasa Sakit
Mari kita mulai dengan SP1.
Biasanya, jika Anda ingin menggunakan zero-knowledge, Anda perlu merancang sirkuit - pada dasarnya mengubah program Anda menjadi bentuk yang aneh dan penuh matematika. Ini seperti diberitahu Anda harus menerjemahkan seluruh aplikasi Anda ke dalam kode Morse hanya untuk menjalankannya.
SP1 mengubah itu. Ini adalah zkVM, yang berarti Anda dapat menulis kode dalam Rust (atau apa pun yang dapat dikompilasi menjadi RISC-V), menjalankannya seperti biasa, dan mendapatkan sebuah bukti. Tidak ada pengaturan sirkuit, tidak ada gelar PhD kriptografi yang diperlukan.
Ini telah melalui audit profesional, bersifat open-source, dan sudah menggerakkan proyek dunia nyata - seperti OP Succinct, yang membantu rollup Optimism menjadi dapat diverifikasi dengan ZK. Tim-tim seperti Mantle dan Phala sudah mengadopsinya.
Dengan SP1, membuktikan bukan lagi keterampilan khusus - ini hanya pemrograman.
Jaringan Prover: ZK sebagai Marketplace
Sekarang, bukti tidak gratis. Mereka dapat memerlukan daya GPU yang besar untuk dihasilkan, terutama untuk program besar. Di sinilah bagian kedua dari Succinct berperan: Jaringan Prover.
Bayangkan Anda adalah seorang pengembang yang membutuhkan bukti. Alih-alih menyiapkan ladang GPU Anda sendiri (dan membayar mahal untuk itu), Anda mengirim permintaan ke Jaringan Prover. Instan, operator independen dari seluruh dunia mulai menawar untuk menangani itu. Siapa pun yang menawarkan harga terbaik dan dapat memenuhi waktu yang ditentukan menang.
Proses penawaran ini seperti Uber untuk bukti - kecuali alih-alih pengemudi bersaing untuk memberi Anda tumpangan, prover bersaing untuk memberi Anda pernyataan komputasi yang dapat diverifikasi.
Ini cepat karena ada sistem lelang off-chain yang mencocokkan pekerjaan secara waktu nyata. Tetapi ini aman karena semuanya akhirnya diselesaikan di Ethereum, dengan bukti SP1 yang mengonfirmasi bahwa marketplace itu sendiri berperilaku jujur.
Jadi Anda mendapatkan yang terbaik dari kedua dunia: kecepatan layanan web modern, dengan keamanan matematika on-chain.
Token PROVE: Perekatnya
Untuk membuat sistem ini berfungsi, Succinct memperkenalkan token PROVE.
Jika Anda seorang pengembang yang meminta bukti, Anda membayar dengan PROVE.
Jika Anda seorang prover, Anda mempertaruhkan PROVE sebagai jaminan (jadi jika Anda gagal atau curang, Anda akan dipotong).
Jika Anda seorang anggota komunitas, Anda dapat mendelegasikan token Anda kepada prover dan berbagi dalam hadiah.
Dan seiring waktu, PROVE juga akan menjadi suara dalam pemerintahan - memutuskan pembaruan dan kebijakan.
Ada pasokan tetap sebanyak 1 miliar PROVE, jadi ekonominya dirancang untuk stabil dan transparan.
Mengapa Ini Penting
Semua ini mungkin terdengar sangat teknis, tetapi gambaran besarnya sederhana:
Saat ini, verifikasi di blockchain mahal dan lambat karena semua orang mengulang pekerjaan yang sama.
Dengan Succinct, satu orang dapat melakukan pekerjaan berat, dan semua orang lainnya hanya memeriksa tanda terima.
Itu membuka pintu untuk rollup yang lebih cepat, jembatan yang lebih aman, oracle yang lebih dapat diandalkan, dan bahkan kasus penggunaan di luar crypto - seperti memverifikasi output AI atau menjalankan permainan yang dapat dibuktikan.
Ini adalah pergeseran yang sama yang terjadi ketika dunia beralih dari menjalankan server di lemari ke menghidupkan layanan di AWS. Tiba-tiba, apa yang dulunya sulit dan khusus menjadi murah, dapat diskalakan, dan mudah.
Succinct ingin menjadikan ZK semudah itu.
Melihat ke Depan
Bagian-bagian sudah aktif. SP1 bersifat open-source dan dalam produksi. Jaringan Prover telah diluncurkan, dengan operator independen siap bersaing. Proyek-proyek sudah mulai terhubung ke dalamnya.
Jalan ke depan adalah tentang skala. Lebih banyak prover, lebih banyak aplikasi, dan akhirnya, lebih banyak perangkat keras khusus bersaing untuk memberikan bukti lebih cepat dan lebih murah. Jika itu terjadi, biaya verifikasi bisa turun begitu jauh sehingga kita mulai melihat aplikasi baru yang sama sekali baru - hal-hal yang bahkan belum bisa kita bayangkan.
Karena pada akhirnya, ini bukan hanya tentang blockchain yang lebih cepat. Ini tentang menciptakan dunia di mana kepercayaan dapat dialihkan kepada matematika. Dan setelah Anda memiliki itu, kemungkinan tidak ada habisnya.
Kesimpulan Akhir
Succinct Labs berusaha menjadikan zero-knowledge dapat digunakan oleh semua orang, bukan hanya ahli kriptografi.
SP1 membuat pembangunan dengan ZK terasa seperti menulis kode biasa.
Jaringan Prover membuat penskalaan bukti semudah mencolokkan ke dalam marketplace.
PROVE memastikan sistem ini adil, aman, dan terinsentif.
Jika mereka berhasil, ZK tidak hanya akan menjadi kata kunci. Ini akan menjadi utilitas inti internet, seumum menghidupkan server cloud.
Dan itu bisa mengubah tidak hanya blockchain, tetapi juga cara kita mempercayai komputasi itu sendiri.
