philsippl/circom-witness-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

philsippl/circom-witness-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/philsippl/circom-witness-rs)

Close

philsippl / circom-witness-rsView on GitHubMore

• External links
• Readme badge

☆63Feb 10, 2026Updated 3 weeks ago

Alternatives and similar repositories for circom-witness-rs

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

• pluto / circom-correctly-constrained

  View on GitHub
  a reference on testing and constraining circom
  ☆21Oct 2, 2024Updated last year
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆262Feb 23, 2026Updated 2 weeks ago
• iden3 / react-native-rapidsnark

  View on GitHub
  The react-native wrapper for rapidsnark
  ☆13Dec 16, 2025Updated 2 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated 2 years ago
• dmpierre / sha1-circom

  View on GitHub
  Generate a zero-knowledge proof for a SHA1 pre-image.
  ☆12Mar 29, 2024Updated last year
• nalinbhardwaj / Nova-Scotia

  View on GitHub
  Middleware to compile Circom circuits to Nova prover
  ☆244Mar 1, 2024Updated 2 years ago
• phantomzone-org / gauss

  View on GitHub
  FHE library
  ☆25Apr 19, 2024Updated last year
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• namnc / circom-2-arithc

  View on GitHub
  Circom interpreter to arithmetic circuit description
  ☆58Sep 12, 2024Updated last year
• lurk-lab / bellpepper-gadgets

  View on GitHub
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Mar 3, 2025Updated last year
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆102Mar 3, 2026Updated last week
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated 3 weeks ago
• zkemail / noir-jwt

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 3 months ago
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated last year
• iden3 / circom-witnesscalc

  View on GitHub
  ☆21Feb 19, 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
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 9 months ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• TaceoLabs / co-snarks

  View on GitHub
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆214Updated this week
• zkmopro / mopro

  View on GitHub
  Making client-side ZK proving on mobile simple.
  ☆222Mar 3, 2026Updated last week
• LBruyne / Scalable-Collaborative-zkSNARK

  View on GitHub
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Aug 2, 2025Updated 7 months ago
• lurk-lab / solidity-verifier

  View on GitHub
  Solidity implementation of Nova proving system verifier
  ☆66Mar 17, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 3 weeks ago
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• Janmajayamall / tfhe-research

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

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

  View on GitHub
  Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.
  ☆16Feb 23, 2026Updated 2 weeks ago
• zkemail / halo2-zk-email

  View on GitHub
  Email verification circuit in halo2
  ☆69Jul 3, 2024Updated last year
• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 10 months ago
• cursive-team / 2P-PSI

  View on GitHub
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Apr 16, 2024Updated last year
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated 2 years ago
• arkworks-rs / circom-compat

  View on GitHub
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆279Aug 26, 2025Updated 6 months ago
• privacy-ethereum / zkvm-ideas

  View on GitHub
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Apr 6, 2023Updated 2 years ago
• phantomzone-org / phantom-zone

  View on GitHub
  ☆132Dec 23, 2024Updated last year
• zkCert / halo2-zkcert

  View on GitHub
  Verify a chain of x509 certificates in halo2
  ☆33Nov 30, 2023Updated 2 years ago
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated 2 years ago
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year