Alternatives and similar repositories for eigen-prover:

Users that are interested in eigen-prover are comparing it to the libraries listed below

• 0xEigenLabs / eigen-zkvm
  A Rust zkVM with a Modular Proof System
  ☆139Updated 3 weeks ago
• inversebrah / awesome-risc0
  A community-maintained curated list of awesome resources of RISC Zero.
  ☆74Updated 8 months ago
• 0xEigenLabs / plonkjs
  Javascript/NodeJS Plonk prover and verifier on bellman
  ☆11Updated last year
• socathie / keras2circom
  python tool to transpile a tf.keras model into a circom circuit
  ☆250Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated this week
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated last year
• hadasz / plonkish_basefold
  ☆30Updated last month
• EDGDrummond / EF-grant
  ☆23Updated last year
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆43Updated last month
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆40Updated last year
• compsec-epfl / space-efficient-sumcheck
  ☆31Updated this week
• zksecurity / stark-book
  STARK book
  ☆20Updated 4 months ago
• demox-labs / webgpu-msm
  ☆24Updated 11 months ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆51Updated last year
• hetu-project / chronos
  Chrono is a novel logical clock system designed for open networks with Byzantine participants, offering improved fault tolerance and perf…
  ☆38Updated 2 months ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 2 weeks ago
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆18Updated 10 months ago
• gy001 / hypercube
  ☆39Updated last year
• halo2-ce / halo2
  ☆28Updated 2 years ago
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• kurtpan666 / Baby-Binius
  Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes​.
  ☆12Updated 8 months ago
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆20Updated 2 years ago
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆24Updated last year
• FranklinZty / KiloNova-poc
  A proof-of-concept implementation of KiloNova
  ☆9Updated 4 months ago
• gy001 / finitefields-by-examples
  about finite fields
  ☆8Updated 8 months ago
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆25Updated 4 months ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆23Updated 2 years ago
• Lagrange-Labs / plonky2-recursion
  plonky2 recursion framework handling different circuits in unified way.
  ☆14Updated 11 months ago
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆29Updated 2 months ago