Zero-knowledge proofs & zk research updates
Notes on zkSNARK and zkSTARK progress, proving systems, protocols and real-world deployments across crypto and privacy tech.
📹 Even 24/7 global video surveillance can be privacy-preserving with ZKP! 🌍
By combining zkML and verifiable computation, cameras can detect suspicious activity without storing private data 🕵️♀️
No, it's not magic. It's mathematics 🔐
🔍 Imagine a search engine that never sees your raw queries, or a social network that keeps your connections hidden 😲
With ZKP, it's not just possible, but practical! 🎉
zkLocus, powered by Mina Protocol blockchain, is turning private geolocation into reality 📍
🔍 Imagine a search engine that never sees your raw queries, or a social network that keeps your connections hidden 😲
With ZKP, it's not just possible, but practical! 🎉
zkLocus, powered by Mina Protocol blockchain, is turning private geolocation into reality 📍
🌍 With ZKPs, we can build privacy-preserving: 🏗️
- Search engines 🔍
- Social networks 👥
- E-commerce platforms 🛒
- Even 24/7 global video surveillance! 📹
All without compromising functionality, business or individual privacy 💪
🌍 With ZKPs, we can build privacy-preserving: 🏗️
- Search engines 🔍
- Social networks 👥
- E-commerce platforms 🛒
- Even 24/7 global video surveillance! 📹
All without compromising functionality, business or individual privacy 💪
🔐 ZKPs remove the need to trust third parties for privacy. 🙅♂️
Instead, we rely on mathematical guarantees 🧮
This allows us to retain full custody & control over our data while enjoying digital services 😌
🔐 ZKPs remove the need to trust third parties for privacy. 🙅♂️
Instead, we rely on mathematical guarantees 🧮
This allows us to retain full custody & control over our data while enjoying digital services 😌
🌿 Merkle Trees, MPC, and homomorphic encryption complement ZKPs. 🍃
- Merkle Trees: Efficient & private data storage 📚
- MPC: Secure multi-party computation 🤝
- Homomorphic Encryption: Computation on encrypted data 🔒
🌿 Merkle Trees, MPC, and homomorphic encryption complement ZKPs. 🍃
- Merkle Trees: Efficient & private data storage 📚
- MPC: Secure multi-party computation 🤝
- Homomorphic Encryption: Computation on encrypted data 🔒
🔐 How does Mina Protocol blockchain fit into this? 🤔
$MINA serves as the foundation for ZKP apps, thanks to its programmable zkApps 🚀
It uses recursive zkSNARKs to create proofs of arbitrary computations, thus serving as the foundation of privacy solutions 💪
It's proof of everything
🔍 Solutions like zkLocus, zkSafeZones, zkML, and zkVM leverage ZKPs for privacy🛡️
- zkLocus: Private geolocation sharing on Mina Protocol blockchain 📍
- zkSafeZones: Civilian protection in warzones 🏥
- zkML: Private machine learning 🤖
- zkVM: Verifiable computation 💻
💡 Zero-Knowledge Proofs fix digital privacy 🌅
Instead of protecting sensitive data after sharing, ZKPs enable sharing data in an inherently private manner 🔐
By turning data into computation, ZKPs abstract it to preserve privacy 🧩
🔐 How does Mina Protocol blockchain fit into this? 🤔
$MINA serves as the foundation for ZKP apps, thanks to its programmable zkApps 🚀
It uses recursive zkSNARKs to create proofs of arbitrary computations, thus serving as the foundation of privacy solutions 💪
It's proof of everything
🔍 Solutions like zkLocus, zkSafeZones, zkML, and zkVM leverage ZKPs for privacy🛡️
- zkLocus: Private geolocation sharing on Mina Protocol blockchain 📍
- zkSafeZones: Civilian protection in warzones 🏥
- zkML: Private machine learning 🤖
- zkVM: Verifiable computation 💻
💡 Zero-Knowledge Proofs fix digital privacy 🌅
Instead of protecting sensitive data after sharing, ZKPs enable sharing data in an inherently private manner 🔐
By turning data into computation, ZKPs abstract it to preserve privacy 🧩
💡 The problem with digital privacy lies not in how data is stored & shared, but what data is shared 🤔
Even with encryption, once sensitive data leaves your device, it's compromised 😱
But what if we could share data in an inherently private manner? 🤯
🚨 PRIVACY IS A MYTH! 🕵️♂️
Digital privacy is fundamentally unfeasible, unless we rely on verifiable computation constructs like Zero-Knowledge Proofs (ZKP) 🔐
A thread 🧵 on why ZKPs are the key to true digital privacy 👇
https://illya.sh/blog/posts/privacy-is-a-myth-without-zero-knowledge-proofs/
Privacy ZeroKnowledge Web3
🧩 Implementing the BRICS currency on a public blockchain reduces cost & complexity
The dynamic supply is controlled by smart contracts, while ZKPs bridge data from arbitrary sources 🌉
Demand is driven by incentives for participating in the BRICS economic network 💰
🌍 Integrating zkLocus allows associating geolocation data with each BRICS transaction while preserving user privacy 🔒
zkLocus turns geolocation into a programmable real-world asset (RWA), enabling location-based fees and taxation📍
✨ Native on MinaProtocol
🌍 Integrating zkLocus allows associating geolocation data with each BRICS transaction while preserving user privacy 🔒
zkLocus turns geolocation into a programmable real-world asset (RWA), enabling location-based fees and taxation📍
✨ Native on MinaProtocol
🔍 Let's explore how the BRICS currency can leverage these technologies:
✅ Dynamic supply mechanism via smart contracts
✅ Legal compliance on-chain using ZKPs
✅ Integration with DeFi and zkLocus for authenticated private geolocation
👉 A cryptocurrency for Web3
💡 While the original paper suggests the impossibility of realizing the BRICS currency as a cryptocurrency, we'll challenge it 🤔
A public blockchain with SmartContracts, combined with Zero-Knowledge Proofs (ZKP), provides a natural fit for the implementation 🧩
💡 While the original paper suggests the impossibility of realizing the BRICS currency as a cryptocurrency, we'll challenge it 🤔
A public blockchain with SmartContracts, combined with Zero-Knowledge Proofs (ZKP), provides a natural fit for the implementation 🧩
🌍 The BRICS digital currency aims to integrate with existing monetary systems, creating a unified economic area for member nations 🤝
Its value is algorithmically derived from various economic factors of the participating countries 📈
That's it for technical deep dive into RandoMina and its 01JS implementation on Mina Protocol blockchain ! 🤿
For more details, check out the source code and tests on GitHub. ⭐️
Feel free to ask any questions or share your thoughts! 💬
🔗 https://github.com/iluxonchik/randomina
1️⃣2️⃣ In summary, RandoMina leverages ZK proofs, $Mina's VRF `stakingEpochData.seed.value`, and a combination of network state, sender info, and local nonces to provide secure, verifiable, and infinite randomness for dAppss 🌟
1️⃣2️⃣ In summary, RandoMina leverages ZK proofs, $Mina's VRF `stakingEpochData.seed.value`, and a combination of network state, sender info, and local nonces to provide secure, verifiable, and infinite randomness for dAppss 🌟
1️⃣1️⃣ Generating a random number involves:
1. Preparing public (Network State, Sender) and private (Nonce) inputs
2. Generating a proof using `RandomNumberObservationCircuit`
3. Verifying the proof and network state with `RandoMinaContract`
Code & Tests: https://github.com/iluxonchik/randomina
6️⃣ RandoMina's smart contract, `RandoMinaContract`, verifies the computation and ensures the claimed network state matches the current epoch. ✅
It's designed to be used or integrated by other contracts needing secure randomness. 🧩
5️⃣ The Local Seed/Nonce allows generating multiple random numbers per epoch for each sender. 🎲
By varying this private nonce, an infinite number of pseudo-random numbers can be generated within a single 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 🌱
🧵 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
🎲 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! 🎉
💡 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! 🙌