TFHE-rs: A (Practical) Handbook - First Edition
☆29Feb 27, 2025Updated last year
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:
- prove eth_call result☆15Mar 25, 2024Updated last year
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- Zama's Homomorphic Processing Unit implementation on FPGA☆221Jan 14, 2026Updated last month
- 🐆A lightweight, high-performance string manipulation library optimized for speed-sensitive applications.☆14Jan 6, 2026Updated 2 months ago
- ☆17Aug 11, 2025Updated 6 months ago
- 国科大研究生课程 操作系统高级教程2023年思考题☆12Dec 24, 2023Updated 2 years ago
- CNN with FHE to identify if there is a human present in a picture. It was developed using Concrete ML from Zama.☆14Feb 18, 2024Updated 2 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- ☆20Dec 30, 2025Updated 2 months ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Threshold MPC protocols for FHE☆59Feb 5, 2026Updated last month
- Pure C++ Ver. of TFHE.☆103Updated this week
- ☆10Jul 13, 2021Updated 4 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- ☆11Sep 14, 2025Updated 5 months ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- Nile plugin adding coverage reports for Cairo Smart Contracts (from Pytest test suite).☆11Nov 22, 2022Updated 3 years ago
- ☆10Sep 12, 2025Updated 5 months ago
- ☆12Nov 11, 2022Updated 3 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- ☆15Nov 18, 2024Updated last year
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated 2 months ago
- ☆12Jun 29, 2022Updated 3 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- ☆10Aug 21, 2022Updated 3 years ago
- A javascript backend for llvm. Currently in the process of joining forces with Emscripten (http://code.google.com/p/emscripten/).☆18Dec 18, 2010Updated 15 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Threshold Schnorr Signatures based on FROST in Rust☆19Dec 18, 2024Updated last year
- A homebrew tap☆16Feb 23, 2026Updated 2 weeks ago
- blog post test source code repository☆11Dec 3, 2018Updated 7 years ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- Index and overview of neuroimaging datasets for visual perception reconstruction.☆65Updated this week
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- The ZKFlow consensus protocol enables private transactions on Corda for arbitrary smart contracts using Zero Knowledge Proofs☆12Aug 28, 2023Updated 2 years ago
- Honk Verifier in Solidity☆50Feb 21, 2026Updated 2 weeks ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 4 years ago