Philogy / mini-zkvm
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mini-zkvm
- Elliptic Curve arithmetic operations written in Noir☆16Updated last year
- Groth16 verifier in EVM☆20Updated last year
- ☆18Updated 2 years ago
- Axiom smart contracts☆27Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆25Updated this week
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- Curta CTF #12☆20Updated last year
- ☆39Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- an introduction to noir, with simple examples☆42Updated 10 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Better assertion macros for pure Huff tests.☆19Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆29Updated 9 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 6 months ago
- ☆17Updated last year
- ☆28Updated last year
- ☆31Updated 8 months ago
- ☆18Updated 4 months ago
- storage proof made by sp1☆24Updated 2 months ago
- Noir implementation of RSA-verify☆41Updated 11 months ago
- Andromeda revm execution service☆30Updated 3 months ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆24Updated 4 months ago
- ☆22Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year