TFHE-rs: A (Practical) Handbook - First Edition
☆30Feb 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zama's Homomorphic Processing Unit implementation on FPGA☆224Jan 14, 2026Updated 3 months ago
- prove eth_call result☆15Mar 25, 2024Updated 2 years ago
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- 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
- TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.☆1,599Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Devnet for the fhEVM reference implementation☆19Sep 26, 2023Updated 2 years ago
- ☆12Apr 21, 2025Updated last year
- Aztecscan - the Aztec block explorer.☆16Updated this week
- Threshold MPC protocols for FHE☆59Feb 5, 2026Updated 2 months ago
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆14Updated this week
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆23Sep 29, 2023Updated 2 years ago
- fhevm-go is an open-source library used to easily integrate the fhEVM into an EVM-compatible blockchain.☆39Sep 13, 2024Updated last year
- Test suite for fhevm☆26May 26, 2025Updated 11 months ago
- Uncover broken links in your content using Linkspector GitHub action.☆27Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 4 years ago
- Pure C++ Ver. of TFHE.☆105Apr 1, 2026Updated 3 weeks ago
- ☆10Sep 12, 2025Updated 7 months ago
- misc☆17May 26, 2015Updated 10 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- FHE (CKKS, TFHE) end-to-end applications: HELR (logistic regression), ResNet-20, LSTM (RNN), bitonic sorting, DeepCNN-x☆18Aug 14, 2024Updated last year
- ☆22Dec 15, 2023Updated 2 years ago
- A modular library for designing and optimising homomorphic encryption schemes☆27Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Let's go https://eprint.iacr.org/2022/1763.pdf☆63May 22, 2023Updated 2 years ago
- COW implementation in Uniswap Hook☆16Sep 16, 2024Updated last year
- 上海交大软件学院课件☆19Jul 28, 2022Updated 3 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- 上海交通大学软件学院课程计算机系统基础（ICS）笔记☆15Feb 7, 2022Updated 4 years ago
- A homebrew tap☆16Feb 23, 2026Updated 2 months ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 3 years ago
- A file-sharing app providing end-to-end encryption of data.☆35Apr 10, 2026Updated 2 weeks ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Apr 6, 2026Updated 3 weeks ago
- A high performance event log as a service☆11Apr 24, 2017Updated 9 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
- ☆17Aug 11, 2025Updated 8 months ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆70Updated this week
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆74Nov 6, 2025Updated 5 months ago