Alternatives and similar repositories for constraints-specs:

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

• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆64Updated 4 months ago
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆32Updated 3 months ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated 11 months ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆46Updated last month
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated last year
• spire-labs / based-stack
  The Spire Based Stack
  ☆16Updated this week
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆94Updated 3 months ago
• gattaca-com / based-op
  Based OP stack
  ☆21Updated this week
• essential-contributions / ERC-7521
  ☆42Updated 11 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆86Updated 3 weeks ago
• aave-starknet-project / aave-starknet-bridge
  Bridge aTokens to Starknet
  ☆44Updated last year
• clabby / dispute-viz
  A front-end for visualizing dispute games.
  ☆17Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 7 months ago
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆58Updated 11 months ago
• flashbots / suave-specs
  ☀️ SUAVE Alpha Protocol Specifications
  ☆38Updated 5 months ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆106Updated 2 weeks ago
• SorellaLabs / angstrom
  ☆57Updated this week
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated 8 months ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆75Updated 5 months ago
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆96Updated this week
• chronicleprotocol / scribe
  Extremely performant EVM oracle utilizing aggregated Schnorr signatures
  ☆55Updated 2 months ago
• iykyk-syn / unison
  Consensus nodes performing in unison!
  ☆32Updated 9 months ago
• shafu0x / MicroStable-World
  ☆22Updated 3 months ago
• mangrovedao / mangrove-core
  🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics
  ☆46Updated last month
• 0xfuturistic / sandwich-mitigating-uniswap-v2
  🥪🦄 Uniswap V2 but resistant to sandwich attacks
  ☆45Updated 3 months ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year