matter-labs / era-zk_evmLinks
Out-of-circuit zkEVM implementation
☆80Updated last year
Alternatives and similar repositories for era-zk_evm
Users that are interested in era-zk_evm are comparing it to the libraries listed below
Sorting:
- The schelling point for ZK applications.☆142Updated last year
- 🐺 Starknet Rust types 🦀☆77Updated this week
- ☆63Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Updated last year
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆75Updated last week
- Technical documentation of the zkEVM☆91Updated last year
- Smart contracts for onchain verification of SP1.☆122Updated last month
- ☆75Updated 2 years ago
- Core components of the Miden protocol☆93Updated this week
- Generates a stark from a pil☆98Updated last year
- zkevm-chain: Deprecated☆90Updated 2 years ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated last year
- ☆102Updated 2 months ago
- Poseidon hash circuit☆105Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆68Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆139Updated 4 months ago
- Polynomials Identity Language☆68Updated last year
- Specification of P2P protocol for StarkNet nodes☆53Updated 3 weeks ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated last year
- Reference implementation of the node for the Miden blockchain☆77Updated this week
- Go SDK for building AVSs on Eigenlayer☆76Updated 2 weeks ago
- ☆54Updated last week
- halo2 ecc circuit☆116Updated 2 years ago
- ☆65Updated last year
- ZKsync fork of the LLVM framework (EraVM).☆37Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 6 months ago
- A toolkit for DAO-like governance on Starknet☆30Updated 9 months ago
- Test runner for ethereum foundation tests☆25Updated 9 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆200Updated last week