⬇️ 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 💪