Les preuves ZK au-dela des rollups : l'inference IA verifiable sur Ethereum
Engineering Team
Ce que les preuves ZK permettent au-dela du scaling
Les preuves a connaissance nulle sont synonymes de scalabilite blockchain depuis 2021. zkSync, StarkNet, Scroll et Polygon zkEVM les utilisent pour compresser des milliers de transactions en une seule preuve verifiee sur Ethereum L1. Mais le scaling n’est que la premiere application. La veritable puissance des preuves ZK est le calcul verifiable — la capacite de prouver qu’un programme arbitraire s’est execute correctement sans le re-executer.
Ce cadrage est important : ZK n’est pas une technologie de scaling qui a accessoirement d’autres usages. ZK est une technologie de calcul verifiable a usage general qui a trouve son premier marche a grande echelle dans le scaling blockchain.
En 2026, les applications ZK les plus passionnantes ne sont pas les rollups :
- zkML — prouver qu’un modele de machine learning a produit une sortie specifique sans reveler les poids du modele
- ZK coprocesseurs — executer des calculs lourds hors chaine et poster une preuve succincte on-chain
- Credentials verifiables — prouver des attributs d’identite (age, citoyennete, score de credit) sans reveler les donnees sous-jacentes
- Protection MEV — chiffrer l’intention de transaction et prouver la validite sans reveler les details aux block builders
zkML : Inference IA verifiable
zkML — l’application des preuves a connaissance nulle a l’inference de machine learning — resout un probleme reel : comment faire confiance a la sortie d’un modele IA ?
Le probleme de confiance
Imaginez un protocole de pret DeFi utilisant un modele IA pour le scoring de credit. Trois problemes de confiance apparaissent :
- Integrite du modele — Comment l’emprunteur sait-il que le protocole utilise le modele revendique ?
- Integrite des entrees — Comment le protocole prouve-t-il qu’il a utilise les bonnes donnees on-chain ?
- Integrite de l’execution — Comment quiconque verifie-t-il que le calcul a ete fait correctement ?
Sans preuves ZK, la reponse est “faites confiance a l’operateur du protocole”. Avec zkML, la reponse devient : “verifiez la preuve.”
Comment fonctionne zkML
1. Quantification du modele : Convertir les poids flottants en virgule fixe
2. Compilation du circuit : Traduire chaque couche du reseau de neurones
en contraintes arithmetiques
3. Generation du temoin : Executer le modele avec l'entree reelle
4. Generation de la preuve : Utiliser un systeme de preuve
(Halo2, Plonky3, SP1) pour generer une preuve succincte
5. Verification : Un smart contract sur Ethereum verifie la preuve
en temps O(1)
Limites actuelles
| Taille du modele | Temps de preuve | Taille de preuve | Gas de verification | Pratique ? |
|---|---|---|---|---|
| Minuscule (100K params) | 5-30 secondes | 256 octets | ~300K gas | Oui |
| Petit (1M params) | 1-5 minutes | 256 octets | ~300K gas | Oui, taches async |
| Moyen (10M params) | 15-60 minutes | 256 octets | ~300K gas | Faisable avec GPU |
| Grand (100M+ params) | Heures a jours | 256 octets | ~300K gas | Recherche uniquement |
| Echelle LLM (1B+ params) | Impraticable | — | — | Pas encore |
Insight cle : la taille de la preuve et le cout de verification sont constants quelle que soit la taille du modele.
Cas d’utilisation zkML en production
1. Scoring de credit on-chain — Un protocole DeFi execute un modele de scoring de credit. La preuve zkML garantit l’utilisation du bon modele, des bonnes donnees et un calcul correct.
2. Moderation de contenu verifiable — Une plateforme sociale decentralisee prouve que le classificateur IA a ete applique de maniere coherente.
3. Machine learning prive — Un protocole de sante prouve qu’un modele de diagnostic a produit un resultat specifique sans reveler les donnees du patient.
ZK Coprocesseurs : Calcul hors chaine, verification on-chain
Les ZK coprocesseurs deplacent le calcul hors chaine tout en maintenant la verification on-chain.
Pourquoi pas simplement un oracle ?
| Propriete | Oracle | ZK Coprocesseur |
|---|---|---|
| Modele de confiance | Faire confiance a l’operateur | Faire confiance aux maths |
| Source de donnees | APIs externes | Etat blockchain (verifiable) |
| Calcul | Aggregation simple | Programmes arbitraires |
| Cout | Frais par requete | Gas de verification |
| Latence | Secondes | Minutes (temps de preuve) |
Projets leaders
Axiom — Premier ZK coprocesseur pour Ethereum, focalise sur les requetes d’etat historique.
Brevis — ZK coprocesseur generaliste avec calcul personnalise sur les donnees blockchain.
Lagrange — Specialise dans les preuves d’etat cross-chain.
Comparaison des systemes de preuve : SP1 vs RISC Zero vs Jolt
| Caracteristique | SP1 | RISC Zero | Jolt |
|---|---|---|---|
| ISA | RISC-V | RISC-V | RISC-V |
| Systeme de preuve | Plonky3 (STARK) | STARK + Groth16 wrapper | Lasso/Surge (sumcheck) |
| Langage | Rust | Rust | Rust |
| Gas de verification | ~270K | ~250K | ~300K |
| Vitesse de preuve | Rapide (1x) | Moyenne (1,5x plus lent) | Rapide (0,9x) |
| Acceleration GPU | Oui (CUDA) | Oui (CUDA, Metal) | Oui (CUDA) |
| Maturite | Production (2025+) | Production (2024+) | Beta (2025+) |
Questions frequentes
Quelle est la difference entre preuves ZK et ZK rollups ?
Les ZK rollups sont une application des preuves ZK. Les preuves ZK sont un outil cryptographique general pour le calcul verifiable.
Faut-il comprendre la cryptographie pour construire avec ZK ?
Avec les zkVM modernes (SP1, RISC Zero, Jolt), non. Vous ecrivez du code Rust standard.
Combien coute la verification d’une preuve ZK sur Ethereum ?
Une verification Groth16 coute environ 250-300K gas (~0,50-1,50 $ aux prix de gas typiques).
Les preuves ZK peuvent-elles garantir la securite de l’IA ?
Non. Les preuves ZK garantissent l’integrite computationnelle, pas que le modele est sur ou equitable.
Quand les preuves ZK fonctionneront-elles pour les grands modeles de langage ?
Pas en 2026. L’acceleration materielle (ASIC) pourrait rendre cela faisable pour les LLM moyens d’ici 2028-2029.