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.
  ☆65Updated 7 months ago
• essential-contributions / ERC-7521
  ☆42Updated last year
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆33Updated 6 months ago
• spire-labs / based-stack
  The Spire Based Stack
  ☆18Updated this week
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆109Updated 3 months ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 10 months ago
• personaelabs / merkle-tree
  ☆31Updated last year
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆32Updated 7 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• init4tech / trevm
  Typestate interface for revm
  ☆78Updated last week
• aave-starknet-project / aave-starknet-bridge
  Bridge aTokens to Starknet
  ☆45Updated 2 years ago
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated 11 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆57Updated 2 weeks ago
• succinctlabs / rsp-subblock
  ☆19Updated last month
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 2 months ago
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• flashbots / suave-specs
  ☀️ SUAVE Alpha Protocol Specifications
  ☆38Updated 8 months ago
• py16z / pyliza
  AI Framework for Socials and onchain actions
  ☆21Updated 5 months ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆105Updated last week
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆81Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆98Updated last week
• iykyk-syn / unison
  Consensus nodes performing in unison!
  ☆32Updated last year
• yourbuddyconner / succinct-bootcamp
  This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof te…
  ☆37Updated 9 months ago
• nerolation / slashing-proofoor
  Proof of slashed validator inside the EVM
  ☆20Updated last year
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated last year
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• alloy-rs / op-alloy
  Transports, Middleware, and Networks for the OP Stack built on Alloy
  ☆70Updated this week
• ithacaxyz / op-rs
  ☆66Updated 7 months ago
• SorellaLabs / angstrom
  ☆68Updated this week