axiom-crypto / snark-verifier
☆94Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for snark-verifier
- ☆71Updated last year
- Monorepo of halo2 crates☆238Updated 3 months ago
- halo2 ecc circuit☆114Updated last year
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- zkevm-chain: Deprecated☆86Updated last year
- ☆146Updated this week
- Binary storage trie☆73Updated 2 months ago
- Poseidon hash circuit☆94Updated 3 weeks ago
- ☆102Updated this week
- The schelling point for ZK applications.☆134Updated 6 months ago
- ☆68Updated 4 months ago
- The universal zkVM empowering Ethereum as the Global Settlement Layer☆108Updated last week
- ☆106Updated this week
- Generates a stark from a pil☆95Updated 3 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆169Updated 3 months ago
- ☆94Updated 3 months ago
- ☆43Updated 2 months ago
- This repo contains the zkasm source code of the zkEVM☆126Updated last week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆206Updated 2 weeks ago
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- EVM ahead-of-time compiler based on the fast evmone interpreter☆94Updated 4 months ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆59Updated this week
- ripemd160, modexp(u256 only) circuits☆32Updated 8 months ago
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- Technical documentation of the zkEVM☆88Updated 5 months ago
- ☆42Updated last month
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆115Updated this week
- ☆147Updated 8 months ago
- Celestia -> EVM bridge☆130Updated this week