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.
  ☆20Updated 3 months ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆17Updated 2 months ago
• EDGDrummond / EF-grant
  ☆23Updated last year
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Updated last year
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆23Updated this week
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆42Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• reddio-com / reddio
  Parallel EVM layer2
  ☆23Updated this week
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 4 months ago
• zksecurity / stark-book
  STARK book
  ☆20Updated 3 months ago
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆20Updated last year
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 4 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆41Updated last month
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated last year
• celer-network / brevis-circuits
  ☆17Updated last year
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆40Updated last month
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆33Updated 2 years ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆46Updated last month
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆27Updated 2 months ago
• w3f / fflonk
  ☆28Updated 3 weeks ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆52Updated this week
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆60Updated 3 months ago
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆52Updated 5 months ago
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated last year
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• halo2-ce / halo2
  ☆28Updated last year
• snarkify / arkmsm
  ☆49Updated last year
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆41Updated 11 months ago