Fully Homomorphic Encryption and risc zero #714
Replies: 9 comments
-
I tried many rust FHE libraries, but none of them worked, is my approach wrong? Are there any successful projects? |
Beta Was this translation helpful? Give feedback.
-
It looks like this one uses the risc zero zkvm. https://github.com/emilianobonassi/zkFHE Aside from this we are not aware of any FHE projects that use risc zero or an FHE library that runs on risc zero |
Beta Was this translation helpful? Give feedback.
-
I saw this project, but it seems that it only supports addition, not full homomorphic encryption |
Beta Was this translation helpful? Give feedback.
-
Thanks, @SchmErik for mentioning it. @Guangguang888 I'm happy to see someone else trying zk FHE. I've been using addition only HE but originally wanted to go for https://github.com/zama-ai/tfhe-rs which supports FHE. The current challenges (not actively working on that) are:
Using my latest version of risc0 you are just facing 3. but would be best to rebase to the latest official version and start from there. For the logic, just split client key generation in the host and server manipulation in the guest/methods. Useful docs here https://docs.zama.ai/tfhe-rs/boolean/tutorial Happy to support/build together @Guangguang888 Arm yourself with a lot of patience because testing requires a few mins every run :D PS: it would be nice if risc0 or zama would provide some grant on that to prioritize/incentivize this work |
Beta Was this translation helpful? Give feedback.
-
Thank you very much for your reply. |
Beta Was this translation helpful? Give feedback.
-
Do you mean it is feasible to combine tfhe-rs and risc zero? By using a suitable version and considering the issue of tfhe key size. |
Beta Was this translation helpful? Give feedback.
-
Frankly, I don’t know. My objective with the PoC was to test it and see in the case the margins for optimization. |
Beta Was this translation helpful? Give feedback.
-
That's pretty big. I don't know much about FHE but is the key a single key or are there different components to the key? In other words, do you need all of the key at once or are you ok taking parts of the key? |
Beta Was this translation helpful? Give feedback.
-
Idk, i’ve been using as a blackbox. btw, relevant update just 1hr ago which reduces considerably the size for the key. |
Beta Was this translation helpful? Give feedback.
-
I want to combine risc zero and FHE, but I haven't found a suitable fully homomorphic encryption tool yet. Do you know whichcan be combined with risc zero?
Beta Was this translation helpful? Give feedback.
All reactions