fully-homomorphic-encryption
HElib
fully-homomorphic-encryption | HElib | |
---|---|---|
19 | 3 | |
3,455 | 3,089 | |
0.3% | 0.3% | |
7.0 | 3.5 | |
about 2 months ago | 10 months ago | |
C++ | C++ | |
Apache License 2.0 | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
fully-homomorphic-encryption
-
What are the current hot topics in type theory and static analysis?
Secure computing. This includes Fully Homomorphic Encryption AKA FHE, of which there is a language/compiler which just got released and Google's older FHE compiler. FHE is probably more "compiler" than "type system", e.g. Google's compiler works on C++. Also Security Type Systems which include Oblivious data structures and Oblivious ADTs.
-
Ask HN: Should we follow what impresses us?
I don't have any advice for you, but I do work on homomorphic encryption at Google and we have an FHE compiler project [1] (though it is likely going to change a lot in the coming year). I happen to have a math PhD, so the transition to this field was not a huge stretch, but before that I worked in supply chain optimization for data centers, and just decided this was too exciting to pass up.
[1]: https://github.com/google/fully-homomorphic-encryption/issue...
-
Spiral’s Homomorphic Encryption – Is This the Future of Privacy?
+1, and some compilers already exist to do that for you. See, e.g., Google's compiler (which I work on). https://github.com/google/fully-homomorphic-encryption
-
We’re Christian Mouchet, Jean-Philippe Bossuat, Kurt Rohloff, Nigel Smart, Pascal Paillier, Rand Hindi, Wonkyung Jung, various researchers and library developers of homomorphic encryption to answer questions about homomorphic encryption and why it’s important for the future of data privacy! AMA
Once the tools are written, you should be able to take a program written in some language foo and transpile it to a FHE version of foo. See Google's C++ to FHE-C++ transpiler. Thus, you can test/debug your application without FHE before transpiling to something that is FHE.
- Google releases C++ Transpiler for Fully Homomorphic Encryption
- Fully Homomorphic Encryption by Google
- Fully homomorphic encryption (Google GitHub)
- r/crypto - Fully Homomorphic Encryption by Google
- Fully Homomorphic Encryption (FHE)
HElib
-
The Rise of Fully Homomorphic Encryption
For clarity, let's assume the hospital stores its records in plaintext. For the pharma company, the hospital encrypts the patient records with a secret key. Now they let the pharma company run their homomorphic algorithm and send the values back. Only problem is the pharma company can not read those results without having access to the key. FHE is completely redundant in this use case - the hospital could have simply run the pharma company's SQL and audited the code and outputs.
What is FHE actually good for then? Let's imagine you are a top secret agent and you get instructions to fly to Bulgaria as a part of your mission. You have other hostile agents constantly monitoring you, trying to understand your next move. But there's a problem - to buy a plane ticket to Bulgaria you need to know the name of it's capital city. You can't just type it to Google, because these other agents have infiltrated the Google servers and see what you search (assume once you actually know the name of the capital, you somehow buy the actual ticket without "them" knowing..)
Lukcily though, CloudCorp offers a public homomorphic query service for all world capitals. This service allows you to send a query for the capital of any country over an intercepted connection, and get back the result. Even if the hostile agents had infiltrated CloudCorp and were monitoring all your comms, they would not be able know which country's capital you just queried.
How such service would be implemented is explained in good detail in this tutorial: https://github.com/homenc/HElib/tree/master/examples/BGV_cou...
P.S. The capital of Bulgaria is Sofia.
-
C++ members chaining
While I was searching for homomorphic encryption tools/libs, I stumbled upon this.
-
Fully Homomorphic Encryption by Google
FHE has been around for a while now, IBM: https://github.com/homenc/HElib and Microsoft: https://www.microsoft.com/en-us/research/project/microsoft-seal/ both have their own (much more mature) FHE implementations.
What are some alternatives?
SEAL - Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
differential-privacy - Google's differential privacy libraries.
Seal - 🦭 Video/Audio Downloader for Android, based on yt-dlp, designed with Material You
i2pd - 🛡 I2P: End-to-End encrypted and anonymous Internet
securefs - Filesystem in userspace (FUSE) with transparent authenticated encryption
monero - Monero: the secure, private, untraceable cryptocurrency
react-native-quick-crypto - ⚡️ A fast implementation of Node's `crypto` module written in C/C++ JSI
EVA - Compiler for the SEAL homomorphic encryption library
Crypto++ - free C++ class library of cryptographic schemes
libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
moebiustoolkit