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.
  ☆69Updated this week
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆34Updated 10 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 5 months ago
• ultrasoundmoney / mev-boost-relay
  optimistic fork of the Flashbot's mev-boost relay
  ☆35Updated 2 weeks ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆112Updated 6 months ago
• jacobkaufmann / evangelion
  a prototype ethereum block builder
  ☆82Updated 2 years ago
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆28Updated 8 months ago
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆60Updated last year
• flashbots / contender
  spam EVM execution nodes over JSON-RPC & run benchmarks
  ☆94Updated 2 weeks ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• WitnessCo / contracts-core
  WITNESS Protocol - Core Contracts
  ☆18Updated last year
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆43Updated 10 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• init4tech / trevm
  the EVM, simplified
  ☆90Updated 2 weeks ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆105Updated 3 months ago
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 10 months ago
• op-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆63Updated last year
• Lilyjjo / tldr-research
  Suave/TEE PoCs of MEV Resistant AMMs
  ☆42Updated 8 months ago
• flashbots / flashbox
  ☆64Updated 8 months ago
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated 11 months ago
• paradigmxyz / rethmatch
  An onchain tournament for bots, inspired by Pac-Man and Agar.io.
  ☆44Updated 4 months ago
• ithacaxyz / op-rs
  ☆67Updated last month
• colinnielsen / dark-safe
  Like Safe... but secret 🥷🏽
  ☆63Updated 9 months ago