Alternatives and similar repositories for proof-market-toolchain

Users that are interested in proof-market-toolchain are comparing it to the libraries listed below

• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆41Updated last year
• celestiaorg / celestia-zkevm-ibc-demo
  ☆23Updated 6 months ago
• ChorusOne / celo-light-client
  Celo Light Client (IBC compatible)
  ☆16Updated 3 years ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆39Updated last week
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆76Updated 11 months ago
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated 2 years ago
• ora-io / zkgraph
  Template for zkGraph.
  ☆19Updated last year
• lita-xyz / rust-examples
  ☆18Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated 2 years ago
• yetanotherco / zkRust
  ☆43Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated 2 years ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated 7 months ago
• polybase / polylang
  ☆37Updated 2 years ago
• ZK-Hack / puzzle-gamma-ray
  ☆22Updated 2 years ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆83Updated 7 months ago
• noir-lang / acvm
  ☆49Updated 2 years ago
• ProjectZKM / zkm-project-template
  ZKM Development Template/Framework
  ☆30Updated 6 months ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 6 months ago
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆56Updated 2 years ago
• circlefin / malaketh-turbo
  ☆22Updated 3 months ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆35Updated 3 years ago
• AstarNetwork / plonk
  ☆17Updated 3 years ago
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated 7 months ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆67Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆32Updated 7 months ago
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated 2 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆61Updated 2 years ago