axiom-crypto / snark-verifier
☆94Updated last month
Related projects: ⓘ
- ☆66Updated last year
- Monorepo of halo2 crates☆236Updated last month
- halo2 ecc circuit☆110Updated last year
- ☆133Updated this week
- Out-of-circuit zkEVM implementation☆81Updated last month
- zkevm-chain: Deprecated☆86Updated last year
- ☆95Updated this week
- ☆38Updated 3 weeks ago
- ☆93Updated this week
- Generates a stark from a pil☆94Updated last month
- Poseidon hash circuit☆88Updated last week
- The schelling point for ZK applications.☆135Updated 4 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆183Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 3 weeks ago
- ☆154Updated last year
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆110Updated this week
- ☆115Updated last month
- ☆93Updated last month
- ☆64Updated 2 months ago
- ☆73Updated this week
- ☆119Updated this week
- ripemd160, modexp(u256 only) circuits☆29Updated 6 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆132Updated this week
- ☆182Updated this week
- ☆91Updated this week
- This repo contains the zkasm source code of the zkEVM☆124Updated this week
- A storage system inspired by Besu using Starknet Merkle Trees☆54Updated 2 months ago
- Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)☆39Updated 8 months ago
- Binary storage trie☆61Updated this week
- Monorepo for Omni node, contracts and other related tools☆75Updated this week