Understand the project
Practical overview
When it fits
Use Garaga when a Cairo or Starknet project needs elliptic-curve computation or an on-chain verifier for supported zero-knowledge proof systems, especially when the workflow starts from SnarkJS or Gnark JSON artifacts.
Who it is for
- Cairo developers building Starknet contracts
- Teams integrating on-chain zero-knowledge proof verification into Starknet dApps
- Developers needing elliptic-curve, pairing or multi-scalar-multiplication operations in the Starknet ecosystem
Documented uses
- Generate Starknet smart-contract verifiers from supported verification keys
- Verify Groth16 proofs on-chain for supported curves
- Perform scalar, multi-scalar and pairing operations in Cairo-based applications
- Prepare proof-related witnesses and calldata for Starknet verification workflows
Before you choose
Requirements & limits
The repository is publicly visible and identifies an MIT license. The documented setup uses local Python, Rust and Scarb tooling; the quickstart also requires Starknet account credentials and an RPC URL for declaration and deployment.
- The documented automatic verifier workflow targets Groth16 on BN254 and BLS12-381.
- Curve-operation support includes BN254, BLS12-381, SECP256/R1 and ED25519, with parameter-based extension for other Weierstrass curves.
- The stack spans Python, Rust bindings, CairoZero/Cairo and Starknet, so setup involves several developer tools.
- The repository describes contract declaration as an expensive operation.
- Garaga is a library and CLI workflow for developers rather than a hosted verification service.
Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.
Evidence and transparency
Sources & review
Source record details
- Source availability
- Active
- Sources checked
- 3 October 2026
- Original website title
- keep-starknet-strange/garaga · Official homepage title · retained in its source language