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 11 months ago
- ☆83Jan 7, 2025Updated last year
- ☆63Feb 10, 2026Updated 2 weeks ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Sep 30, 2024Updated last year
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆86Nov 21, 2025Updated 3 months ago
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated 11 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Experimental folding schemes library☆261Feb 23, 2026Updated last week
- ZKM Development Template/Framework☆30Jul 2, 2025Updated 8 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- ☆32Apr 15, 2024Updated last year
- Pluto Web Prover 🦀☆39Mar 18, 2025Updated 11 months ago
- Multi-party computation libraries written in Rust 🦀☆285Feb 13, 2026Updated 2 weeks ago
- A universal soundness calculator across hash-based zkEVMs and security regimes☆44Updated this week
- The schelling point for ZK applications.☆144May 2, 2024Updated last year
- ☆26Feb 25, 2024Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- ☆11May 28, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Jun 9, 2024Updated last year
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Bitcoin light client implementation for Near Protocol☆14Feb 12, 2026Updated 2 weeks ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Nov 24, 2021Updated 4 years ago
- Accelerate Early Stage Programmable Cryptography Talents☆113Sep 26, 2024Updated last year
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 2 weeks ago
- ☆30Aug 10, 2023Updated 2 years ago
- ☆98Feb 9, 2026Updated 3 weeks ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Feb 23, 2026Updated last week
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- ☆16Feb 19, 2026Updated last week
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆16Jan 27, 2025Updated last year
- Example dapp built with the Axiom SDK☆12Oct 21, 2024Updated last year
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated 8 months ago
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- ☆42Jul 25, 2024Updated last year
- Interfaces and utilities for Kujira cosmwasm contracts☆14Jul 20, 2024Updated last year
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 4 months ago