Profile Picture
Illya Gerasymchuk
Entrepreneur / Engineer

๐ŸŒ Imagine 24/7 global video surveillance that doesn't compromise privacy

๐ŸŒ Imagine 24/7 global video surveillance that doesn't compromise privacy ๐Ÿคฏ Sounds impossible? ๐Ÿ˜Ž Zero-Knowledge Proofs disagree Here's why ๐Ÿงต๐Ÿ‘‡

Thread Image

๐Ÿ“น Imagine a global network of video cameras, monitoring every corner, every alley, even inside your home ๐Ÿ  Sounds like a privacy nightmare, right? ๐Ÿ˜จ Not necessarily! ๐Ÿ˜ฎ With ZKP, we can mathematically guarantee that private data is never stored or shared! ๐Ÿ”

๐Ÿ” The key lies in the verifiable computation model of Zero-Knowledge Proofs ๐Ÿ”‘ Instead of trusting third-parties not to misuse data, we rely on cryptographic proofs to ensure privacy ๐Ÿ’ช It's not about faith, but rather mathematical certainty ๐Ÿงฎ ๐Ÿ”— https://illya.sh/blog/posts/zksnark-zkstark-verifiable-computation-model-blockchain/

๐Ÿงฉ Here's how a ZKP-powered surveillance system works: 1๏ธโƒฃ Cameras feed live video into a zkML model 2๏ธโƒฃ The model labels data as "suspicious" or "non-suspicious" 3๏ธโƒฃ Only "suspicious" footage is stored & reported 4๏ธโƒฃ The zkML model is public, ensuring transparency

๐Ÿ” zkSNARKs/zkSTARKs can be used to create ZK proofs that attest to the correct execution of the camera's code ๐Ÿ“ธ ๐Ÿ‘ฎโ€โ™€๏ธ These proofs, representing an observation of a computation, ensure that non-suspicious video is discarded, thus preserving privacy ๐Ÿ‘‰ Do not trust, verify ๐Ÿ‘ˆ

๐ŸŸฃ Mina Protocol can implement the foundational layer ๐Ÿš€ Verification keys that attest to the correct execution of the camera's code can be stored on $MINA ๐Ÿ”‘ In practice, this involves commitments and ZKP circuits to the zkML model, thus ensuring the right one is used ๐Ÿง 

๐Ÿ“‹ Here's how Mina Protocol blockchain fits into the picture: 1๏ธโƒฃ zkSNARK circuits verifying camera code execution are stored on Mina 2๏ธโƒฃ Commitments & ZKP circuits to the zkML model are also stored on the blockchain 3๏ธโƒฃ All proofs from cameras are submitted & verified against them

๐Ÿšจ By using Mina Protocol as a public layer for computation proofs, we create an auditable & transparent system ๐Ÿ•ต๏ธโ€โ™€๏ธ Anyone can verify that the cameras are operating as promised, without misusing the video data ๐Ÿ”

๐Ÿช„ This is just one example of what is possible with ZeroKnowledge Proofs ๐Ÿ“š It was taken from my article "Privacy Is A Myth. Unless You're Using Zero-Knowledge Proofs" ๐Ÿ‘‡ https://illya.sh/blog/posts/privacy-is-a-myth-without-zero-knowledge-proofs/

๐Ÿ˜ณ ZKP will redefine what you know about computation and privacy ๐Ÿ“ This is what we are doing at zkLocus, by turning geolocation into a RWA ๐Ÿ”— To learn more, visit https://zklocus.dev/

๐Ÿ’ฌ