Savio-Sou / recursion-demo
A minimal example of recursion in Noir.
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for recursion-demo
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- ☆39Updated 2 years ago
- ☆10Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Axiom smart contracts☆27Updated last year
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Base64 encoding for Aztec's noir language☆14Updated 10 months ago
- A Noir circuit that mimics Solidity's ecrecover☆43Updated 9 months ago
- ☆17Updated last year
- Groth16 verifier in EVM☆20Updated last year
- RLN circuits in Circom☆29Updated 4 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆18Updated 2 years ago
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated last year
- Noir library to verify JWT tokens, and prove claims.☆13Updated last week
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- Behold the almighty 🗿totem🗿☆17Updated 2 months ago
- Andromeda revm execution service☆30Updated 4 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- an introduction to noir, with simple examples☆42Updated 10 months ago
- A graph library built with Cairo☆28Updated 2 years ago
- ☆34Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆27Updated last week
- utilities for more granular and realistic gas measuring in forge tests☆29Updated 9 months ago
- ☆28Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 6 months ago
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- Honk Verifier in Solidity☆49Updated last month