Proof of Solvency with Kostas Chalkias
Zero Knowledge
00:00
Zero Knowledge Proof Schemes
You're using CKPs so that you can create this proof of liability without revealing everyone's account. So it's more for the privacy here that you're using. Well, this was one of the first reasons that it was proposed. But obviously you can also use it KP for compression. Compression is not a problem here. And then what you need for zero knowledge proofs, okay, I can build a zero knowledge proof scheme that I take the miracle tree. What I do is I blind the balances and then I use homomorphic encryption up to the root. You don't need FHE in practice, right? Even partial for morphic encryption works because you just need addition. Here,
Transcript
Play full episode
