⬇️ My Thoughts ⬇️
4️⃣ The Sender-Specific Nonce is derived from the sender's public key, ensuring unique (pseudo)random numbers across the network. 🌍 It's computed by Poseidon-hashing the public key, adding a global uniqueness component. 🔑
3️⃣ Using `stakingEpochData.seed.value` as part of the PRNG seed ensures that random numbers are tied to the current epoch, preventing manipulation and guaranteeing freshness. 🌿
3️⃣ Using `stakingEpochData.seed.value` as part of the PRNG seed ensures that random numbers are tied to the current epoch, preventing manipulation and guaranteeing freshness. 🌿
2️⃣ To ensure freshness, RandoMina leverages $Mina's VRF (Verifiable Random Function) values, specifically `stakingEpochData.seed.value`. 🔐 This value is updated with each new staking epoch, providing a unique seed for each epoch. 📅
2️⃣ To ensure freshness, RandoMina leverages $Mina's VRF (Verifiable Random Function) values, specifically `stakingEpochData.seed.value`. 🔐 This value is updated with each new staking epoch, providing a unique seed for each epoch. 📅
1️⃣ RandoMina uses Zero-Knowledge proofs to ensure random numbers are provable, fresh, and trustless. It combines: - Network State 🌐 - Sender-Specific Nonce 🔒 - Local Seed/Nonce 🌱
1️⃣ RandoMina uses Zero-Knowledge proofs to ensure random numbers are provable, fresh, and trustless. It combines: - Network State 🌐 - Sender-Specific Nonce 🔒 - Local Seed/Nonce 🌱
🧵 Let's dive into the technical details of RandoMina: a protocol for provable random number generation on Mina Protocol blockchain blockchain written in 01JS! 🔢🔐 💡 Powering zkLocus 🔗 GitHub: https://github.com/iluxonchik/randomina/
🧵 Let's dive into the technical details of RandoMina: a protocol for provable random number generation on Mina Protocol blockchain blockchain written in 01JS! 🔢🔐 💡 Powering zkLocus 🔗 GitHub: https://github.com/iluxonchik/randomina/
🙌 RandoMina is an open-source effort to empower the $MINA community with secure, provable randomness! 💪 🤝 I welcome your feedback, contributions & ideas to iterate on this MVP! 🌟 🐦 Give zkLocus a shoutout - let's build together! 🚀 ZK ZKP Web3 Blockchain Mina
👨💻 For developers eager to dive in, the https://github.com/iluxonchik/randomina on the GitHub repo has all the juicy details! 📚 💻 Example usage 🛠️ Building instructions 🧪 Testing guide 📊 Coverage reports 🔗 Dive in here: https://github.com/iluxonchik/randomina
👨💻 For developers eager to dive in, the https://github.com/iluxonchik/randomina on the GitHub repo has all the juicy details! 📚 💻 Example usage 🛠️ Building instructions 🧪 Testing guide 📊 Coverage reports 🔗 Dive in here: https://github.com/iluxonchik/randomina
🎲 RandoMina is designed as a SmartContract in O1JS, making it easy to integrate with your zkApps & dApps! 🛠️ 🚀 Deploy it as a standalone contract or incorporate it into your custom solution 💫 🔗 https://github.com/iluxonchik/randomina
🎲 RandoMina is designed as a SmartContract in O1JS, making it easy to integrate with your zkApps & dApps! 🛠️ 🚀 Deploy it as a standalone contract or incorporate it into your custom solution 💫 🔗 https://github.com/iluxonchik/randomina
🧩 How does it work? 🌐 RandoMina cryptographically combines: 1️⃣ Network State 2️⃣ Sender-Specific Nonce 3️⃣ Local Seed/Nonce 🔢 This ensures fresh, unique & unpredictable random numbers for each user! 🎉
🧩 How does it work? 🌐 RandoMina cryptographically combines: 1️⃣ Network State 2️⃣ Sender-Specific Nonce 3️⃣ Local Seed/Nonce 🔢 This ensures fresh, unique & unpredictable random numbers for each user! 🎉
💡 RandoMina is designed for dApps requiring secure randomness! 🎲 🎰 Lotteries 🎲 Gaming 💰 DeFi 🔐 And more! Native on Mina Protocol blockchain and bridgeable to other blockchains like Ethereum
💡 RandoMina is designed for dApps requiring secure randomness! 🎲 🎰 Lotteries 🎲 Gaming 💰 DeFi 🔐 And more! Native on Mina Protocol blockchain and bridgeable to other blockchains like Ethereum
⚡ Key Features: 🔀 Provable pseudo-randomness: VRF 🔒 Fresh & Tamper-proof: ZK and Mina Protocol blockchain ⚡ Efficient & scalable: zkSNARKs 🌐 Decentralized & trustless: $MINA 🔭 Transparent & auditable: OpenSource
⚡ Key Features: 🔀 Provable pseudo-randomness: VRF 🔒 Fresh & Tamper-proof: ZK and Mina Protocol blockchain ⚡ Efficient & scalable: zkSNARKs 🌐 Decentralized & trustless: $MINA 🔭 Transparent & auditable: OpenSource
🔒 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! 🙌
🔒 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! 👇
🎲 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! 👇
🔗 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 🛠️
💡 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!
🕰️ 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! 🔥
🌿 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? 💫
✅ 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!
🎯 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 💪