Alternatives and similar repositories for pil2-proofman

Users that are interested in pil2-proofman are comparing it to the libraries listed below

• Layr-Labs / rust-kzg-bn254
  ☆15Updated last month
• ProjectZKM / zkm-prover
  A parallel proving service for ZKM.
  ☆22Updated 3 weeks ago
• crate-crypto / rust-eth-kzg
  ☆31Updated 2 months ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆24Updated 8 months ago
• PayneJoe / PNova
  Plonkish Nova implementation along with advanced features
  ☆16Updated 2 years ago
• Lagrange-Labs / mapreduce-plonky2
  ☆23Updated 7 months ago
• Lagrange-Labs / reckle-trees
  ☆33Updated last year
• PolyhedraZK / awesome-expander
  Polyhedra ZK knowledge base
  ☆26Updated last year
• NP-Eng / gkr_tutorial
  ☆12Updated 2 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆80Updated 3 weeks ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆31Updated 11 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 2 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆29Updated 2 years ago
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆42Updated 4 months ago
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated last year
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆23Updated last year
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆30Updated last year
• privacy-ethereum / nova-by-hand
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆28Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆37Updated 3 years ago
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆66Updated last year
• kilic / halo2msm
  ☆13Updated 2 years ago
• kevaundray / plookup
  ☆41Updated 3 years ago
• Lagrange-Labs / plonky2-recursion
  plonky2 recursion framework handling different circuits in unified way.
  ☆16Updated last year
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆13Updated last year
• keep-starknet-strange / poseidon-rs
  Poseidon Rust library
  ☆38Updated 2 years ago
• 0xPolygonID / witnesscalc
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Updated 4 months ago
• iosis-tech / swiftness
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆43Updated 11 months ago
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆26Updated 4 months ago