Savio-Sou / recursion-demoLinks
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
Sorting:
- Code used in a recent presentation showing off noir storage proofs☆15Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- Axiom smart contracts☆26Updated last year
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- ☆40Updated 2 years ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- RLN circuits in Circom☆29Updated 10 months ago
- ☆11Updated last year
- ☆13Updated last week
- ☆34Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆17Updated 2 years ago
- storage proof made by sp1☆25Updated 8 months ago
- an introduction to noir, with simple examples☆44Updated last year
- ☆28Updated 2 years ago
- ☆18Updated 2 years ago
- client side proving☆30Updated 2 months ago
- ☆38Updated last year
- Groth16 verifier in EVM☆21Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- Elliptic Curve arithmetic operations written in Noir☆16Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Proving shortest paths with recursive SNARKs☆12Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- ☆50Updated last year
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- ☆31Updated last year
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated last year