And lately, there has been a surge of interest in zk-SNARK enabled machine learning (ZK-ML) systems in the space.
You know it's serious stuff when Ethereum Foundation itself releases a video on that topic.
Have a look:
Why the need for ZK-ML? 👇
When using supervised machine learning, inputs are given to a model that has already been trained with specific parameters.
The model then produces an output that can be used by other systems.
Thanks to lightweight ML frameworks and formats like ONNX, it’s now possible to run these inferences on edge devices like phones or IoT devices, rather than sending the input data to centralized servers.
This improves both scalability and privacy for the users.
But what if:
→ We want to keep the input & parameters of ML models private?
→ The ML final user wants to verify that the input is trustworthy?
That's where Machine Learning X zkSNARK combination comes into play 👇
3 examples of how zk-SNARKs can be used for Machine Learning models:
→ Privacy-preserving machine learning
→ Verifiable machine learning
→ Secure machine learning
1/ PRIVACY-PRESERVING ML
🔹Zk-SNARKs can be used to train a ML model on private data without revealing that data to the model’s creators or users.
🔹Keyword: PRIVACY PRESERVATION
🔹Applications: sensitive/regulated industries (healthcare or finance...)
2/ VERIFIABLE ML
🔹Zk-SNARKs can be used to prove that a ML model was trained on a specific dataset, without revealing the details.
🔹Keyword: ML TRUST
🔹Applications: credit scoring, medical diagnosis
3/ SECURE ML
🔹Zk-SNARKs can be used to protect the integrity of ML models by ensuring that the model has not been tampered with/replaced with a different model.
🔹Keyword: ML SECURITY
🔹Applications: untrusted environments, such as edge devices or public clouds
What can be concrete USE CASES?
Leveraging ZK-ML oracles allows a simpler, faster & more efficient way to transfer offchain data to the blockchain.
ZK-ML could enable "smart judges" to interpret ambiguous events.
This will open the door to an unthinkable amount of use cases 👇
Non exhaustive ZK-ML use case list:
🔹ZK KYC: Person's identity X ID matching verification
🔹Fraud checks: ZK-ML fraud spam check for unusual behaviour
🔹Making DAOs Autonomous: enabling more efficient & accurate decision making, assessments & communication systems
CHALLENGES
ZK-ML integration is still very early stage. As a young technology, it faces many challenges:
🔹Regulatory
🔹ML private data (or model parameters) transparency
🔹ML models opacity/misbehavior
🔹Etc.
Comprehensive 101 guide about tokenomics: 1. Supply: Emissions, Inflation, and Distribution 2. Demand: ROI, Memes, and Game Theory 3. Tokenomics in Practice: Evaluating a Project
Thread structure: 1. zk proofs in a nutshell 2. Rollups in a nutshell 3. zk vs OP 4. zk game-changing specs #1, #2 and #3 5. zk drawbacks 6. 5 hot zk projects
2/12
1/ zk proofs in a nutshell (1)
A zero-knowledge proof is a way of proving the validity of a statement without revealing the statement itself.
The "prover" tries to prove a claim, while the "verifier" is responsible for validating that claim.
1. This thread is for educational purpose only. NFA, DYOR 2. This is a pure research thread: we don't hold any $AZERO token neither are invested in this project 3. Improve your #DYOR game. Have a look at our free template below!
This thread will be organized by L2 typology: 0. Understanding the difference between OP and ZK rollups 1. Upcoming OP rollups 2. Upcoming ZK rollups 3. Upcoming modulars 4. Others
Let's go 👇
0. OP vs ZK rollups (1)
The core difference between OP and ZK rollups is:
→ OP rollups assume that the transaction batches are legitimate,
→ ZK rollups need cryptographic validation (zero-knowledge proofs) for it.
See the sum up table below (credits to Blockchain Council)
1. This thread is for educational purpose only. NFA, DYOR 2. This is a pure research thread: We don't hold any $CHNG token neither are invested in this project 3. Have a look at our #DYOR template below!