Alternatives and similar repositories for Ziren

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

• 0xEigenLabs / eigen-zkvm
  A Rust zkVM with a Modular Proof System
  ☆142Updated 6 months ago
• 0xEigenLabs / eigen-prover
  Eigen zkVM's Proving Service
  ☆29Updated 5 months ago
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆141Updated this week
• ingonyama-zk / poseidon-hash
  Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions
  ☆88Updated 2 years ago
• ProjectZKM / zkm-project-template
  ZKM Development Template/Framework
  ☆30Updated 7 months ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆38Updated 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…
  ☆58Updated last year
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆52Updated 3 years ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Updated 10 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆77Updated 11 months ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated 2 years ago
• aszepieniec / falcon-rust
  A rust implementation of the Falcon post-quantum signature scheme
  ☆25Updated last week
• brevis-network / pico
  ☆96Updated this week
• demox-labs / webgpu-msm
  ☆26Updated last year
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆38Updated 2 years ago
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆71Updated last year
• ProjectZKM / zkm-prover
  A parallel proving service for ZKM.
  ☆22Updated last month
• coset-io / zk-insights
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
  ☆47Updated last year
• ligeroinc / ligero-prover
  ☆59Updated last month
• privacy-ethereum / greco
  ☆82Updated last year
• kevaundray / plookup
  ☆41Updated 3 years ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated 2 years ago
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆85Updated 2 months ago
• sunblaze-ucb / Orion
  ☆30Updated 3 years ago
• noir-lang / noir_bigcurve
  ☆14Updated 2 weeks ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Updated 2 years ago
• NethermindEth / condor-rs
  Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
  ☆21Updated 4 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆87Updated last month
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆28Updated 2 years ago