컨트랙트 도구
SP1 (Succinct)
ZK 회로 및 프라이버시
검증 · 확장성 · 레이어 2
SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.
