Alternatives and similar repositories for PetraVM

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

• worldfnd / ProveKit
  Client side zero-knowledge proving.
  ☆59Updated this week
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆23Updated 4 months ago
• yetanotherco / zkvm_benchmarks
  ☆28Updated 3 weeks ago
• privacy-scaling-explorations / Trinity
  Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…
  ☆17Updated last week
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆26Updated 7 months ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 3 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆16Updated this week
• pluto / edge
  client side proving
  ☆28Updated 2 months ago
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated 6 months ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆68Updated last year
• succinctlabs / sp1-tee
  ☆17Updated last month
• kevaundray / plookup
  ☆40Updated 2 years ago
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆51Updated last month
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆30Updated this week
• Janmajayamall / bfv
  ☆26Updated last year
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆33Updated last year
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆50Updated 10 months ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆29Updated last month
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated this week
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆53Updated last month
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆33Updated 3 weeks ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆77Updated 7 months ago
• brevis-network / pico
  ☆45Updated this week
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆103Updated this week
• asn-d6 / kzh_fold
  ☆20Updated last month