NethermindEth/condor-rs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

NethermindEth/condor-rs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/NethermindEth/condor-rs)

Close

NethermindEth / condor-rsView on GitHubMore

• External links
• Readme badge

Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust

☆22Sep 9, 2025Updated 5 months ago

Alternatives and similar repositories for condor-rs

Users that are interested in condor-rs are comparing it to the libraries listed below

• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 2 weeks ago
• lattirust / lattirust

  View on GitHub
  ☆67May 13, 2025Updated 9 months ago
• zhenfeizhang / larkworks

  View on GitHub
  a lattice lib for building snarks
  ☆21May 20, 2024Updated last year
• h-hafezi / kzh_fold

  View on GitHub
  ☆28Oct 31, 2025Updated 4 months ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• shuklaayush / zed-noir

  View on GitHub
  Noir support for Zed
  ☆11May 3, 2024Updated last year
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆23Nov 14, 2024Updated last year
• hashcloak / noir-mpc-ml

  View on GitHub
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆13Feb 17, 2025Updated last year
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• NP-Eng / ligero

  View on GitHub
  Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.
  ☆18Oct 28, 2024Updated last year
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• succinctlabs / hypercube-verifier

  View on GitHub
  ☆46Dec 10, 2025Updated 2 months ago
• zkpassport / noir_rs

  View on GitHub
  Rust crate to generate and verify proofs for Noir circuits
  ☆27Feb 18, 2026Updated 2 weeks ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• developeruche / cryptography-n-zk-research

  View on GitHub
  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…
  ☆79Feb 5, 2026Updated 3 weeks ago
• cakevm / rethdb-dexsync

  View on GitHub
  Read dex state (e.g. Uniswap) from reth db
  ☆30Oct 20, 2024Updated last year
• Lagrange-Labs / lgn-coprocessor

  View on GitHub
  Hyper-parallel ZK coprocessing.
  ☆17Aug 29, 2025Updated 6 months ago
• ligeroinc / ligero-prover

  View on GitHub
  ☆60Feb 16, 2026Updated 2 weeks ago
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• SNUCP / celpc

  View on GitHub
  Rust Code for CELPC
  ☆20Mar 28, 2025Updated 11 months ago
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆102Updated this week
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆128Sep 9, 2025Updated 5 months ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Feb 19, 2026Updated last week
• NethermindEth / latticefold

  View on GitHub
  A lattice-based non-interactive folding scheme written in Rust
  ☆124Dec 17, 2025Updated 2 months ago
• gizatechxyz / LuminAIR

  View on GitHub
  A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
  ☆54Sep 3, 2025Updated 6 months ago
• zhenfeizhang / falcon.rs

  View on GitHub
  Falcon signature and its ZKP extensions
  ☆23Jul 5, 2022Updated 3 years ago
• vuvoth / ccls

  View on GitHub
  circom language server
  ☆21Feb 22, 2026Updated last week
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• semaphore-protocol / semaphore-rs

  View on GitHub
  Semaphore v4 implemented in Rust
  ☆10Oct 7, 2025Updated 4 months ago
• defi-wonderland / aztec-private-oracle

  View on GitHub
  ☆11Mar 19, 2024Updated last year
• geometryxyz / sparkworks

  View on GitHub
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Nov 23, 2022Updated 3 years ago
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• dawedawe / tusistor

  View on GitHub
  Sources of the tusistor TUI app and the rusistor lib.
  ☆14Dec 29, 2025Updated 2 months ago
• SoraSuegami / zkboogie

  View on GitHub
  Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.
  ☆11Jun 5, 2024Updated last year
• Rate-Limiting-Nullifier / noir-rln

  View on GitHub
  RLN circuits in Noir
  ☆13Nov 18, 2023Updated 2 years ago