Consensys / linea-constraintsLinks
Implementation of the constraint system of Linea, specified in the linea-specification repo.
☆30Updated last 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…☆55Updated this week
- The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generat…☆98Updated this week
- Linea Sequencer Implementation☆34Updated 5 months ago
- Specification of the constraint system underlying Linea's zk-EVM.☆29Updated this week
- Out-of-circuit zkEVM implementation☆80Updated last year
- ☆160Updated 9 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆131Updated 7 months ago
- ☆70Updated last year
- ☆186Updated 6 months ago
- ☆75Updated 2 years ago
- Binary storage trie☆76Updated 11 months ago
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.☆150Updated this week
- Linea smart-contracts☆82Updated last year
- ☆80Updated 9 months ago
- ☆110Updated last week
- Linea implementation based on Besu☆72Updated 3 weeks ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆127Updated this week
- Compare in-circuit and out-of-circuit VMs☆60Updated last year
- This repo contains the zkasm source code of the zkEVM☆138Updated 6 months ago
- ☆159Updated 8 months ago
- Linea ENS compatible with ENS on Ethereum☆27Updated last week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 9 months ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆39Updated this week
- ☆46Updated 3 months ago
- Linea Token List☆55Updated 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
- ☆166Updated this week
- Reference implementation of the node for the Miden blockchain☆78Updated this week
- Secure, high-throughput, and decentralized Data Availability☆252Updated this week
- zkEVM prover in C++☆241Updated 2 months ago