Alternatives and similar repositories for proof-of-peace:

Users that are interested in proof-of-peace are comparing it to the libraries listed below

• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆86Updated 3 weeks ago
• risc0 / demos
  ☆56Updated 4 months ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆61Updated this week
• 0xPolygonMiden / miden-base
  Core components of the Polygon Miden rollup
  ☆76Updated this week
• keep-starknet-strange / snos
  Rust Library for running the Starknet OS via the Cairo VM
  ☆62Updated this week
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆48Updated 10 months ago
• yetanotherco / zkRust
  ☆38Updated 5 months ago
• starkware-libs / sequencer
  ☆46Updated this week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆96Updated this week
• kkrt-labs / keth
  A EVM block proving backend in Cairo
  ☆66Updated this week
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆50Updated 9 months ago
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 11 months ago
• essential-contributions / ERC-7521
  ☆42Updated 11 months ago
• lambdaclass / yet-another-swap
  YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
  ☆54Updated last year
• starknet-io / starknet-stack-resources
  A collection of works discussing the security aspects of StarkNet
  ☆40Updated 3 months ago
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆77Updated last year
• starkware-libs / stwo-cairo
  ☆70Updated this week
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆53Updated last week
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• keep-starknet-strange / piltover
  Starknet Core Contract components in Cairo.
  ☆27Updated 3 weeks ago
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆96Updated 2 months ago
• personaelabs / merkle-tree
  ☆31Updated last year
• zk-bankai / uZumaKi
  ZK Benchmarking Suite
  ☆22Updated last year
• iosis-tech / swiftness
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆40Updated last month
• succinctlabs / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated last week
• CarmineOptions / konoha
  A toolkit for DAO-like governance on Starknet
  ☆30Updated last month
• kkrt-labs / ef-tests
  Test runner for ethereum foundation tests
  ☆24Updated last month
• Digine-Labs / rosettanet
  Ethereum <> Starknet RPC middleware.
  ☆42Updated this week
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• axiom-crypto / axiom-eth
  ☆94Updated 7 months ago