Alternatives and similar repositories for pm

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

• ProjectZKM / zkm-prover
  A parallel proving service for ZKM.
  ☆22Updated 3 weeks ago
• zkmove / zkmove-lite
  A fast zero-knowledge proof friendly Move language runtime environment.
  ☆47Updated 2 years ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆81Updated 7 months ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 9 months ago
• snarkify / arkmsm
  ☆50Updated 11 months ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆76Updated 11 months ago
• reddio-com / reddio
  Parallel EVM layer2
  ☆34Updated 6 months ago
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated last year
• EDGDrummond / EF-grant
  ☆22Updated 2 years ago
• zkmove / zkmove
  A zero-knowledge Move language runtime environment.
  ☆84Updated 7 months ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Updated 11 months ago
• 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…
  ☆28Updated last year
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆58Updated last year
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆84Updated last month
• zkmove / halo2-verifier.move
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Updated last week
• amiller / dstack-vm
  ☆26Updated last year
• sedaprotocol / bn254
  ☆17Updated 6 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆66Updated last year
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆38Updated 3 weeks ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆23Updated 2 years ago
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆34Updated 3 years ago
• privacy-ethereum / poseidon
  ☆42Updated last year
• ghiliweld / sszb
  High Performance SSZ Implementation
  ☆14Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated 2 years ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆20Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆80Updated 3 weeks ago
• crate-crypto / go-ipa
  A Go implementation of cryptographic primitives for Verkle Trees
  ☆37Updated last year
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆64Updated 8 months ago