Zero-knowledge proofs & zk research updates
Notes on zkSNARK and zkSTARK progress, proving systems, protocols and real-world deployments across crypto and privacy tech.
there should be more blockchains running over mesh technologies like LoRA
this way you can keep the consensus and payments running even when internet is down
polynomial commitments (ZK) can be used to store-and-forward transactions
stablecoin issuers could intermediate the issuance process, so you don't need to get all credit institutions on-chain from the start
non-algorithmic stablecoin issuance already happens off-chain and presumes trust in a third party
this would just be faster. more liquidity
now imagine when credit institutions can tokenize new credit and allow automated stablecoin issuance backed by that credit
in practice it's code in smart contract that wraps one token with another
i created a similar project on an Ethereum hackathon ⬇️
https://github.com/iluxonchik/eth-lisbon-hackathon-23
Michael Saylor doesn't need to expose MSTR's wallets for a proof of reserves
All you need is Zero Knowledge Proof attesting that MicroStrategy has access to private key(s) holding a total of X BTC
With ZKPs - no Bitcoin addresses are exposed ✨
Google + Zero Knowledge Proofs = ❤️🔐
ZKPs will allow you to prove your age to other apps via Google Wallet - e.g. a proof that you are >18
AFAIK you'll upload your ID, Google BE verifies & signs it
Integrate with @MinaProtocol schemes & Android goes on the 22KB blockchain 😳
Each position (long and short) is subdivided into several fungible tokens, which can be traded independently
The native token support of Mina Protocol blockchain means that a smart contract encodes both: the futures agreement, and its tokenization 🪙
🔐 Smart contracts on the blockchain enable full tokenization of futures contracts
📈 Both long and short positions become tokens, representing a "promise of future asset or money"
This allows partial selling of positions, increasing liquidity, flexibility and reducing risk 💧
🚀 Exploring Tokenized Liquid Futures Contracts
A deep dive into how they can be implemented on Mina Protocol blockchain without oracles or trusted intermediaries
Covering technical aspects, use cases, and innovations of this DeFi derivative over TradFi solutions
👉 Learn more about Zero-Knowledge Proofs, their applications, and how they redefine privacy:
📍 zkLocus: https://zklocus.dev/
📖 Full article: https://illya.sh/blog/posts/privacy-is-a-myth-without-zero-knowledge-proofs/
💜 Let's build a Web3 future where privacy is the default, not an afterthought
🛡️ The result is an e-commerce platform that respects end-user privacy without sacrificing functionality 🎉
❌ There is no need to trade personal data for convenience
🙌 ZKP, Mina Protocol blockchain and zkLocus enable us to have both!
🛡️ The result is an e-commerce platform that respects end-user privacy without sacrificing functionality 🎉
❌ There is no need to trade personal data for convenience
🙌 ZKP, Mina Protocol blockchain and zkLocus enable us to have both!
🔗 The process leverages several ZKP building blocks:
⚙️ zkSNARKs for succinct, verifiable proofs
🌿 Merkle Trees for efficient data storage
🔐 Cyrptographic Commitments for data integrity
🔗 The process leverages several ZKP building blocks:
⚙️ zkSNARKs for succinct, verifiable proofs
🌿 Merkle Trees for efficient data storage
🔐 Cyrptographic Commitments for data integrity
🟣 This entire solution can be implemented on Mina Protocol blockchain! 💪
💻 $MINA's zkApps enable efficient, scalable and verifiable computation powered by zkSNARKs
📍 Combined with zkLocus for geolocation proofs, we have all of the necessary components
🟣 This entire solution can be implemented on Mina Protocol blockchain! 💪
💻 $MINA's zkApps enable efficient, scalable and verifiable computation powered by zkSNARKs
📍 Combined with zkLocus for geolocation proofs, we have all of the necessary components
🔐 Throughout this process, your name and address remain hidden from the e-commerce platform. 😌
🌍 The platform only knows a broad area, not your specific location
🪪 The processing center only gets your exact info when you choose to reveal it
🎁 Here's how zkLocus enables private shipping:
1️⃣ You creates a zkLocus proof of their location
2️⃣ Proof is associated with encrypted name & address
3️⃣ E-commerce platform gets general area, but not exact info
4️⃣ Package is sent to a processing center in the general area
5️⃣👇
🔐 How can we conceal personal info like name and address?
📍This is where zkLocus comes in!
🌍 zkLocus allows users to prove they're in a certain area without revealing exact coordinates
🏠 It's like saying "I'm somewhere in New York" without revealing your exact address
🧩 Here's how private search queries work:
1️⃣ User runs a zkML computation to abstract their query
2️⃣ The abstracted query is sent to the e-commerce platform
3️⃣ Platform returns relevant results, which are filtered locally by the user
❗️Yes, and Zero-Knowledge Proofs are the answer❗️
📜 Instead of sharing raw data, ZKP allow us to share proofs about our data
🤯 Now, you can search for products to buy without revealing your exact queries!
❗️Yes, and Zero-Knowledge Proofs are the answer❗️
📜 Instead of sharing raw data, ZKP allow us to share proofs about our data
🤯 Now, you can search for products to buy without revealing your exact queries!
💰 Wether you are online shopping on Amazon, eBay, AliExpress or any other e-commerce platform, you are sharing your personal data with them.
🤔 But does it have to be this way?
✨ Is a fully private online shopping experience possible?
🛒 E-commerce & Privacy - Myth or Reality? 🔐
💻 Online shopping without revealing your personal data?
🚀 Zero-Knowledge Proofs (ZKP), zkLocus and Mina Protocol blockchain enable just that
https://illya.sh/blog/posts/privacy-is-a-myth-without-zero-knowledge-proofs/
Here's how 🧵👇
🪄 This is just one example of what is possible with ZeroKnowledge Proofs
📚 It was taken from my article "Privacy Is A Myth. Unless You're Using Zero-Knowledge Proofs" 👇
https://illya.sh/blog/posts/privacy-is-a-myth-without-zero-knowledge-proofs/
🚨 By using Mina Protocol as a public layer for computation proofs, we create an auditable & transparent system 🕵️♀️
Anyone can verify that the cameras are operating as promised, without misusing the video data 🔍
😳 ZKP will redefine what you know about computation and privacy
📍 This is what we are doing at zkLocus, by turning geolocation into a RWA
🔗 To learn more, visit https://zklocus.dev/
🪄 This is just one example of what is possible with ZeroKnowledge Proofs
📚 It was taken from my article "Privacy Is A Myth. Unless You're Using Zero-Knowledge Proofs" 👇
https://illya.sh/blog/posts/privacy-is-a-myth-without-zero-knowledge-proofs/
🚨 By using Mina Protocol as a public layer for computation proofs, we create an auditable & transparent system 🕵️♀️
Anyone can verify that the cameras are operating as promised, without misusing the video data 🔍
📋 Here's how Mina Protocol blockchain fits into the picture:
1️⃣ zkSNARK circuits verifying camera code execution are stored on Mina
2️⃣ Commitments & ZKP circuits to the zkML model are also stored on the blockchain
3️⃣ All proofs from cameras are submitted & verified against them
📋 Here's how Mina Protocol blockchain fits into the picture:
1️⃣ zkSNARK circuits verifying camera code execution are stored on Mina
2️⃣ Commitments & ZKP circuits to the zkML model are also stored on the blockchain
3️⃣ All proofs from cameras are submitted & verified against them
🟣 Mina Protocol can implement the foundational layer 🚀
Verification keys that attest to the correct execution of the camera's code can be stored on $MINA 🔑
In practice, this involves commitments and ZKP circuits to the zkML model, thus ensuring the right one is used 🧠
🟣 Mina Protocol can implement the foundational layer 🚀
Verification keys that attest to the correct execution of the camera's code can be stored on $MINA 🔑
In practice, this involves commitments and ZKP circuits to the zkML model, thus ensuring the right one is used 🧠
🔐 zkSNARKs/zkSTARKs can be used to create ZK proofs that attest to the correct execution of the camera's code 📸
👮♀️ These proofs, representing an observation of a computation, ensure that non-suspicious video is discarded, thus preserving privacy
👉 Do not trust, verify 👈
🔐 zkSNARKs/zkSTARKs can be used to create ZK proofs that attest to the correct execution of the camera's code 📸
👮♀️ These proofs, representing an observation of a computation, ensure that non-suspicious video is discarded, thus preserving privacy
👉 Do not trust, verify 👈
🧩 Here's how a ZKP-powered surveillance system works:
1️⃣ Cameras feed live video into a zkML model
2️⃣ The model labels data as "suspicious" or "non-suspicious"
3️⃣ Only "suspicious" footage is stored & reported
4️⃣ The zkML model is public, ensuring transparency
🧩 Here's how a ZKP-powered surveillance system works:
1️⃣ Cameras feed live video into a zkML model
2️⃣ The model labels data as "suspicious" or "non-suspicious"
3️⃣ Only "suspicious" footage is stored & reported
4️⃣ The zkML model is public, ensuring transparency
🔍 The key lies in the verifiable computation model of Zero-Knowledge Proofs 🔑
Instead of trusting third-parties not to misuse data, we rely on cryptographic proofs to ensure privacy 💪
It's not about faith, but rather mathematical certainty 🧮
🔗 https://illya.sh/blog/posts/zksnark-zkstark-verifiable-computation-model-blockchain/
📹 Imagine a global network of video cameras, monitoring every corner, every alley, even inside your home 🏠
Sounds like a privacy nightmare, right? 😨
Not necessarily! 😮
With ZKP, we can mathematically guarantee that private data is never stored or shared! 🔐
🌍 Imagine 24/7 global video surveillance that doesn't compromise privacy
🤯 Sounds impossible?
😎 Zero-Knowledge Proofs disagree
Here's why 🧵👇
🔍 The key lies in the verifiable computation model of Zero-Knowledge Proofs 🔑
Instead of trusting third-parties not to misuse data, we rely on cryptographic proofs to ensure privacy 💪
It's not about faith, but rather mathematical certainty 🧮
🔗 https://illya.sh/blog/posts/zksnark-zkstark-verifiable-computation-model-blockchain/
📹 Imagine a global network of video cameras, monitoring every corner, every alley, even inside your home 🏠
Sounds like a privacy nightmare, right? 😨
Not necessarily! 😮
With ZKP, we can mathematically guarantee that private data is never stored or shared! 🔐
👉 Learn more about ZKPs & privacy:
- zkLocus: https://zklocus.dev/
- zkSafeZones: https://zklocus.dev/zkSafeZones/
- Full article: https://illya.sh/blog/posts/privacy-is-a-myth-without-zero-knowledge-proofs/
Let's make privacy the default, not an afterthought 🌟
🗣️ Privacy is a fundamental human right, and digital privacy is not an exception 📜
With Mina Protocol blockchain and ZKP solutions like zkLocus, we can build a future where privacy is the default 🙌
As the Web3 community, this is our mission & responsibility 💪
🗣️ Privacy is a fundamental human right, and digital privacy is not an exception 📜
With Mina Protocol blockchain and ZKP solutions like zkLocus, we can build a future where privacy is the default 🙌
As the Web3 community, this is our mission & responsibility 💪
📹 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 🔐