Consensys / linea-specification
Specification of the constraint system underlying Linea's zk-EVM.
☆16Updated this week
Alternatives and similar repositories for linea-specification:
Users that are interested in linea-specification are comparing it to the libraries listed below
- Implementation of the constraint system of Linea, specified in the linea-specification repo.☆15Updated this week
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated last year
- Polynomials Identity Language☆68Updated 10 months ago
- halo2 ecc circuit☆115Updated last year
- Suite of tools for Monitoring OP Stack Chains 🔴 Offers real-time detection and Incident response capabilities ✨☆26Updated last week
- Solidity verifier for Plonk☆41Updated 5 months ago
- Out-of-circuit zkEVM implementation☆80Updated 5 months ago
- High performance EraVM for zkSync.☆23Updated 2 months ago
- Configuration and scripts for running Astria☆21Updated 5 months ago
- ☆40Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆70Updated this week
- Generates a stark from a pil☆96Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆58Updated 9 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- ☆10Updated last month
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated last month
- zero-knowledge execution of eBPF bytecode☆84Updated last year
- ZKsync fork of the LLVM framework.☆33Updated this week
- This repo generates the Protocol Guild documentation.☆41Updated last week
- The schelling point for ZK applications.☆135Updated 8 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆107Updated last year
- Compare in-circuit and out-of-circuit VMs☆59Updated 5 months ago
- ☆33Updated this week
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- ☆118Updated last month
- Full Solidity Implementation of Intel DCAP Quote Verification☆20Updated 2 weeks ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆87Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆40Updated this week