๐น 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/