Succinct SP1
SP1 zkVM and verifier.
Atlas proofs are generated inside Succinct's SP1 zkVM. We use the SP1 prover network for generation and sp1-solana for on-chain verification.
SP1 zkVM and verifier.
Atlas proofs are generated inside Succinct's SP1 zkVM. We use the SP1 prover network for generation and sp1-solana for on-chain verification.