Buterin révèle comment les preuves à divulgation nulle de connaissance pourraient révolutionner les algorithmes sociaux

Vitalik Buterin, le cofondateur d'Ethereum, vient de lancer une proposition qui pourrait fissurer le modèle opaque des réseaux sociaux. Son idée ? Injecter des preuves à divulgation nulle de connaissance (ZK-proofs) directement dans le cœur de leurs algorithmes de recommandation.

Le problème qu'il cible

Actuellement, les plateformes fonctionnent comme des boîtes noires. Elles collectent vos données, les traitent avec des algorithmes secrets, et vous servent un flux de contenu. Vous n'avez aucun moyen de vérifier pourquoi vous voyez tel post plutôt qu'un autre, ou si les règles du jeu sont équitables. C'est un système basé sur la confiance aveugle – une notion que la crypto cherche justement à démanteler.

La solution ZK

Les preuves ZK permettraient à un algorithme de prouver, sans révéler ses secrets internes, qu'il a bien suivi un ensemble de règles prédéfinies et transparentes. Imaginez : le fil d'actualité de votre réseau social pourrait être accompagné d'une petite preuve cryptographique attestant qu'aucune manipulation cachée, aucun biais non déclaré n'a influencé son classement. C'est l'auditabilité, sans sacrifier le secret commercial.

Un changement de paradigme

Cette approche ne se contente pas d'ajouter une couche de confidentialité ; elle inverse la logique de pouvoir. Elle force les plateformes à rendre des comptes sur leur fonctionnement le plus critique, tout en protégeant leurs précieux algorithmes. C'est un équilibre délicat entre transparence et propriété intellectuelle, rendu possible uniquement par la cryptographie avancée.

Les implications vont bien au-delà du simple 'feed'. On parle de modération de contenu vérifiable, de publicité équitable, et même de systèmes de gouvernance communautaire où les votes sont comptés de manière prouvable. C'est l'infrastructure pour un web social où l'utilisateur n'est plus un produit passif, mais un participant vérifié.

Bien sûr, dans le monde de la finance traditionnelle, on vous dirait qu'auditer chaque transaction en temps réel est 'trop coûteux' et 'nuisible à l'innovation' – les mêmes arguments utilisés pour éviter la transparence des frais cachés. Buterin, lui, propose simplement de coder l'intégrité.

La balle est maintenant dans le camp des géants de la tech. Adopteront-ils cet outil pour construire une confiance réelle, ou continueront-ils à préférer l'opacité rentable de leurs jardins clos ? La proposition est sur la table. La cryptographie, elle, est déjà prête.

Les preuves à divulgation nulle de connaissance comme outil de responsabilisation des algorithmes

Selon la proposition de Buterin, les plateformes produiraient des preuves cryptographiques attestant que les résultats algorithmiques sont conformes aux objectifs prédéfinis. Il suggérait d'enregistrer la date de création du contenu et l'horodatage des interactions grâce à la blockchain afin de minimiser les risques de censure, de suppression ou de manipulation a posteriori du contenu. 

J'irais plus loin. Il faudrait prouver ZK pour chaque décision prise par l'algorithme (idéalement en horodatant le contenu et les mentions « J'aime »/« Retweets » sur la blockchain afin que le serveur ne puisse ni censurer ni falsifier l'heure), et s'engager à publier l'intégralité du code de l'algorithme avec un délai de 1 à 2 ans.

— vitalik.eth (@VitalikButerin) 15 décembre 2025

Pour apaiser les inquiétudes concernant la propriété intellectuelle et la sécurité du système, Buterin a suggéré que le code complet de l'algorithme ne soit pas publié immédiatement, mais plutôt après un délai d'un à deux ans.

Le débat a pris de l'ampleur suite aux déclarations publiques de Buterin concernant ce qu'il a qualifié d'attaques coordonnées contre l'Europe sur les réseaux sociaux. Dans des échanges ultérieurs, il a averti que le fait de permettre à une plateforme de devenir un symbole de la liberté d'expression mondiale, tout en l'ouvrant à un harcèlement coordonné à grande échelle, pourrait engendrer un rejet durable du débat public.

Le débat plus large a également mis en lumière les inquiétudes liées à l'amplification automatisée. Les participants ont souligné le potentiel des réseaux de bots pilotés par l'IA à générer d'importants volumes d'interactions artificielles, suggérant qu'une plus grande prise de parole est souvent insuffisante pour contrer les discours nuisibles.

Combinaison des preuves ZK avec d'autres systèmes cryptographiques

En plus des algorithmes sociaux, Buterin a proposé de placer des preuves à divulgation nulle de connaissance au-dessus d'autres algorithmes cryptographiques, tels que le calcul multipartite (MPC), le chiffrement entièrement homomorphe (FHE) et les environnements d'exécution de confiance (TEE).

Parmi ces applications, il a notamment souligné les systèmes de vote, où la résistance à la coercition et le respect de la vie privée sont primordiaux pour la sécurité des participants à la gouvernance basée sur la blockchain. Afin de garantir la sécurité des décideurs, les communautés blockchain ont déjà étudié les de vote basés sur ZK , qui gagnent en popularité auprès des personnes soucieuses de la protection de la vie privée. Cette architecture multicouche devrait réduire les risques liés à une mise en œuvre isolée des outils cryptographiques.

Adoption, progrès technique et risques persistants

L'adoption de la technologie de preuve à divulgation nulle de connaissance (ZK) a été massive. En 2025, la valeur totale bloquée dans les protocoles basés sur la ZK dépassait 28 milliards de dollars. Les systèmes de collecte de données ZK ont également été utilisés par de grandes institutions, telles que Goldman Sachs, Sony et Deutsche Bank, pour sécuriser les transactions, vérifier les nft et mener des opérations de conformité.

Plus de 100 milliards de dollars de transactions utilisant des stablecoins sont actuellement effectués sur les ZK rollups, une part importante étant représentée par les stablecoins usdt et USDC.

Techniquement, l'ensemble des protocoles écrits par Buterin, connus sous le nom de codes de protocole GKR, a rendu la vérification des calculs complexes plus efficace, permettant ainsi à des utilisateurs ordinaires d'exécuter des nœuds complets à l'aide de matériel standard.

Si vous lisez ceci, vous êtes déjà en avance. Restez informés grâce à notre newsletter .