Savio-Sou / recursion-demo
A minimal example of recursion in Noir.
☆11Updated last year
Alternatives and similar repositories for recursion-demo:
Users that are interested in recursion-demo are comparing it to the libraries listed below
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- client side proving☆28Updated last month
- Axiom smart contracts☆26Updated last year
- ☆10Updated last year
- ☆17Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- ☆10Updated last month
- ☆40Updated 2 years ago
- Groth16 verifier in EVM☆21Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- Honk Verifier in Solidity☆50Updated 6 months ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Library and gadget to do regex string matches in halo2☆35Updated 9 months ago
- an introduction to noir, with simple examples☆45Updated last year
- ☆18Updated 2 years ago
- ☆34Updated last year
- RLN circuits in Circom☆29Updated 9 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆16Updated last year
- ☆12Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 2 weeks ago
- Noir library to verify JWT tokens, and prove claims.☆26Updated last week
- RLN on KZG☆20Updated last year
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- A library to assist with handling sparse arrays in storage.☆26Updated 2 years ago
- ☆18Updated 2 years ago