Consensys / linea-constraintsView external linksLinks
Implementation of the constraint system of Linea, specified in the linea-specification repo
☆36Updated this week
Alternatives and similar repositories for linea-constraints
Users that are interested in linea-constraints are comparing it to the libraries listed below
Sorting:
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…☆57Updated this week
- Specification of the constraint system underlying Linea's zk-EVM.☆30Updated this week
- The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generat…☆107Updated this week
- Linea ENS compatible with ENS on Ethereum☆27Jan 28, 2026Updated 2 weeks ago
- Documentation for the Hemi Network☆23Jan 8, 2026Updated last month
- Documentation of the Verax Project☆12Dec 2, 2025Updated 2 months ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Jan 18, 2026Updated 3 weeks ago
- Linea Sequencer Implementation☆34May 28, 2025Updated 8 months ago
- Periphery contract for story protocol, mainnet repo☆56Aug 20, 2025Updated 5 months ago
- This repository compiles the work that the BSC team does on Eth2.0.☆13Dec 8, 2022Updated 3 years ago
- WebGPU MSM implementation☆17Oct 28, 2025Updated 3 months ago
- A zk-friendly, Rust-based WebAssembly virtual machine designed for safe, high-performance execution and blockchain compatibility.☆17Updated this week
- ☆60Updated this week
- ☆58Updated this week
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆18Sep 29, 2025Updated 4 months ago
- JavaScript SDK tailored for the Initia blockchain☆40Feb 4, 2026Updated last week
- BLST-Verification☆23Jan 22, 2026Updated 3 weeks ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated last month
- ZeroOS: A Universal Modular Library OS for zkVMs☆46Updated this week
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Jun 20, 2024Updated last year
- This code accompanies the invariant testing tutorial on our website.☆21Jul 27, 2023Updated 2 years ago
- Linea Token List☆66Feb 6, 2026Updated last week
- zkVM benchmarking for Ethereum☆41Feb 7, 2026Updated last week
- ☆31Oct 27, 2025Updated 3 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- Linea implementation based on Besu☆72Oct 31, 2025Updated 3 months ago
- The hemi network core daemons.☆132Updated this week
- A dashboard for Zenchain staking☆11Jun 18, 2024Updated last year
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆54Nov 3, 2025Updated 3 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated last month
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- Linea smart-contracts☆83Sep 11, 2024Updated last year
- dApp for Node Operators, consumers and delegators interact with SubQuery Network☆16Updated this week
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- ☆12Apr 8, 2025Updated 10 months ago
- ☆15Oct 26, 2025Updated 3 months ago
- ☆13Aug 19, 2025Updated 5 months ago
- This is a online tool for you to record down every single leetcode problem you have done.☆17Sep 21, 2025Updated 4 months ago
- Guide material for Movement Hackathons and generally for beginners looking to start projects.☆35Aug 11, 2024Updated last year