Maddiaa0 / noir-storage-proofs-demo
Code used in a recent presentation showing off noir storage proofs
☆14Updated last year
Alternatives and similar repositories for noir-storage-proofs-demo:
Users that are interested in noir-storage-proofs-demo are comparing it to the libraries listed below
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- A minimal example of recursion in Noir.☆11Updated last year
- ☆10Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 4 months ago
- ☆39Updated 2 years ago
- ☆12Updated last year
- RLN circuits in Circom☆29Updated 6 months ago
- ☆12Updated last year
- Axiom smart contracts☆26Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- an introduction to noir, with simple examples☆42Updated last year
- Noir library to verify JWT tokens, and prove claims.☆16Updated last week
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Plonk verifier in solidity (using Commit api)☆21Updated 7 months ago
- Groth16 verifier in EVM☆20Updated last year
- Better assertion macros for pure Huff tests.☆19Updated last year
- Circuits for Pluto's `web-prover`☆15Updated this week
- An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.☆15Updated 4 months ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Base64 encoding for Aztec's noir language☆15Updated last year
- A library to assist with handling sparse arrays in storage.☆26Updated 2 years ago
- halo2-lib-eddsa☆11Updated 11 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- ☆48Updated 10 months ago
- ☆17Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Elliptic Curve arithmetic operations written in Noir☆16Updated 2 years ago
- ☆17Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year