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
    • EC (Multi)-Scalar Multiplication
    • 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?

Maintained Smart Contracts

PreviousNoirNextRiscZero

Last updated 25 days ago

Was this helpful?

We declare & maintain Smart Contracts for the community so they can be used as library calls.

Those contracts:

  • Are declared both Starknet Sepolia and Mainnet.

  • Those contracts are re-deployed at each release, so their code correspond to the release commit.

  • The source code is always available in the main garaga repository under src/contracts

  • The contracts are only declared and not deployed, their expected usage is through library syscalls., their usage is done through their class hashes.

Class hash for Garaga v0.15.4.

Contract
Class hash
Description

0x338be2ec2d0672c64fb851dbefbce890c9e29382f4fa9535eabef98d6dada7a

A contract allowing to compute elliptic curve multi scalar multiplication for all supported curve identifiers

0x23f1262b7a1fbe799da9a947d27f6da465635832d2cc34a5dca2723b26d598a

A verifier for RiscZero Groth16-wrapped proofs.

0x5828fe85f790c7972ff53e901fccc4136c771595ab46c5ccde887a9987cbf56

A contract to verify Drand signatures. Soon with timelock encryption utilities.

Universal ECIP
RiscZero Verifier
Drand Quicknet Verifier