Alternatives and similar repositories for poseidon

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

• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆46Updated 6 months ago
• lattirust / lattirust
  ☆63Updated 5 months ago
• zero-savvy / vimz
  ZK proofs for image authenticity
  ☆47Updated last month
• privacy-ethereum / greco
  ☆80Updated 10 months ago
• ingonyama-zk / imp1
  IMP1 - Ingonyama Mobile Prover, built with ICICLE
  ☆25Updated 3 months ago
• phantomzone-org / phantom-zone
  ☆130Updated 10 months ago
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆66Updated this week
• IrreducibleOSS / binius
  A SNARK using towers of binary fields, implemented in Rust .
  ☆125Updated 2 months ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆56Updated 3 months ago
• Swoir / Swoir
  Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.
  ☆16Updated last week
• lattice-dogs / labrador
  ☆46Updated 8 months ago
• hashcloak / noir-mpc-ml
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆13Updated 8 months ago
• HorizenLabs / poseidon2
  ☆69Updated 11 months ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆114Updated last year
• SeismicSystems / enclave
  TEE stack for Seismic
  ☆17Updated 2 weeks ago
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆56Updated 6 months ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆109Updated 2 weeks ago
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆68Updated 10 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆184Updated this week
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆83Updated last month
• han0110 / plonkish
  ☆109Updated 3 weeks ago
• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆39Updated 4 months ago
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆39Updated 8 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆79Updated last week
• succinctlabs / gnark-plonky2-verifier
  ☆104Updated last year
• NethermindEth / condor-rs
  Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
  ☆20Updated 2 months ago
• noir-lang / noir-bignum
  bignum
  ☆29Updated this week
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆27Updated last year
• developeruche / cryptography-n-zk-research
  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…
  ☆52Updated 3 months ago
• shramee / cairo_pairing
  ☆18Updated last year