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.
  ☆67Updated last week
• init4tech / trevm
  Typestate interface for revm
  ☆85Updated last week
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆59Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆44Updated 9 months ago
• flashbots / contender
  spam EVM execution nodes over JSON-RPC & run benchmarks
  ☆89Updated this week
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 4 months ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆77Updated 10 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 10 months ago
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• aave-starknet-project / aave-starknet-bridge
  Bridge aTokens to Starknet
  ☆45Updated 2 years ago
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆112Updated 5 months ago
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 2 years ago
• zk-kit / zk-kit.noir
  A monorepo of reusable Noir circuits.
  ☆45Updated this week
• supernovahs / zk-sunade
  Groth16 verifier on Arbitrum Stylus
  ☆25Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 6 months ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆92Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 9 months ago
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated 2 years ago
• SorellaLabs / angstrom
  ☆76Updated last week
• eqlabs / starknet-multisig
  Multi-signature functionality for StarkNet
  ☆92Updated 2 years ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆65Updated last week
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆98Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year