Alternatives and similar repositories for linea-constraints

Users that are interested in linea-constraints are comparing it to the libraries listed below

• Consensys / linea-tracer
  Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…
  ☆49Updated this week
• Consensys / linea-sequencer
  Linea Sequencer Implementation
  ☆32Updated last month
• Consensys / linea-monorepo
  The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generat…
  ☆69Updated this week
• Consensys / linea-besu
  Linea implementation based on Besu
  ☆70Updated 3 months ago
• scroll-tech / mpt-circuit
  ☆70Updated 11 months ago
• scroll-tech / zk-mooc-halo2
  ☆75Updated 2 years ago
• scroll-tech / rollup-explorer-backend
  Scroll's Rollup Explorer Backend
  ☆55Updated 8 months ago
• polymerdao / plonky2-circom
  ☆157Updated 4 months ago
• zkMIPS / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆128Updated 2 months ago
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆80Updated 10 months ago
• scroll-tech / scroll-contracts
  ☆45Updated this week
• DelphinusLab / halo2gategen
  macros for halo2 gate generation
  ☆14Updated last year
• AztecProtocol / barretenberg
  ☆173Updated last month
• scroll-tech / zktrie
  Binary storage trie
  ☆75Updated 6 months ago
• Consensys / linea-contracts
  Linea smart-contracts
  ☆80Updated 9 months ago
• scroll-tech / halo2
  ☆44Updated 9 months ago
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆120Updated last month
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆143Updated this week
• kroma-network / zkevm-circuits
  This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).
  ☆20Updated 10 months ago
• polymerdao / plonky2-solidity-verifier
  ☆79Updated 4 months ago
• Consensys / linea-token-list
  Linea Token List
  ☆48Updated last week
• storyprotocol / documentation
  Story Documentation
  ☆17Updated 3 months ago
• matter-labs / era-zkevm_tester
  Adapter between zk_evm and era-compiler-tester
  ☆20Updated 8 months ago
• taikoxyz / dao-contracts
  DAO contracts developed by Aragon for Taiko
  ☆20Updated 3 weeks ago
• mantlenetworkio / networks
  Mantle Networks
  ☆44Updated 2 months ago
• axiom-crypto / snark-verifier
  ☆99Updated 3 weeks ago
• megaeth-labs / evmone-compiler
  EVM ahead-of-time compiler based on the fast evmone interpreter
  ☆117Updated 4 months ago
• omni-network / omni
  Monorepo for Omni node, contracts and other related tools
  ☆116Updated this week
• EspressoSystems / espresso-network
  ☆132Updated this week
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆301Updated 10 months ago