A backend agnostic modular FHE library over the Torus using bivariate polynomial representation
☆51Feb 24, 2026Updated last week
Alternatives and similar repositories for poulpy
Users that are interested in poulpy are comparing it to the libraries listed below
Sorting:
- A modular library for designing and optimising homomorphic encryption schemes☆25Feb 24, 2026Updated last week
- bottom text☆16Jan 26, 2024Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- ☆49Feb 12, 2026Updated 2 weeks ago
- ☆26Apr 15, 2025Updated 10 months ago
- Polycircuit is an FHE components library built via FHERMA competitions☆21Jul 10, 2025Updated 7 months ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- ☆67May 13, 2025Updated 9 months ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- ☆31Oct 27, 2025Updated 4 months ago
- ☆23Dec 8, 2025Updated 2 months ago
- ☆18Jul 16, 2025Updated 7 months ago
- ☆18Feb 16, 2026Updated 2 weeks ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- Groth16 over ICICLE☆44Jul 16, 2025Updated 7 months ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- pod2 & spec☆21Updated this week
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- ☆46Dec 10, 2025Updated 2 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆142Feb 22, 2026Updated last week
- ☆20Nov 3, 2025Updated 3 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- ☆21Aug 23, 2024Updated last year
- ☆52Oct 10, 2023Updated 2 years ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 5 months ago
- ☆41Oct 24, 2022Updated 3 years ago
- ☆60Feb 16, 2026Updated 2 weeks ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 10 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- ☆24Mar 2, 2025Updated last year
- STARK book☆20Sep 25, 2024Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- Explorations on mobile-first GPU acceleration, currently support MSM.☆28Aug 19, 2025Updated 6 months ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 2 years ago
- ☆20Dec 30, 2025Updated 2 months ago
- A collection of technical notes from the Geometry research team.☆47Apr 17, 2023Updated 2 years ago
- A verifiable supercomputer☆77Jun 26, 2025Updated 8 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago