ZKP MOOC Lecture 2: Overview of Modern SNARK Constructions

Dan Boneh, Zero Knowledge Proofs MOOC

[@JunaidYounas-tx2cp]

is to possible to get the slides of the course?

[@lorenzogentile404]

In order to generate a proof of correct manipulation for videos too efficiently (in a similar way to what is done for images), could it make sense to generate the proof not for the whole file, but by selecting at random (in a provable way) portions of the video and then compute the proof of correct manipulation just for that subset? Then, if these random portions are kept secret and the more they are, the harder it should be for an adversary to modify the video without being detected. Still, you may need too many portions to be safe. Another approach may be combining the frames of the video in such a way that it is harder for the adversary to modify the video without being detected? Or using some hash function with homomorphism properties such that you prove manipulation operations to be valid over the hashes and imply tha same holds for the videos? Or maybe you keep the connection among the original video and the hashes using ZKP for each manipulation step?

[@suryasingh3290]

Clear as water. Thanks 🙏

[@WolzJohn]

try to catch, but this course was too hard for me

[@cecilechau7932]

Interactive vs non-interactive

[@radicalbyte]

If someone told me in 1990 that by 2020 we would have a super computer in our pocket but would also invent and spend a huge amount of resources building the dumbest and slowest computer imaginable then I'd have laughed you out of the room

[@a2m2000]

@50:29 function FU!! i'm already finding it difficult to grasp the material, and you slam me with an FU function 🤣🤣🤣🤣

[@portport]

gm