garaga
  • Garaga documentation
  • Installation
    • Python package
    • Rust Crate
    • Npm package
  • Developer setup & guides
    • Working with auto-generated Cairo Code
    • garaga-rs crate
      • Rust -> Python bindings
      • Rust -> Wasm bidings
  • Using garaga libraries in your Cairo project
    • ECDSA & Schnorr Signatures
    • Hashing functions
  • Deploy your own SNARK verifier on Starknet
    • Groth16
      • Generate and deploy your verifier contract
      • Generating calldata from a proof and using your deployed contract
        • Using Python/Garaga CLI
        • Using Rust
        • Using Typescript
    • Noir
  • Maintained Smart Contracts
    • RiscZero
    • SP1
    • Drand
  • Support
  • Updating these docs
Powered by GitBook
On this page

Was this helpful?

  1. Maintained Smart Contracts

SP1

PreviousRiscZeroNextDrand

Last updated 2 days ago

Was this helpful?

To use SP1 groth16 verifier on Starknet, you can follow code snippets from SP1 documentation to generate a proof. The version of SP1 expected by garaga is defined in the file . Here's a minimal snippet to show the flow. A template mimicking the for solidity and EVM is available in Please follow the instructions there.

constants.json
official Succinct's one
this repository