Build applications with zero-knowledge proofs

How SP1 works

SP1 uses advanced cryptography to turn computation into a provable statement that anyone can verify the result without seeing the raw data.

1. Write Rust

   use rsa::RsaPublicKey;
   use sha2::{Digest, Sha256};
   
   fn main() {
     let pk = sp1::io::read();
     let msg = sp1::io::read();
     let sig = sp1::io::read();
     pk.verify(msg, sig)?;
     sp1::io::commit(true);
   }

   Write in native Rust and
   reuse your existing libraries.
   SP1 handles compilation to
   RISC-V automatically.

2. Prove Execution

   

   SP1 executes your RISC-V program
   and generates a zero-knowledge
   proof.

3. Verify Output

   Prove204ms

   

   Verify24ms

   

   Anyone can check the proof in milliseconds without re-executing the data or trusting the prover.