Alternatives and similar repositories for pm:

Users that are interested in pm are comparing it to the libraries listed below

• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated last week
• EDGDrummond / EF-grant
  ☆23Updated last year
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 8 months ago
• zksecurity / stark-book
  STARK book
  ☆20Updated 7 months ago
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated last year
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated last month
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated last month
• privacy-scaling-explorations / poseidon
  ☆42Updated 9 months ago
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• SuccinctPaul / awesome-zk-verifier
  ☆15Updated 2 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆61Updated last year
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 8 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆48Updated 2 weeks ago
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆64Updated 7 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• zkmove / halo2-verifier.move
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated 9 months ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆25Updated 5 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 5 months ago
• DelphinusLab / zkWasm-host-circuits
  ☆25Updated this week
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆31Updated this week
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 2 weeks ago
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆37Updated 2 years ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆71Updated 10 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated 8 months ago
• eerkaijun / kzg-rust
  Step by step implementation of KZG
  ☆19Updated 7 months ago
• w3f / fflonk
  ☆30Updated 3 weeks ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• kurtpan666 / awesome-circlestark
  A curated list of awesome things related to learning Circle STARK.
  ☆30Updated 2 months ago