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.
  ☆65Updated 5 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆88Updated last month
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆99Updated 4 months ago
• eth-fabric / urc
  Universal Registry Contract
  ☆14Updated last week
• essential-contributions / ERC-7521
  ☆42Updated last year
• spire-labs / based-stack
  The Spire Based Stack
  ☆17Updated this week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆104Updated this week
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated 11 months ago
• gattaca-com / based-op
  Based OP stack
  ☆22Updated this week
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆33Updated 4 months ago
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆44Updated last year
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• colinnielsen / dark-safe
  Like Safe... but secret 🥷🏽
  ☆59Updated 3 months ago
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆33Updated this week
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• flashbots / suave-specs
  ☀️ SUAVE Alpha Protocol Specifications
  ☆38Updated 6 months ago
• SorellaLabs / angstrom
  ☆61Updated this week
• jsign / eth-stateless
  Ethereum stateless tools
  ☆46Updated last week
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• 0xPolygonHermez / zisk
  ☆78Updated this week
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• init4tech / trevm
  Typestate interface for revm
  ☆77Updated last week
• py16z / pyliza
  AI Framework for Socials and onchain actions
  ☆22Updated 3 months ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 8 months ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆91Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• NethermindEth / awesome-preconfirmations
  ☆27Updated 10 months ago
• aave-starknet-project / aave-starknet-bridge
  Bridge aTokens to Starknet
  ☆44Updated 2 years ago
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆59Updated this week