Consensys / linea-specificationLinks
Specification of the constraint system underlying Linea's zk-EVM.
☆26Updated this week
Alternatives and similar repositories for linea-specification
Users that are interested in linea-specification are comparing it to the libraries listed below
Sorting:
- This repo contains the zkasm source code of the zkEVM☆135Updated 2 months ago
- A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.☆150Updated last week
- zkEVM prover in C++☆240Updated 2 weeks ago
- Stylus VM and Fraud Prover☆120Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆187Updated last week
- Implementation of the constraint system of Linea, specified in the linea-specification repo.☆27Updated this week
- ☆175Updated 2 months ago
- The MetaMask Snap for Starknet☆85Updated this week
- op-stack state(less) transition in an AWS Nitro enclave☆71Updated 3 weeks ago
- Technical documentation of the zkEVM☆90Updated last year
- Out-of-circuit zkEVM implementation☆80Updated 11 months ago
- A Python framework and collection of test cases to generate test vectors for Ethereum execution clients☆162Updated this week
- Generates a stark from a pil☆97Updated 11 months ago
- Go SDK for building AVSs on Eigenlayer☆76Updated 3 weeks ago
- The schelling point for ZK applications.☆141Updated last year
- Avalanche Community Proposals (ACPs)☆71Updated 3 weeks ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆181Updated this week
- OP Stack Specifications☆134Updated 2 weeks ago
- Secure, high-throughput, and decentralized Data Availability☆238Updated this week
- An EVM hash oracle aggregator☆151Updated last month
- Template for integrating RISC Zero and Ethereum using Foundry☆139Updated last month
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 5 months ago
- The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generat…☆74Updated last week
- ☆190Updated last month
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆121Updated 2 months ago
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆118Updated last week
- Proof of Concept for RRC-7755☆90Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆132Updated last week
- Argent accounts for Starknet☆175Updated 6 months ago
- Basic repo demoing a simple AVS middleware with full eigenlayer integration☆189Updated this week