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 months ago
• succinctlabs / eth-proof-of-consensus
  ☆103Updated 3 years ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated 2 years ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆110Updated 9 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated 2 years ago
• eth-fabric / urc
  Universal Registry Contract
  ☆14Updated 2 months ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine
  ☆84Updated 2 years ago
• jacobkaufmann / evangelion
  a prototype ethereum block builder
  ☆82Updated 2 years ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated 2 years ago
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆71Updated last year
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated 3 months ago
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆34Updated last year
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• gattaca-com / based-op
  Based OP stack
  ☆29Updated last week
• zemse / forge-flamegraph
  🔥 flamegraphs for solidity
  ☆35Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated 2 years ago
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆43Updated last year
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆93Updated 2 years ago
• op-rs / galadriel
  A robust, extensible OP Stack challenge agent written in pure Rust.
  ☆57Updated 2 years ago
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆35Updated last year
• HerodotusDev / herodotus-eth-starknet
  ☆35Updated 2 years ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• ncitron / cairo-merkle-distributor
  A simple merkle distributor written in Cairo
  ☆38Updated 3 years ago