Eli Ben-Sasson: Zero Knowledge Proofs
Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies
00:00
Using Zero Knowledge Proofs to Verify a Proof
To verify a proof, does that mean that the party that's verifying it haf has to have, you know, all the input data that went into that function? The answer is yes. But you could sometimes have a cryptographic reference to that input data. For instance, maybe there's a large input file that needs to be in a useb by the computation. But to make things succinct, you could run a different programme that gets only a hash of that data file. And now the execution is relevant to the hash of the file. So you could cryptographically compress inputs to make them very succinct. At the end of the day, one has to start with a particular a explicit input
Transcript
Play full episode
