Consensys / linea-specificationLinks
Specification of the constraint system underlying Linea's zk-EVM.
☆30Updated 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:
- Secure, high-throughput, and decentralized Data Availability☆260Updated this week
- The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generat…☆106Updated this week
- This repo contains the zkasm source code of the zkEVM☆138Updated 8 months ago
- Implementation of the constraint system of Linea, specified in the linea-specification repo☆36Updated 3 weeks ago
- zkEVM prover in C++☆242Updated 5 months ago
- Linea Sequencer Implementation☆34Updated 8 months ago
- ☆115Updated last month
- OP Stack Specifications☆166Updated this week
- ☆194Updated 2 months ago
- ☆55Updated 2 weeks ago
- ☆102Updated last month
- Linea ENS compatible with ENS on Ethereum☆27Updated 2 weeks ago
- ☆16Updated last year
- Linea smart-contracts☆83Updated last year
- ☆42Updated last year
- Basic repo demoing a simple AVS middleware with full eigenlayer integration☆186Updated 6 months ago
- op-stack state(less) transition in an AWS Nitro enclave☆95Updated 5 months ago
- superchain-ops allows builders to create and execute tasks on EVM chains.☆93Updated this week
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆148Updated this week
- Linea Token List☆66Updated this week
- Linea implementation based on Besu☆72Updated 3 months ago
- Optimism is Ethereum, scaled.☆138Updated 2 weeks ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- Mantle Networks☆47Updated last month
- Proof of Concept for RRC-7755☆93Updated 8 months ago
- Local Multi-L2 Development Environment☆261Updated 2 months ago
- The MetaMask Snap for Starknet☆87Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆85Updated this week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Updated last year