
Halo 2 with Daira Hopwood and Str4d
Zero Knowledge
00:00
Recursive Proofs of Cryptocurrency
In general, you form a tree, or a directed acyclograph, a of things that you're proving. And then they can all go up to a single proof at the top. If you check that proof, and you believe in the knowledged soundness of the am the proof system, then you're effectively checking all the leaf proofs. It's almost likea, youare compressing, i mean merely as a wrong term, but yourlike information is then being reduced into one small thing that'sve that proves all f it. Yes. An interesting thing is that it doesn't have to be just one party. I'm creating this tree of Proofs so im you
Transcript
Play full episode