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.
  ☆89Updated 2 weeks ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆51Updated 10 months ago
• kkrt-labs / ef-tests
  Test runner for ethereum foundation tests
  ☆24Updated 3 months ago
• risc0 / demos
  ☆58Updated 6 months ago
• starkware-libs / stwo-cairo
  ☆75Updated this week
• 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.
  ☆104Updated 3 weeks ago
• essential-contributions / ERC-7521
  ☆42Updated last year
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆49Updated 11 months ago
• Hyle-org / hyle
  A sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.
  ☆51Updated last week
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 9 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 5 months ago
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆51Updated last month
• starkware-libs / sequencer
  ☆49Updated this week
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆91Updated last month
• kkrt-labs / keth
  A EVM block proving backend in Cairo
  ☆71Updated this week
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆77Updated 10 months ago
• eerkaijun / kzg-rust
  Step by step implementation of KZG
  ☆19Updated 7 months ago
• HerodotusDev / integrity
  Cairo STARK proof verifier for Starknet
  ☆71Updated last week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆113Updated this week
• Miyamura80 / ZKMicrophone
  🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…
  ☆90Updated last year
• keep-starknet-strange / snos
  Rust Library for running the Starknet OS via the Cairo VM
  ☆62Updated 3 weeks ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆69Updated last week
• keep-starknet-strange / piltover
  Starknet Core Contract components in Cairo.
  ☆27Updated this week
• concrete-eth / concrete-geth
  Concrete is a framework for building application-specific rollups on the OP Stack
  ☆48Updated 8 months ago
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• ritual-net / infernet-sdk
  Bringing off-chain compute workloads to on-chain smart contracts.
  ☆92Updated 5 months ago
• ora-io / OAO
  OAO (onchain AI oracle), powered by opML (optimistic machine learning) on Ethereum, brings ML model onchain.
  ☆37Updated last month
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆159Updated 4 months ago
• yetanotherco / zkRust
  ☆40Updated 6 months ago
• boundless-xyz / boundless
  Monorepo for Boundless, the verifiable compute layer
  ☆19Updated this week