philsippl / circom-witness-rsView external linksLinks
☆63Feb 10, 2026Updated last week
Alternatives and similar repositories for circom-witness-rs
Users that are interested in circom-witness-rs are comparing it to the libraries listed below
Sorting:
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- The react-native wrapper for rapidsnark☆13Dec 16, 2025Updated 2 months ago
- ☆23Mar 8, 2024Updated last year
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated last year
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated last year
- FHE library☆25Apr 19, 2024Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- ☆14Dec 13, 2024Updated last year
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Client side zero-knowledge proving.☆101Feb 11, 2026Updated last week
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- Circom AES-GCM circuits☆35Updated this week
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated 11 months ago
- ☆21Feb 9, 2026Updated last week
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated 8 months ago
- ☆10Sep 15, 2023Updated 2 years ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆212Updated this week
- Making client-side ZK proving on mobile simple.☆220Feb 11, 2026Updated last week
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆58Aug 2, 2025Updated 6 months ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated last year
- ☆49Updated this week
- client side proving☆39Mar 12, 2025Updated 11 months ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 9 months ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Oct 31, 2025Updated 3 months ago
- ☆13Nov 10, 2023Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- Email verification circuit in halo2☆68Jul 3, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated last year
- ☆155Feb 26, 2024Updated last year
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆277Aug 26, 2025Updated 5 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- ☆132Dec 23, 2024Updated last year
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year