Crypto Gloss

SP1: zkVM Open-Source 100% Berbasis RISC-V oleh Succinct Labs untuk Proof Generasi

Penulis Succinct Labs Team
Tahun 2024
Proyek SP1 / Succinct Labs
Lisensi MIT
Sumber Resmi docs.succinct.xyz/docs/introduction
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

SP1 (2024) oleh Succinct Labs adalah zkVM (zero-knowledge virtual machine) open-source yang membuktikan eksekusi yang benar dari program Rust apa pun — menargetkan aplikasi ZK kritis-kinerja termasuk light client Ethereum, bridge ZK, dan ZK coprocessing. Succinct memposisikan SP1 sebagai alternatif developer-first untuk RISC Zero dan zkVM lainnya, menekankan kode 100% open-source, akselerasi berbasis precompile, dan Plonky3 sebagai backend proof.

Konteks: Masalah zkVM

Zero-knowledge proofs sangat kuat — mereka memungkinkan verifikasi komputasi tanpa mengeksekusi ulang komputasi sepenuhnya. Tetapi secara tradisional, menulis sirkuit ZK memerlukan keahlian kriptografi yang langka, bahasa domain-spesifik, dan proses desain yang panjang. Pertanyaan mendasar: dapatkah developer tujuan umum menulis program dalam bahasa yang familiar dan secara otomatis mendapatkan ZK proof?

SP1 menjawab: ya. Tulis Rust. SP1 menangani sisanya.

Arsitektur: RISC-V sebagai Target

Seperti RISC Zero, SP1 mengkompilasi program ke RISC-V — arsitektur CPU open-source, bebas royalti. Ini berarti:

  • Toolchain compiler yang ada (LLVM, Cargo) berfungsi di luar kotak
  • Developer menulis Rust standar; tidak ada bahasa baru untuk dipelajari
  • Ekosistem crate Rust yang sangat besar dapat di-“ZK-ifikasi”

Sistem proof didasarkan pada STARK dengan Plonky3 (sistem FRI berbasis polynomial Polygon) sebagai backend — tidak ada trusted setup yang diperlukan.

Precompiles: Akselerasi untuk Operasi Kriptografis

SP1 menyediakan precompile ZK-native untuk operasi mahal yang umum:

  • SHA-256, SHA3 (Keccak), Blake3
  • Verifikasi Ed25519, ECDSA
  • Operasi pairing BN254
  • Setiap crate Rust yang ada dapat diperluas dengan akselerasi precompile

Precompile secara dramatis mengurangi waktu pembuktian untuk operasi yang sering muncul dalam aplikasi ZK (misalnya, light client yang memverifikasi ratusan tanda tangan BLS).

SP1 Helios: Light Client Ethereum dalam ZK

Succinct membangun light client Ethereum ZK-proved pertama menggunakan SP1 — membuktikan kebenaran tanda tangan sync committee Ethereum (BLS multi-sig) dalam ZK. Ini memungkinkan:

  • Bridge trustless: Chain lain dapat memverifikasi state Ethereum tanpa menjalankan node penuh Ethereum
  • Light client pada chain mana pun: Setiap chain yang dapat memverifikasi proof SP1 dapat memverifikasi header Ethereum
  • Interoperabilitas lintas-chain: Proof state dari satu chain digunakan untuk mengaktifkan aksi di chain lain

Succinct Prover Network

Tidak semua developer memiliki hardware GPU untuk menghasilkan ZK proof secara lokal. Succinct Prover Network adalah jaringan prover terdesentralisasi yang menghasilkan proof SP1 sesuai permintaan via API — mirip dengan Bonsai RISC Zero. Developer mengintegrasikan ZK proof ke dalam aplikasi mereka tanpa mengelola infrastruktur proving.

SP1 vs. RISC Zero

Aspek SP1 RISC Zero
Backend proof Plonky3 (FRI/STARK) STARK/FRI
ISA RISC-V RISC-V
Trusted setup Tidak diperlukan Tidak diperlukan
Lisensi MIT (100% open) Apache 2.0
Prover network Succinct Prover Network Bonsai

Istilah Terkait

Referensi