Alternatives and similar repositories for constraints-specs

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

• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆70Updated 2 months ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated 2 years ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 10 months ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 9 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine
  ☆84Updated 2 years ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated 2 years ago
• SeismicSystems / summit
  Consensus client for Seismic
  ☆58Updated this week
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated 2 years ago
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated 4 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated 2 years ago
• init4tech / trevm
  the EVM, simplified
  ☆97Updated last week
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆24Updated 3 years ago
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆43Updated last year
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆95Updated 8 months ago
• ericglau / cairo-ls
  Cairo Language Server
  ☆60Updated 2 years ago
• axiom-crypto / axiom-apps
  ☆34Updated 2 years ago
• flashbots / contender
  spam EVM execution nodes over JSON-RPC & run benchmarks
  ☆118Updated this week
• auditless / cairo-erc4626
  Solmate-style Cairo ERC4626 Implementation
  ☆46Updated 2 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated last year
• eth-fabric / urc
  Universal Registry Contract
  ☆14Updated 3 months ago
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 3 years ago
• spire-labs / based-stack
  The Spire Based Stack
  ☆22Updated 2 months ago
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆24Updated 2 years ago
• jacobkaufmann / evangelion
  a prototype ethereum block builder
  ☆82Updated 2 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆35Updated 5 months ago
• op-rs / op-reth
  Fork of OP-Reth for developing capability to server proofs in FP window
  ☆72Updated this week