7 ms·
A Survey on Homomorphic Encryption Schemes: Theory and Implementation
- apaz037 9y agoI worked with Hiyadet, Selcuk, and Abbas last year while I was doing undergraduate research in the Florida International University Cyber Physical Systems Security Lab. Awesome to see their work getting attention! These guys all put in long hours and love what they do.
- tombert 9y agoI implemented a Paillier encryption library in Clojure a few months back (which I am currently unable to open-source due to an NDA), and in researching it, I was astounded by the elegance of some of these schemes. I really hope that HE research continues and becomes the standard in the near-ish future. Whenever I get a free couple weekends, I want to port IBM's HELib to Clojure, so that I can more easily use it for a Java project.
- modalduality 9y agoIs it easy to write timing-attack-resistant crypto code in Clojure? Sounds interesting, what company was this for? Thinking of implementing Damgard-Jurik myself sometime.
- tombert 9y agoIt was just a proof of concept thing for a hackathon, hardly industry-grade, but was quite fun to write. The crypto code was quite fun to write in Clojure; literally yesterday I just got permission to open source it. If you want to play with it, the code is available here: https://github.com/tombert/scudlib https://github.com/tombert/scudlib Since I have the ability work on it in my free time, I'll probably add more schemes.
- Y_Y 9y agoI think if anything's going to save us from a generalised AI takeover it's this. Even if encrypting the world doesn't stop them it'll make computation too slow for world domination.
- jszymborski 9y agoIf I had $$$$ to fund one scientific endeavor, it'd certainly be HE hands down. There are a million different ways we're imminently hurtling down an empty abyss, and obviously if I was an inundated Texan or a general I might be more concerned about the environmental or nuclear apocalypse, but as a programmer the Cloud apocalypse is what concerns me the most.
- ballenf 9y agoCan you help a newcomer to this understand how HE could help prevent a generalised AI takeover? If it's generalized AI that is optimizing efficiency, wouldn't it quickly realize the large gain to be made by turning off HE? Or is that not possible?
- mlevental 9y agothis is the weirdest mishmash of hot buzzwords. what does generalized AI have to do with encryption? are you imagining that generalized AI would be magically able to crack RSA or whatever?
- deleted 9y ago[deleted]
- quantdev 9y agoI'm pretty sure this guy was just making a joke about how slow computations on HE data is and you all are taking him seriously about generalized AI.
- Y_Y 9y agoI'm glad at least one person got it.
- option_greek 9y agoAre there any known PHE or FHE schemes that can run a full blown virtual machine ?
- swordswinger12 9y agoAll FHE schemes can run a full-blown virtual machine, but you might not live long enough to see Ubuntu finish booting up.
- throwaway613834 9y agoWhat are the time complexities like? Do they actually do better than "factor the RSA key, then compute the output, then re-encrypt"?
- warkdarrior 9y agoThe paper at http://www.shoup.net/papers/helib.pdf http://www.shoup.net/papers/helib.pdf should give you an idea of what goes in a HE scheme. They also report performance of multiplying two 1024x1024 matrices: 473 seconds.
- whatidonteven 9y agoAren't there MASSIVE (read: showstopper) complications when you want to use FHE for "looping" computations? I always thought FHE was only good if you can fully unroll your "fixed-length" computation, and even then you can only use each "program" once without compromising security.
- middleorigin 9y agoHmm so it doesn't work well with variable length data?
- whatidonteven 9y agoYou could say that. Every time you want to run a computation on your FHE-enabled VPS you would need to upload data proportional to the maximum number of operations in the computation. Otherwise, re-running the same computation with a different input gives away information about both of your inputs and about the computation.
- sandGorgon 9y agois one of these used by Numerai ? https://medium.com/numerai/encrypted-data-for-efficient-markets-fffbe9743ba8 https://medium.com/numerai/encrypted-data-for-efficient-mark...