Crypto Gloss

SP1 (Succinct)

SP1 adalah zero-knowledge virtual machine (zkVM) open-source dari Succinct untuk membuktikan bahwa program yang dikompilasi ke RISC-V dijalankan sesuai kodenya. Developer dapat menulis program dalam Rust, C, C++, atau bahasa lain dengan compiler yang mendukung RISC-V, lalu membuat proof yang dapat diperiksa tanpa mengulang seluruh komputasi.

Zero-knowledge tidak otomatis menyembunyikan semua input dari pihak yang membuat proof. Apa yang dapat dilihat verifier, prover, dan pihak lain bergantung pada klaim yang dibuktikan, nilai publik, serta desain pembuktiannya.

Bagaimana SP1 bekerja

  1. Developer menulis program dan mengompilasinya ke RISC-V dengan toolchain SP1.
  2. SP1 menjalankan program di zkVM dan menghasilkan proof tentang eksekusi serta output yang dikomitmenkan.
  3. Aplikasi memberikan proof, verification key, dan nilai publik kepada verifier. Verifier memeriksa klaim tanpa menjalankan ulang seluruh program.

Proof dapat diverifikasi off-chain atau diintegrasikan ke smart contract, bergantung pada desain aplikasi. Proof mengonfirmasi komputasi yang diwakili program; proof itu sendiri tidak membuktikan bahwa aturan program, sumber data, atau aplikasi di sekitarnya aman.

Sistem proof dan versi SP1

Teknologi internal SP1 berubah antarversi. Dokumentasi developer Succinct saat ini menyebut SP1 V6 memperkenalkan Hypercube, sistem proof multilinear. Deskripsi lama yang menyebut SP1 dibangun di atas Plonky3 merujuk pada desain versi sebelumnya dan tidak sebaiknya dianggap sebagai arsitektur terkini. Repositori mencatat v6.9.0 sebagai rilis terbaru pada 10 Oktober 2026; periksa catatan rilis untuk perubahan berikutnya.

Precompile

SP1 menyertakan precompile teroptimasi untuk operasi tertentu yang mahal jika dibuktikan melalui trace instruksi umum. Precompile dapat meningkatkan efisiensi untuk program yang cocok, tetapi manfaatnya bergantung pada program, versi SP1, dan perangkat keras. Developer sebaiknya memeriksa spesifikasi precompile dan panduan keamanan terkini sebelum mengandalkan operasi tertentu.

Pembuktian lokal dan Succinct Prover Network

Proof SP1 dapat dibuat dengan infrastruktur lokal atau melalui Succinct Prover Network, layanan terpisah yang mengatur permintaan proof dan kapasitas prover. Mengalihdayakan pembuatan proof dapat mengurangi kebutuhan mengoperasikan perangkat keras khusus, tetapi juga mengubah asumsi operasional dan pengelolaan data. Dalam alur pembuktian jarak jauh biasa, sifat zero-knowledge pada proof tidak dengan sendirinya menyembunyikan input plaintext dari prover; desain pembuktian rahasia perlu menangani risiko itu secara terpisah.

SP1 Helios: penerapan light client Ethereum

Proyek SP1 Helios dari Succinct Labs adalah implementasi light client Ethereum on-chain yang menggunakan SP1. Operator membuat proof atas pembaruan konsensus yang telah final lalu mengirimkannya ke kontrak pada chain tujuan. Dalam mode default, klien menyimpan state light client final dan execution state root Ethereum; mode execution-header opsional juga menyimpan hash blok final dan receipts root. Contoh ini menunjukkan salah satu cara SP1 dapat memverifikasi data antar-chain. Keberadaan repositori tidak dengan sendirinya membuktikan bahwa setiap deployment trustless, diaudit, atau aman untuk aplikasi tertentu.

Kegunaan dan batasan

SP1 berguna ketika aplikasi membutuhkan proof kriptografis bahwa eksekusi perangkat lunak mengikuti aturan tertentu, termasuk untuk blockchain dan komputasi terverifikasi lainnya. Tim tetap perlu memperhitungkan waktu dan biaya proving, penerapan verifier, kebenaran perangkat lunak, ketersediaan data, serta pihak yang mengendalikan layanan prover. SP1 tidak membuat program otomatis privat atau aman.

Sentimen Media Sosial

Sampel kecil diskusi Reddit memperlihatkan eksperimen praktis sekaligus kehati-hatian, bukan konsensus komunitas yang terukur. Seorang developer Ethereum menjelaskan prototipe yang memakai SP1 dan meminta masukan tentang proof serta asumsi kepercayaannya; diskusi lain menyoroti risiko mengirim input plaintext ke jaringan prover eksternal. Postingan ini menunjukkan pertanyaan builder tentang kinerja, privasi, dan batas kepercayaan, tetapi hanya mewakili diskusi individual. Lihat diskusi prototipe SP1 di r/ethereum dan diskusi privasi data pada jaringan prover di r/ethereum.

Terakhir diperbarui: 2026-10

Istilah Terkait

Lihat Juga

Sumber