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.
  ☆70Updated last month
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• zk-kit / zk-kit.noir
  A monorepo of reusable Noir circuits.
  ☆47Updated 3 months ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated 2 years ago
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• ncitron / cairo-merkle-distributor
  A simple merkle distributor written in Cairo
  ☆38Updated 3 years ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆78Updated last year
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆24Updated 2 years ago
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 3 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 9 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated last year
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated 2 months ago
• eth-fabric / urc
  Universal Registry Contract
  ☆14Updated 2 months ago
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆34Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 8 months ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆93Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated last year
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆61Updated 2 years ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 3 years ago
• gattaca-com / based-op
  Based OP stack
  ☆29Updated this week
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• warlock-labs / solbls
  Solidity Library for BLS over the alt-bn128 curve
  ☆16Updated last year
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated last year