Alternatives and similar repositories for constraints-specs

Users that are interested in constraints-specs are comparing it to the libraries listed below

• 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.
  ☆119Updated this week
• aave-starknet-project / aave-starknet-bridge
  Bridge aTokens to Starknet
  ☆45Updated 2 years ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆109Updated 2 months ago
• SorellaLabs / angstrom
  ☆64Updated this week
• starknet-io / starknet-stack-resources
  A collection of works discussing the security aspects of StarkNet
  ☆40Updated 5 months ago
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• OpenZeppelin / nile-rs
  CLI tool to develop Starknet projects written in Cairo
  ☆56Updated last year
• 0xPolygonHermez / zisk
  ☆82Updated this week
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆65Updated 6 months ago
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆75Updated 7 months ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• NethermindEth / surge-taiko-mono
  A based rollup template of the Taiko Alethia stack.
  ☆24Updated this week
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated last month
• flashbots / suave-specs
  ☀️ SUAVE Alpha Protocol Specifications
  ☆38Updated 7 months ago
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆44Updated 6 months ago
• succinctlabs / rsp-subblock
  ☆19Updated 2 weeks ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆60Updated last month
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆38Updated this week
• alloy-rs / op-alloy
  Transports, Middleware, and Networks for the OP Stack built on Alloy
  ☆71Updated this week
• CarmineOptions / konoha
  A toolkit for DAO-like governance on Starknet
  ☆30Updated 3 months ago
• init4tech / trevm
  Typestate interface for revm
  ☆78Updated last week
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆32Updated 6 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆95Updated this week
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 7 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 6 months ago