Philogy / mini-zkvm
☆13Updated 2 years ago
Alternatives and similar repositories for mini-zkvm:
Users that are interested in mini-zkvm are comparing it to the libraries listed below
- Elliptic Curve arithmetic operations written in Noir☆16Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- client side proving☆28Updated last month
- an introduction to noir, with simple examples☆45Updated last year
- Groth16 verifier in EVM☆21Updated last year
- ☆40Updated 2 years ago
- ☆18Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆20Updated this week
- A puzzle for Curta CTF☆26Updated last year
- Partial Block Building with TEEs☆17Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- ☆21Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- ☆50Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 9 months ago
- ☆22Updated 2 years ago
- ☆17Updated 2 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated last year
- Learn Cairo and StarkNet Smart Contract programming with example code☆22Updated 2 years ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- powdr application running Ethereum tests via revm☆18Updated 10 months ago
- ☆34Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆28Updated 3 years ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- ☆23Updated last year
- Minimal template for using the Arbiter framework for simulations.☆46Updated 3 months ago