Maddiaa0 / noir-storage-proofs-demo
Code used in a recent presentation showing off noir storage proofs
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for noir-storage-proofs-demo
- ☆11Updated last year
- ☆12Updated last year
- Better assertion macros for pure Huff tests.☆19Updated last year
- ☆39Updated 2 years ago
- ☆10Updated 11 months ago
- Base64 encoding for Aztec's noir language☆14Updated 10 months ago
- Axiom smart contracts☆27Updated last year
- A minimal example of recursion in Noir.☆11Updated last year
- An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.☆15Updated 2 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Groth16 verifier in EVM☆20Updated last year
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- A library to assist with handling sparse arrays in storage.☆26Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆24Updated 4 months ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- utilities for more granular and realistic gas measuring in forge tests☆29Updated 9 months ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆23Updated last year
- halo2-lib-eddsa☆11Updated 9 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Updated 2 years ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Macros + Primitives for PADE format☆26Updated last week
- Circuits for Pluto's `web-prover`☆12Updated this week
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- Solidity string utilities written in yul☆20Updated 2 years ago
- A puzzle for Curta CTF☆26Updated last year