Eli Ben-Sasson: Zero Knowledge Proofs
Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies
00:00
Auxiliary Inputs, Private Keys
The ideal programme takes inputs, the private keys that bicg stamp has, a goes to the bitcoand block chain checks how many bit coins corresponding to these outputs it has. And then it Outputs the value of the total number of bit coins controlled by bed stamp. So the statement being proved is there exist 100 keys. There exist 100 keys, no one is revealing them, such that you know they are plugged into the signing and verification of signatures algrithem. All of them, you know, are correct, and the total sum of them is whatever, a thousand coins.
Transcript
Play full episode
