Ever wondered how zkSNARKs & zkSTARKs ACTUALLY work under the hood? 🤔
Ever wondered how zkSNARKs & zkSTARKs ACTUALLY work under the hood? 🤔
🔐 These ZeroKnowledge protocols offer a novel way to PROVE computations without revealing the computation itself! 🤯
⛓️ Native match with blockchain
(a thread 🧵)
🎯 At their core, zkSNARKs & zkSTARKs provide a cryptographic OBSERVATION of a computation 🔍
🕵️ The PROVER generates the PROOF
⚖️ The VERIFIER checks the PROOF
🔒 The PROOF itself encapsulates the computation, inputs & outputs
🤯 It's like a mathematical witness!
✅ Generating the proof = Executing the computation
🔍 Verifying the proof = Checking the computation's correctness
⏰ Verification is ~CONSTANT time, regardless of computation complexity
🚀 How do you think this affects SCALABILITY? 💫
🌿 Thanks to their RECURSIVE properties, zkSNARKs & zkSTARKs enable INFINITE SCALABILITY ♾️
🧩 You can COMPRESS 1000s of proofs into a SINGLE one
⏳ Verification time remains ~CONSTANT
💰 Gas costs are SLASHED
🔥 This is the power of ZKP! 🔥
🕰️ Compared to the Ethereum EVM's Linear Verifiable Computational Model (LVCM), zkSNARKs & zkSTARKs offer a Constant one (CVCM)
⚡ Verification time: O(1) vs. O(n)
🌪️ Scalability: ♾️ vs. 📈
⛓️ Interoperability: 🌉 vs. 🚧
🌟 The implications of ZK are PROFOUND!
💡 When combined with the blockchain, zkSNARKs & zkSTARKs are disruptive:
🌍 zkLocus: geolocation RWA
🏥 zkSafeZones: Safeguarding civilians in warzones. Proposing to UN and ICRC
⚖️ Automated legal compliance on-chain
🕵️ Privacy-preserving AI systems
🛠️
🔗 Deep dive into ZKP protocols of zkSNARK/zkSTARK and how combined with the blockchain they enable a new Verifiable Computation model by providing a cryptographic observation of a computation👇
https://illya.sh/blog/posts/zksnark-zkstark-verifiable-computation-model-blockchain/