matter-labs / era-zk_evm
Out-of-circuit zkEVM implementation
☆81Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for era-zk_evm
- Compare in-circuit and out-of-circuit VMs☆59Updated 3 months ago
- ☆59Updated 3 months ago
- The schelling point for ZK applications.☆134Updated 6 months ago
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- halo2 ecc circuit☆114Updated last year
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- ☆71Updated last year
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆72Updated this week
- zkevm-chain: Deprecated☆86Updated last year
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 3 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
- ☆106Updated this week
- Poseidon hash circuit☆94Updated 3 weeks ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- ☆146Updated this week
- ☆29Updated last week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆115Updated this week
- Generates a stark from a pil☆95Updated 3 months ago
- Consensus layer implementation for zkSync Era☆65Updated this week
- Vyper compiler for ZKsync.☆38Updated this week
- ☆94Updated 3 months ago
- Binary storage trie☆73Updated 2 months ago
- A library implementing GPU-accelerated zkSync prover.☆27Updated 3 months ago
- ZKsync fork of the LLVM framework.☆33Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆73Updated last week
- ☆102Updated this week
- Technical documentation of the zkEVM☆88Updated 5 months ago
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆46Updated last week
- Polynomials Identity Language☆67Updated 8 months ago