FHE library
☆25Apr 19, 2024Updated last year
Alternatives and similar repositories for gauss
Users that are interested in gauss are comparing it to the libraries listed below
Sorting:
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year
- ☆83Jan 7, 2025Updated last year
- ☆63Feb 10, 2026Updated last month
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Sep 30, 2024Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆89Mar 3, 2025Updated last year
- ☆32Apr 15, 2024Updated last year
- Experimental folding schemes library☆262Feb 23, 2026Updated 3 weeks ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆87Nov 21, 2025Updated 4 months ago
- Pluto Web Prover 🦀☆39Mar 18, 2025Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- ☆26Feb 25, 2024Updated 2 years ago
- Multi-party computation libraries written in Rust 🦀☆287Mar 10, 2026Updated last week
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated 9 months ago
- ☆16Feb 19, 2026Updated last month
- The schelling point for ZK applications.☆144May 2, 2024Updated last year
- ☆11May 28, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 6 months ago
- Circom AES-GCM circuits☆35Feb 12, 2026Updated last month
- Example dapp built with the Axiom SDK☆12Oct 21, 2024Updated last year
- ZKM Development Template/Framework☆30Jul 2, 2025Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Aug 5, 2024Updated last year
- ☆30Aug 10, 2023Updated 2 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆16Jan 27, 2025Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Jun 9, 2024Updated last year
- ☆98Mar 12, 2026Updated last week
- client side proving☆39Mar 12, 2025Updated last year
- ☆42Jul 25, 2024Updated last year
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆41Feb 17, 2025Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated last year
- ☆94Aug 19, 2024Updated last year
- implentation of Ligerito☆19Nov 9, 2025Updated 4 months ago
- A framework for SPDZ-style maliciously-secure MPC.☆58Dec 21, 2025Updated 3 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated 2 years ago