SP1 adalah zkVM open-source oleh Succinct Labs yang membuktikan eksekusi program Rust/RISC-V yang benar — memungkinkan developer menulis program arbitrer dalam Rust dan menghasilkan zero-knowledge proof yang dapat diverifikasi di Ethereum tanpa memerlukan pengetahuan kriptografi ZK tingkat lanjut, bersaing dengan RISC Zero sebagai zkVM tujuan umum terkemuka dan menjadi pilihan untuk Polygon zkEVM, zkSync, dan Across Protocol.
Cara Kerja
Sistem Bukti SP1:
- Developer menulis program dalam Rust standar
- SP1 mengompilasi program ke instruksi RISC-V
- SP1 mengeksekusi program dan menghasilkan ZK proof yang membuktikan eksekusi yang benar
- Bukti akhir dibungkus dalam Groth16 atau PLONK untuk verifikasi Ethereum yang murah
Sistem bukti yang mendasari: Plonky3 (berbasis FRI) — tidak memerlukan trusted setup.
Precompile
SP1 menyertakan precompile teroptimasi untuk operasi kriptografi umum:
- sha2-256
- keccak256
- secp256k1
- ed25519
- bn254
- bls12-381
Precompile ini penting untuk membuktikan verifikasi tanda tangan, hash, dan operasi kriptografi lainnya secara efisien dalam bukti.
SP1 Prover Network
Succinct mengoperasikan Succinct Prover Network — jaringan GPU prover terdesentralisasi yang memungkinkan siapa pun menghasilkan SP1 proof tanpa menjalankan hardware pembuktian sendiri.
Perbandingan dengan RISC Zero
| Aspek | SP1 | RISC Zero |
|---|---|---|
| Sistem bukti | Plonky3 (FRI) | STARK + Groth16 |
| Bahasa program | Rust | Rust |
| Trusted setup | Tidak | Tidak |
| Pengguna terkenal | Polygon zkEVM, zkSync, Across | Berbagai proyek ZK |
Kasus Penggunaan
- SP1 Helios: Klien ringan lapisan konsensus Ethereum yang dibangun dengan SP1
- ZK Bridge: Membuktikan kevalidan negara lintas rantai
- zkEVM: Membuktikan blok EVM
- Coprocessor: Menghitung bukti untuk komputasi offchain yang berat
Pendanaan
Succinct Labs mengumpulkan $55 juta Series B pada 2024 untuk memperluas tim dan jaringan prover.
Istilah Terkait
Lihat Juga
Sumber
- Succinct Labs SP1 Documentation — dokumentasi resmi zkVM SP1.
- “SP1: The zkVM for Rust Programs” — Succinct Labs Blog (2024). Ikhtisar teknis SP1.
- “zkVM Landscape: SP1 vs RISC Zero” — Messari Research (2024). Perbandingan zkVM tujuan umum terkemuka.
Terakhir diperbarui: 2026-04