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.
  ☆66Updated last week
• init4tech / trevm
  Typestate interface for revm
  ☆82Updated this week
• warlock-labs / solbls
  Solidity Library for BLS over the alt-bn128 curve
  ☆16Updated 9 months ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 4 months ago
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆57Updated last year
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆34Updated 8 months ago
• flashbots / contender
  spam EVM execution nodes over JSON-RPC & run benchmarks
  ☆85Updated last week
• eth-fabric / urc
  Universal Registry Contract
  ☆14Updated last month
• SorellaLabs / angstrom
  ☆75Updated this week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆94Updated 3 months ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 2 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• colinnielsen / dark-safe
  Like Safe... but secret 🥷🏽
  ☆62Updated 7 months ago
• jacobkaufmann / evangelion
  a prototype ethereum block builder
  ☆83Updated last year
• gattaca-com / based-op
  Based OP stack
  ☆26Updated 2 weeks ago
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆44Updated 8 months ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 3 months ago
• zk-kit / zk-kit.noir
  A monorepo of reusable Noir circuits.
  ☆43Updated 2 weeks ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆98Updated 9 months ago
• op-rs / op-reth
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
  ☆61Updated last year
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆34Updated 8 months ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆117Updated last week
• succinctlabs / rsp-subblock
  ☆26Updated 2 months ago