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 2 weeks ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated 2 years ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 6 months ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆43Updated 11 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• ChainSafe / Zipline-lightclient
  Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation
  ☆30Updated 3 years ago
• zemse / forge-flamegraph
  🔥 flamegraphs for solidity
  ☆35Updated last year
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆34Updated 11 months ago
• ncitron / cairo-merkle-distributor
  A simple merkle distributor written in Cairo
  ☆38Updated 3 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 11 months ago
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆95Updated 6 months ago
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 7 months ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 7 months ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 3 years ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated 2 years ago
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆93Updated 2 years ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 3 years ago
• araghava / cairo-black-scholes
  Black-Scholes StarkNet Library
  ☆49Updated 5 months ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago