
FHE and ZKPs with Sunscreen’s Ravital Solomon
Zero Knowledge
00:00
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.
Transcript
Play full episode