Alors que les réseaux de type DePIN transforment la manière dont certaines infrastructures sont mises en place, ils rencontrent un obstacle majeur : garantir l’intégrité et la fiabilité de leurs opérations.
La bonne nouvelle est que les preuves à connaissance nulle (ZKP) émergent comme une solution puissante.
Le Défi de la Vérification
Les DePIN dépendent de divers types de vérifications pour leurs opérations quotidiennes. Qu’il s’agisse de confirmer la capacité de performance, la localisation, ou de valider les services réellement fournis et l’exactitude des calculs, une vérification fiable est cruciale pour le bon fonctionnement et la confiance envers les DePIN. Conscients de cette nécessité, nous avons publié le Manuel de Vérification des DePIN au sein du réseau ZKP peer-to-peer NovaNet, afin de couvrir l’éventail des exigences de vérification.
Les conséquences d’une vérification insuffisante peuvent être graves. En l’absence de contrôles rigoureux, des nœuds ou des prestataires de services peuvent recevoir des paiements sur de fausses bases. Les réseaux peuvent devenir vulnérables à des abus, et les utilisateurs risquent d’adopter des plateformes peu performantes ou instables.
Plus tôt cette année, des fraudeurs ont envoyé de fausses données de disponibilité à IO.net pour obtenir des récompenses, en falsifiant l’existence de 1,8 million de GPU. Actuellement, les GPU non vérifiés sur IO.net dépassent les GPU vérifiés par plus de trois à un, ce qui reflète probablement un défi à l’échelle de l’industrie.
Méthodes de Vérification Actuelles
Malheureusement, les méthodes de vérification existantes pour les DePIN sont souvent jugées insuffisantes.
De nombreuses méthodes de vérification manquent de précision, comme en témoigne la menace persistante de falsification des GPU, des emplacements et d’autres données. De plus, la surveillance des acteurs malveillants à l’aide de listes noires communautaires et de l’application des conditions d’utilisation présente ses limites.
Les méthodes de vérification actuelles ne sont pas totalement sans confiance, ce qui compromet l’éthique des DePIN. Certaines méthodes s’avèrent également trop coûteuses. Par exemple, les DePIN doivent souvent rémunérer des validateurs dont le seul rôle est de répéter ou de vérifier le travail déjà effectué par les nœuds de service. Cela peut également ralentir les DePIN en nécessitant des opérations supplémentaires.
La préservation de la vie privée est une autre préoccupation majeure en matière de vérification des DePIN. Chaque fois que des données sont mises sur une blockchain ou envoyées à un validateur pour vérification, ces données ne restent plus privées.
Les Preuves à Connaissance Nulle : Une Solution Innovante
C’est ici que les preuves à connaissance nulle interviennent. Les ZKP de nouvelle génération ne représentent pas seulement une amélioration, mais souvent le seul moyen viable d’assurer une vérification robuste pour les DePIN tout en maintenant rapidité, efficacité, décentralisation et confidentialité.
Les ZKP permettent à un prouveur de démontrer la véracité d’une affirmation à un vérificateur avec une certitude quasi absolue, sans révéler d’informations supplémentaires au-delà de la validité de l’affirmation elle-même. Contrairement à une méthode de vérification traditionnelle qui nécessite l’accès à des données confidentielles pour vérifier si un nœud DePIN respecte les exigences du réseau, les ZKP utilisent des méthodes cryptographiques qui vérifient si des conditions spécifiques ont été remplies sans révéler comment cette condition a été satisfaite.
Pour les DePIN, cela signifie que les participants au réseau peuvent prouver qu’ils respectent les règles et fournissent les services qu’ils prétendent offrir, sans compromettre des données sensibles.
Génération des Preuves sur les Appareils
Pour préserver véritablement la confidentialité, les ZKP doivent être générées localement sur les appareils DePIN ou les réseaux qui fournissent des services. L’envoi de données à des nœuds validateurs ou à un système de prouveur distinct prive les ZKP de leur propriété de « zéro connaissance ».
Idéalement, les preuves devraient être générées sur des capteurs, des dispositifs de suivi de localisation, des nœuds de calcul et d’autres appareils. La génération locale des preuves garantit que les données de preuve restent entre les mains des participants du réseau et ne centralisent pas les opérations, ce qui est en accord avec les principes fondamentaux des réseaux. La vérification des preuves peut se faire localement, sur des réseaux cloud ou sur la chaîne, selon la structure du réseau.
Les ZKP doivent être très efficaces en mémoire pour être générées localement tout en préservant la confidentialité. Heureusement, les innovations récentes dans la conception des ZKP permettent une génération de preuves hautement efficace. Par exemple, les schémas de pliage permettent de décomposer la génération de preuves en petites étapes adaptées à la génération locale.
Cependant, les ZKP efficaces en mémoire ont été négligées par l’industrie en raison de son attention portée à l’évolutivité d’Ethereum. Chez NovaNet, en revanche, l’efficacité mémoire est au cœur de notre technologie, permettant la génération de preuves dans des environnements contraints tels que les navigateurs et les appareils grand public. En conséquence, le réseau de prouveurs fonctionne de manière peer-to-peer sans ajouter de centralisation aux DePIN.
Vers l’Avenir
À mesure que les DePIN continuent de croître et d’évoluer, l’adoption des preuves à connaissance nulle pour la vérification deviendra probablement non seulement un avantage, mais une nécessité. Les réseaux qui adopteront cette technologie seront mieux positionnés pour offrir des services fiables, efficaces et véritablement décentralisés tout en protégeant la vie privée de leurs utilisateurs et fournisseurs.