4 ms·
This looks very interesting! However, not being an expert on FHE, is there a way to leverage this on current RDBMS systems for example? It says the library ca
by saganus 9y ago
This looks very interesting!
However, not being an expert on FHE, is there a way to leverage this on current RDBMS systems for example?
It says the library can evaluate binary gates. If we would like to run a SQL query for example, how do we translate it to a series of gates? Is it possible?
Or is this so low level that we basically would need to build our own "processor" with binary gates and then build the rest of the stack on top of it so we can, in the end, run a query?
Can anyone shed some light on how exactly can we take advantage of this library?
- gravypod 9y agoWe could implement an idealized RISC processor in gates and "flash" it with a program..... That would be fun.
- roywiggins 9y agoAt 20ms per AND, that's 50 Hz. That's... slower than useful, surely?
- swordswinger12 9y agoFully homomorphic encryption isn't tremendously useful for database queries - you end up having to put the entire database in a massive FHE ciphertext, then expressing the query as a circuit which requires time linear in the size of the database to return a result.
- proofofstake 9y agohttps://www.youtube.com/watch?v=xsaXMUelOEA https://www.youtube.com/watch?v=xsaXMUelOEA "CryptDB: Processing Queries on an Encrypted Database - Microsoft Research"
- swordswinger12 9y agoTFHE is not even in the same galaxy as CryptDB. Comparing the two is like comparing an apple and a 2007 Honda Civic. They're polar opposite approaches to executing queries on encrypted databases.
- proofofstake 9y agoMaybe you are right. Couldn't quite gather it from your post.
- michwill 9y agoI would apply it instead of garbled circuits here https://eprint.iacr.org/2016/591 https://eprint.iacr.org/2016/591. Although slower, it feels like TFHE would provide better security against an active adversary. So, at least, simple server-side encrypted queries would well be possible
- swordswinger12 9y agoCan you explain how you would use FHE instead of garbled circuits in the Arx range query data structure? I don't see how that would work - wouldn't you have to (re-)introduce interaction to let the server learn intermediate results?