Consensys / linea-specificationLinks
Specification of the constraint system underlying Linea's zk-EVM.
☆28Updated last 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☆133Updated 3 months ago
- zkEVM prover in C++☆239Updated last month
- Proof of Concept for RRC-7755☆90Updated 3 months ago
- Optimism is Ethereum, scaled.☆132Updated 3 weeks ago
- OP Stack Specifications☆136Updated this week
- An index of chains which serves as the source of truth for who’s in the Superchain Ecosystem☆187Updated last week
- Linea ENS compatible with ENS on Ethereum☆24Updated this week
- ☆127Updated 2 weeks ago
- Implementation of the constraint system of Linea, specified in the linea-specification repo.☆28Updated this week
- Generates a stark from a pil☆98Updated last year
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆124Updated this week
- ☆55Updated last month
- Linea Sequencer Implementation☆33Updated 3 months ago
- superchain-ops allows builders to create and execute tasks on EVM chains.☆74Updated last week
- The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generat…☆82Updated this week
- Secure, high-throughput, and decentralized Data Availability☆239Updated this week
- ☆110Updated this week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆118Updated 3 weeks ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆183Updated this week
- Symbiotic Collateral smart contracts☆39Updated 7 months ago
- Agglayer Smart Contracts☆303Updated this week
- Stylus VM and Fraud Prover☆119Updated last year
- Smart contracts for Across protocol☆122Updated this week
- The MetaMask Snap for Starknet☆85Updated 2 weeks ago
- The core Arbitrum Nitro contracts deployed to the parent chain to host the rollup☆134Updated last week
- Monorepo for Omni node, contracts and other related tools☆119Updated this week
- Go SDK for building AVSs on Eigenlayer☆76Updated this week
- Linea smart-contracts☆81Updated 11 months ago
- ☆67Updated 2 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆192Updated this week