zama-ai / tfhe-rs-handbookLinks
TFHE-rs: A (Practical) Handbook - First Edition
☆18Updated 4 months ago
Alternatives and similar repositories for tfhe-rs-handbook
Users that are interested in tfhe-rs-handbook are comparing it to the libraries listed below
Sorting:
- ☆17Updated 2 months ago
- ☆40Updated 4 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- ☆18Updated 7 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆49Updated 4 months ago
- Rust Code for CELPC☆20Updated 3 months ago
- Solves systems of polynomial equations.☆29Updated last year
- ☆14Updated 2 months ago
- A ZKP-augmented fork of the OpenFHE library☆17Updated 11 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆32Updated 8 months ago
- Polycircuit is an FHE components library built via FHERMA competitions☆19Updated 6 months ago
- Experiments with Universal Composability in EasyCrypt☆34Updated last week
- ☆48Updated last month
- ☆10Updated last year
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- ☆41Updated 2 weeks ago
- Formally Verified Arguments of Knowledge in Lean☆81Updated this week
- Verifiable FHE prototype☆24Updated 10 months ago
- ☆28Updated 2 weeks ago
- ☆10Updated last year
- The instance generator of the Vision and Rescue block ciphers.☆16Updated 3 years ago
- Zama's Homomorphic Processing Unit implementation on FPGA☆76Updated 3 weeks ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- deprecated, use Verified-zkEVM repository instead☆19Updated 5 months ago
- Threshold MPC protocols for FHE☆39Updated 2 weeks ago
- ECFFT in Rust☆58Updated last year
- ☆80Updated 3 weeks ago
- spqlios arithmetic library for FHE and post-quantum crypto☆19Updated 10 months ago
- LaTeX package to Do The Right Thing☆13Updated 3 years ago
- Prototyping library for lattice-based cryptography.☆21Updated last month