Bukti nol-pengetahuan (ZKPs) adalah salah satu teknologi yang terdengar seperti sihir: mereka memungkinkan Anda membuktikan sesuatu itu benar tanpa mengungkapkan semua detailnya. Mereka dapat mengamankan blockchain, memverifikasi perhitungan, dan bahkan melindungi privasi online. Namun, sihir ini sering kali datang dengan masalah - mereka terkenal sulit untuk diajak bekerja sama. Menyiapkan infrastruktur, mempekerjakan ahli kriptografi, dan membangun sistem bukti kustom telah di luar jangkauan untuk sebagian besar tim.$PROVE
@Succinct Labs, sebuah startup kecil dari San Francisco, ingin mengubah itu. Pitch mereka sangat sederhana: bagaimana jika menggunakan bukti nol-pengetahuan semudah menjalankan perangkat lunak di laptop Anda atau memanggil API cloud?
Untuk mewujudkannya, mereka telah membangun dua hal kunci: sebuah zkVM kuat bernama SP1 dan Jaringan Prover terdesentralisasi yang dapat diakses oleh siapa saja. Bersama-sama, alat-alat ini bertujuan untuk mendemokratisasi ZK, memindahkannya dari kriptografer niche ke pengembang sehari-hari.
SP1: Sebuah zkVM yang Terasa Familiar
Sebagian besar sistem zero-knowledge memaksa pengembang untuk berpikir seperti kriptografer. Anda harus merancang sirkuit, mempelajari bahasa khusus, dan mengoptimalkan untuk batasan yang belum pernah Anda dengar. SP1 (singkatan dari Succinct Prover 1) membalik model itu.
Alih-alih menulis ulang semuanya, Anda hanya perlu menulis kode Anda dalam Rust, C++, atau bahasa lain yang dikompilasi ke RISC-V. SP1 mengambilnya dari sana, menjalankan program Anda dan mengeluarkan bukti zero-knowledge.
Ini seperti seseorang memberikan pengembang ekivalen kompilator untuk bukti. Anda tidak perlu tahu bagaimana mesin bekerja di balik layar – Anda hanya perlu menulis kode, dan sistem menjamin bahwa outputnya dapat diverifikasi.
Dan itu tidak hanya dapat diakses, tetapi juga cepat. Tolok ukur menunjukkan SP1 bisa puluhan kali lebih cepat daripada zkVM sebelumnya. Sistem ini juga mendukung fitur-fitur canggih seperti rekursi (bukti di dalam bukti) dan memiliki modul pra-bangun yang dioptimalkan untuk operasi kripto umum seperti hashing dan kurva eliptik.
Yang penting, SP1 bersifat sumber terbuka dan diaudit, jadi bukan kotak hitam. Tim seperti Celestia, Mantle, Polygon, dan Lido sudah membangun produk nyata dengannya.
Jaringan Prover: ZK sebagai Layanan
Bahkan dengan SP1, menjalankan perhitungan bukti berat di server Anda sendiri bisa menakutkan. Di situlah Jaringan Prover Succinct berperan.
Pikirkan tentang itu sebagai pasar terdesentralisasi untuk bukti. Pengembang mengajukan pekerjaan (program ditambah input), dan provers independen menawar untuk kesempatan menghasilkan bukti. Prover yang menang menggunakan SP1, mengirimkan hasilnya, dan dibayar.
Mengapa ini penting? Karena pengembang tidak memerlukan perangkat keras khusus, pertanian GPU, atau kriptografer di staf. Mereka hanya menyambungkan ke jaringan, dan di balik layar, bukti sedang dihitung di GPU, FPGA, dan mesin berkinerja tinggi lainnya.
Jaringan itu sendiri dikoordinasikan oleh kontrak pintar Ethereum. Pembayaran, staking, dan verifikasi semua terjadi secara transparan di on-chain. Provers meng-stake token yang disebut PROVE untuk berpartisipasi, menyelaraskan insentif dan memastikan keamanan.
Dalam praktiknya, desain ini berarti:
Finalitas lebih cepat: Rantai Dunia memangkas waktu finalitas dari tujuh hari menjadi sekitar satu jam
Biaya lebih rendah: Bukti teragregasi memangkas biaya gas untuk verifikasi
Keandalan: Beberapa provers bersaing, sehingga ketersediaan tetap tinggi
Pada tahun 2025, jaringan telah menangani lebih dari 5 juta bukti, mengamankan lebih dari 4 miliar dolar dalam nilai. Itu bukan demo testnet, itu skala produksi.
Mengapa Arsitektur Ini Berfungsi
Pendekatan Succinct terasa segar karena meminjam dari yang terbaik dari kedua dunia.
Off-chain: Semua pekerjaan berat (menjalankan SP1, menghitung bukti) terjadi dengan cepat di perangkat keras khusus
On-chain: Penyelesaian, pembayaran, dan verifikasi dicatat di Ethereum, dengan bukti SP1 memastikan semuanya dapat diaudit
Bahkan pembukuan jaringan itu sendiri terbukti – saldo, penugasan pekerjaan, dan pembayaran diimplementasikan sebagai aplikasi yang dapat diverifikasi dalam RISC-V. Dengan kata lain, jaringan membuktikan dirinya sendiri.
Desain rekursif dan mandiri inilah yang memberikan kredibilitas pada Succinct. Pengembang tidak perlu mempercayai server Succinct – mereka dapat memeriksa matematika itu sendiri.
Kasus Penggunaan Dunia Nyata
Karena SP1 bersifat umum, rentang kasus penggunaan sangat luas:
Skalasi blockchain: Mantle dan rollup lainnya menggunakan SP1 untuk menjadi zkRollups, secara drastis mengurangi waktu konfirmasi
Jembatan lintas rantai: Succinct yang didukung IBC Eureka, menghubungkan lebih dari 120 rantai Cosmos dengan Ethereum
Aplikasi interoperabilitas: Kemitraan dengan LayerZero memperkenalkan vApps yang menggabungkan pesan lintas rantai dengan bukti
DeFi dan perdagangan: Proyek menggunakan SP1 untuk oracle dan buku pesanan on-chain
Identitas dan privasi: Dari undian yang dapat diverifikasi hingga pemungutan suara pribadi, SP1 mendukung aplikasi ringan yang menjaga privasi
Klien ringan: Klien blockchain lengkap (seperti Tendermint) dapat dibuktikan secara ringkas, memungkinkan dompet seluler yang aman
Tema ini konsisten: alih-alih menciptakan kembali ZK untuk setiap proyek, pengembang dapat langsung menyambungkan ke SP1 dan Jaringan Prover.
Momentum Adopsi
Succinct tidak hanya teori – ia mendapatkan daya tarik dengan cepat.
Arbitrum: Kesepakatan eksklusif satu tahun dengan Tandem (Offchain Labs) untuk membawa pembuktian ZK ke rantai Arbitrum
OP Stack: Rantai Worldcoin menggunakan SP1 untuk memotong finalitas menjadi satu jam. Proyek OP Stack lainnya sedang bereksperimen dengan pengaturan serupa
Polygon, Celestia, Lido, Near, Avail: Semua membangun atau bereksperimen dengan SP1
Mitra perangkat keras: Tim seperti Cysic dan ZAN bergabung dengan jaringan, dengan ZAN menunjukkan percepatan 20x menggunakan FPGA
Secara paralel, Succinct meluncurkan Succinct Foundation, sekarang bekerja dengan hampir 40 protokol untuk mendanai dan mengembangkan ekosistem.
Bagaimana Ini Menonjol
Dibandingkan dengan zkSync, Polygon zkEVM, atau StarkWare, Succinct kurang tentang memiliki rantai dan lebih tentang menjadi lapisan pembuktian universal. Sementara yang lain mengoptimalkan untuk Ethereum secara khusus, RISC-V zkVM Succinct dapat menangani program apa pun, di rantai mana pun.
Pendekatan umum inilah yang membuat mitra-mitranya bervariasi dari L2 rollup hingga proyek AI. Ini tidak terikat pada satu ekosistem – ini adalah platform pembuktian netral.
Tim, Pendanaan, dan Visi
Succinct Labs didirikan oleh Uma Roy (mantan Google Brain) dan John Guibas (latar belakang MIT). Timnya masih kecil – kurang dari sepuluh insinyur – tetapi mereka telah mengumpulkan sekitar 66 juta dolar dari putaran pendanaan awal dan Seri A yang dipimpin oleh Paradigm, dengan dukungan dari nama-nama besar di crypto.
Visi mereka sederhana tetapi ambisius: membawa ZK ke arus utama dengan membuatnya terasa seperti komputasi awan. CEO Uma Roy mengatakannya dengan sederhana: bukti akan menjadi cara standar internet untuk membangun kepercayaan. CTO John Guibas menyebut infrastruktur Prover Network pada skala internet.
Mengapa Ini Penting
@Succinct menghadapi masalah yang sulit tetapi kritis: mengubah bukti zero-knowledge dari alat kriptografer khusus menjadi infrastruktur sehari-hari. Dengan menggabungkan SP1 (zkVM yang membuat bukti dapat diakses) dengan Prover Network (pasar yang membuat bukti dapat diskalakan), mereka membangun rantai pasokan bukti baru.
Jika mereka berhasil, pengembang tidak perlu memikirkan ZK sama sekali – mereka hanya perlu menulis kode, menjalankannya, dan mendapatkan bukti yang dapat dipercaya oleh dunia.
Itu adalah perubahan besar. Dan itu bisa membuat Succinct bukan hanya proyek blockchain lainnya, tetapi lapisan pembuktian untuk internet itu sendiri.
