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 this week
• EDGDrummond / EF-grant
  ☆23Updated last year
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 7 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated 8 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆24Updated this week
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆30Updated this week
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 3 weeks ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆49Updated 4 months ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 7 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated this week
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• Layr-Labs / eigenpod-proofs-generation
  ☆21Updated this week
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆43Updated 8 months ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated 9 months ago
• AstarNetwork / plonk
  ☆17Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 7 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 9 months ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆61Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• risc0 / kailua
  The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups
  ☆40Updated last week
• privacy-scaling-explorations / poseidon
  ☆41Updated 8 months ago
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 7 months ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆18Updated 5 months ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆22Updated last year
• SuccinctPaul / awesome-zk-verifier
  ☆13Updated last month
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• PopcornPaws / fde
  ☆34Updated last year
• DelphinusLab / zkWasm-prover
  ☆20Updated last month
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆69Updated 9 months ago