FHE and ZKPs with Sunscreen’s Ravital Solomon
Zero Knowledge
How to Combine ZKP and FHE Encrypted Data
The difficulty here is about proving that you have a well-formed ciphertext. If we try to turn it into a circuit using many of the current ZKs Snarks, you end up with things with millions and millions of dates. So the performance is really bad. You need either a lattice-based proof system, which will allow you to more efficiently prove things about lattices,. Or you need to find some sort of clever hack of how might you connect a lattice encryption scheme with some non-lattice-basedProof system.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
