Alternatives and similar repositories for pm:

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

• EDGDrummond / EF-grant
  ☆23Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated this week
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆24Updated this week
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆42Updated last year
• radiusxyz / delay-encryption-in-halo2
  ☆11Updated last year
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 5 months ago
• zksecurity / stark-book
  STARK book
  ☆20Updated 4 months ago
• celer-network / brevis-circuits
  ☆17Updated last year
• automata-network / automata-sgx-sdk
  The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…
  ☆18Updated 2 months ago
• DelphinusLab / zkWasm-prover
  ☆20Updated last week
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆48Updated 2 months ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆22Updated 7 months ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆40Updated 2 months ago
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 5 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆61Updated 11 months ago
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated 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
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆65Updated last week
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆45Updated last year
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆31Updated 11 months ago
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆32Updated 3 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆22Updated last year
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆37Updated last year
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆47Updated 2 months ago
• privacy-scaling-explorations / poseidon
  ☆40Updated 6 months ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆42Updated last year
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆26Updated this week
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆23Updated last year