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
- ☆40Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆11Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 3 years ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- ☆42Updated last year
- ☆17Updated 2 years ago
- Base64 encode felts☆15Updated 2 years ago
- A graph library built with Cairo☆28Updated 3 years ago
- ☆34Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- ☆28Updated 2 years ago
- A base64 encoding library for Cairo. (Decoding in future, maybe?)☆31Updated 3 years ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- ☆14Updated last month
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆33Updated 2 years ago
- Groth16 verifier in EVM☆21Updated 2 years ago
- Breathe air☆25Updated last year
- Behold the almighty 🗿totem🗿☆18Updated 9 months ago
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Updated 2 years ago
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated 2 years ago
- ☆34Updated 9 months ago
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Updated last year
- Honk Verifier in Solidity☆50Updated 9 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- storage proof made by sp1☆25Updated 9 months ago
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- A library to assist with handling sparse arrays in storage.☆27Updated 2 years ago