keep-starknet-strange / garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
https://garaga.gitbook.io/
MIT License
196 stars 51 forks source link

initial risc0 support #181

Closed feltroidprime closed 2 months ago

feltroidprime commented 2 months ago

Notable changes :

Steps to reproduce were :

garaga declare-project --project-path src/contracts/risc0_verifier_bn254/
garaga deploy-project --class-hash 0x52d612ee6d728b925843adbb0744c72207bd78d84dffb5a0e61140a1783f208
garaga verify-onchain --system groth16 --contract-address 0x5bfc138c9b760df27f1ce8e4e448c1f3d223a37ecf2ef0597830e9f1da7e3e7 --vk hydra/garaga/starknet/groth16_contract_generator/examples/vk_risc0.json --proof hydra/garaga/starknet/groth16_contract_generator/examples/proof_risc0.json