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
  • Smart Contract Generators
    • Groth16 Verifier
      • 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 Verifier
  • 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 14 days ago

Was this helpful?

To use the SP1 Groth16 verifier on Starknet, you can follow code snippets from the to generate a proof. The version of SP1 expected by Garaga is defined in the file . A template modeled after for solidity and EVM is available in Please follow the instructions there to get you started.

SP1 documentation
constants.json
Succinct's official one
this repository