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
- ☆39Updated 2 years ago
- ☆10Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Axiom smart contracts☆26Updated last year
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆30Updated last year
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- A graph library built with Cairo☆28Updated 2 years ago
- an introduction to noir, with simple examples☆43Updated last year
- client side proving☆28Updated last week
- ☆10Updated last week
- Base64 encoding for Aztec's noir language☆16Updated last year
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years 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
- ☆31Updated last year
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆32Updated 3 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆34Updated 6 months ago
- ☆16Updated last year
- A library to assist with handling sparse arrays in storage.☆26Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 4 months ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- gas comparisons between vyper and solady☆20Updated 6 months ago
- Noir library to verify JWT tokens, and prove claims.☆21Updated last week
- Behold the almighty 🗿totem🗿☆17Updated 6 months ago
- A simple merkle distributor written in Cairo☆38Updated 2 years ago
- A base64 encoding library for Cairo. (Decoding in future, maybe?)☆31Updated 2 years ago
- Groth16 verifier in EVM☆20Updated last year