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/