Alternatives and similar repositories for constraints-specs:

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

• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆72Updated this week
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆63Updated 2 months ago
• essential-contributions / ERC-7521
  ☆41Updated 10 months ago
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆87Updated this week
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆85Updated 2 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆55Updated 2 months ago
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆31Updated 2 months ago
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated 2 weeks ago
• parketh / scaffold-stark
  scaffold-stark is a forkable StarkNet dev stack focused on fast product iterations, inspired by scaffold-eth.
  ☆26Updated 2 years ago
• colinnielsen / dark-safe
  Like Safe... but secret 🥷🏽
  ☆57Updated last month
• SorellaLabs / angstrom
  ☆51Updated this week
• megaeth-labs / reth-perf-utils
  ☆18Updated 8 months ago
• anthias-labs / arbiter-template
  Minimal template for using the Arbiter framework for simulations.
  ☆45Updated last month
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆58Updated 10 months ago
• alloy-rs / op-alloy
  Transports, Middleware, and Networks for the OP Stack built on Alloy
  ☆57Updated this week
• warlock-labs / solbls
  Solidity Library for BLS over the alt-bn128 curve
  ☆14Updated 3 months ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆22Updated 9 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆78Updated this week
• auditless / cairo-erc4626
  Solmate-style Cairo ERC4626 Implementation
  ☆46Updated last year
• op-rs / op-up
  Composable OP Stack Orchestration
  ☆41Updated last year
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated 7 months ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated 9 months ago
• whetstoneresearch / doppler
  Core contracts for the Doppler Protocol
  ☆44Updated this week
• personaelabs / merkle-tree
  ☆31Updated 11 months ago
• init4tech / trevm
  Typestate interface for revm
  ☆71Updated this week
• halo3mic / suave-playground
  ☆20Updated 6 months ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆73Updated last year
• flashbots / suave-specs
  ☀️ SUAVE Alpha Protocol Specifications
  ☆38Updated 4 months ago
• wighawag / forge-exec
  Execute programs from forge with an open 2-way communication channel between both
  ☆56Updated 8 months ago