Zero-knowledge proofs & zk research updates
Notes on zkSNARK and zkSTARK progress, proving systems, protocols and real-world deployments across crypto and privacy tech.
🎲 Introducing RandoMina - a protocol for provable random number generation on the Mina Protocol blockchain blockchain! 🔢🔐
🌟 Developed as part of zkLocus, RandoMina is now open-source and ready for you to explore! 🚀
🔗 GitHub: https://github.com/iluxonchik/randomina
🧵 Let's dive in! 👇
🔒 RandoMina leverages the power of Zero-Knowledge (ZK) proofs to ensure random numbers are:
✅ Provable
✅ Secure
✅ Trustless
🌐 Built on Mina Protocol blockchain, RandoMina is tamper-proof and transparent! 🙌
🎲 Introducing RandoMina - a protocol for provable random number generation on the Mina Protocol blockchain blockchain! 🔢🔐
🌟 Developed as part of zkLocus, RandoMina is now open-source and ready for you to explore! 🚀
🔗 GitHub: https://github.com/iluxonchik/randomina
🧵 Let's dive in! 👇
💡 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
🛠️
🕰️ 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!
🔗 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/
💡 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
🛠️
🕰️ 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!
🌿 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! 🔥
✅ 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? 💫
🎯 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!
🌿 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! 🔥
✅ 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? 💫
🎯 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!
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 🧵)
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 🧵)
🧠 Adapting to the ZK mindset takes time, but the rewards are IMMENSE
💡 As I discovered building zkLocus, every challenge sparks innovation
🌟 Soon, you'll be engineering groundbreaking solutions effortlessly
🚀 The future of Web3 is BRIGHT with ZeroKnowledge! 🔐🌐💻
🔐 The era of PRIVATE, VERIFIABLE, PROGRAMMABLE and TRUSTLESS computation is upon us! 👇
https://illya.sh/blog/posts/zksnark-zkstark-verifiable-computation-model-blockchain/
🔐 The era of PRIVATE, VERIFIABLE, PROGRAMMABLE and TRUSTLESS computation is upon us! 👇
https://illya.sh/blog/posts/zksnark-zkstark-verifiable-computation-model-blockchain/
🌍 But the potential of zkSNARKs & zkSTARKs goes BEYOND blockchain!
🏥 zkSafeZones: Safeguarding civilians in warzones:
⚖️ Automated on-chain legal compliance
👁️ Privacy-preserving AI surveillance
🧪 Built on zkLocus + Mina Protocol blockchain
⛑️ Proposing to UN and ICRC
🌍 But the potential of zkSNARKs & zkSTARKs goes BEYOND blockchain!
🏥 zkSafeZones: Safeguarding civilians in warzones:
⚖️ Automated on-chain legal compliance
👁️ Privacy-preserving AI surveillance
🧪 Built on zkLocus + Mina Protocol blockchain
⛑️ Proposing to UN and ICRC
⏳ Time complexity comparison: EVM vs. zkSNARKs/zkSTARKs
🧮 Execution: EVM is faster due to simple VM emulation
🔍 Verification: ZK proofs shine with constant O(1) vs. EVM's linear O(n)
💡 This is why ZK L2 solutions are BOOMING on Ethereum!
⏳ Time complexity comparison: EVM vs. zkSNARKs/zkSTARKs
🧮 Execution: EVM is faster due to simple VM emulation
🔍 Verification: ZK proofs shine with constant O(1) vs. EVM's linear O(n)
💡 This is why ZK L2 solutions are BOOMING on Ethereum!
🔍 Let's examine how zkLocus leverages Mina's zkSNARK-based architecture
🌍 Geolocation data becomes a trustless, programmable Real World Asset (RWA)
🌉 zkLocus proofs can be used cross-chain or even off-chain
🎯 It's an "app-specific rollup" on Mina, focusing on its own logic
🔍 Let's examine how zkLocus leverages Mina's zkSNARK-based architecture
🌍 Geolocation data becomes a trustless, programmable Real World Asset (RWA)
🌉 zkLocus proofs can be used cross-chain or even off-chain
🎯 It's an "app-specific rollup" on Mina, focusing on its own logic
♾️ The recursive nature of zkSNARKs & zkSTARKs enables INFINITE SCALABILITY
🌿 Imagine compressing 1000s of computations into a SINGLE proof
⏰ Verification time remains ~CONSTANT
💰 Gas costs are DRASTICALLY reduced
🔥 This is the power of ZKP! 🔥
Mina Protocol blockchain aces it 💪
🤯 The implications are MASSIVE!
🧪 Mina Protocol blockchain and it's native token $MINA operate on this architecture
📍zkLocus leverages this technology to turn geolocation into a RWA, by enabling private, verifiable and programmable geolocation sharing
🚀 zkSNARKs & zkSTARKs offer a Constant Verifiable Computational Model (CVCM)
⚡ Verification time is CONSTANT - O(1), regardless of computation complexity
💡 Contrast this with the EVM's Linear VCM (LVCM), where verification grows LINEARLY with instructions - O(n)
♾️ The recursive nature of zkSNARKs & zkSTARKs enables INFINITE SCALABILITY
🌿 Imagine compressing 1000s of computations into a SINGLE proof
⏰ Verification time remains ~CONSTANT
💰 Gas costs are DRASTICALLY reduced
🔥 This is the power of ZKP! 🔥
Mina Protocol blockchain aces it 💪
🤯 The implications are MASSIVE!
🧪 Mina Protocol blockchain and it's native token $MINA operate on this architecture
📍zkLocus leverages this technology to turn geolocation into a RWA, by enabling private, verifiable and programmable geolocation sharing
🚀 zkSNARKs & zkSTARKs offer a Constant Verifiable Computational Model (CVCM)
⚡ Verification time is CONSTANT - O(1), regardless of computation complexity
💡 Contrast this with the EVM's Linear VCM (LVCM), where verification grows LINEARLY with instructions - O(n)
🤔 What makes a computation VERIFIABLE?
✅ In zkSNARKs & zkSTARKs, provers generate proofs of computations, while verifiers check their correctness
🔒 This model supports PRIVATE inputs, unlike the EVM
🌍 It's not limited to blockchain - zkLocus showcases off-chain use cases
🤔 What makes a computation VERIFIABLE?
✅ In zkSNARKs & zkSTARKs, provers generate proofs of computations, while verifiers check their correctness
🔒 This model supports PRIVATE inputs, unlike the EVM
🌍 It's not limited to blockchain - zkLocus showcases off-chain use cases
zkSNARKs & zkSTARKs: Disrupting Verifiable Computation
Explore how these #ZeroKnowledge protocols SURPASS the #EVM's model, opening a world of possibilities for #Web3 applications
Deep dive ARTICLE
Let's unravel the key insights
zkSNARKs & zkSTARKs: Disrupting Verifiable Computation
Explore how these #ZeroKnowledge protocols SURPASS the #EVM's model, opening a world of possibilities for #Web3 applications
Deep dive ARTICLE
Let's unravel the key insights
Great idea! A use-case leveraging one of the unique value-propositions of the verifiable computational model offered by Zero-Knowledge Proofs and recursive zkSNARKs
🟢 The first battery of tests has just been launched!
🔵 Authenticated metadata commitments are coming too. This will allow for a cryptographic association between metadata and the geolocation
🟣 Such features are infeasible without the recursive zkSNARK architecture of $MINA
#DeFi only makes sense with private data. This is infeasible on Ethereum, but trivial on $MINA.
Zero-Knowledge will lead to mass adoption of #DeFi, enabling its Cambrian explosion.
Of course, you can also bridge $MINA to Ethereum. This is by design.
Big things are coming.
I'm not fanboying. Once you think deeply about it will all make sense
#ZKP #Web3
🤯 Zero-Knowledge cryptography is how the blockchain will connect to the outside world. As the ZK field matures, so will the blockchain use cases. Two computation models that were meant for each other.
#zk #blockchain #evm #crypto #mina #Bitcoin #smartcontracts
🚀 The Bitcoin Ordinal Protocol Explained: an innovation which allows for tracking, trading, and collecting digital assets on the Bitcoin network!
⚡️Powers BRC20 & SBC20
💥 Let's dive into this fascinating protocol and explore its significance Blockchain Crypto
(a thread 🧵)
