💻 computer science

Privacy-preserving Blockchain-enabled Parametric Insurance via Remote Sensing and IoT

Cet article propose un cadre d'assurance paramétrique préservant la vie privée qui exploite la blockchain, l'IoT et des données de télédétection renforcées par des preuves à divulgation nulle de connaissance optimisées (zk-SNARKs) pour automatiser la vérification des sinistres tout en protégeant la vie privée des utilisateurs et en réduisant considérablement les coûts de gaz.

Auteurs originaux : Mingyu Hao, Keyang Qian, Sid Chi-Kin Chau

Publié 2026-05-04

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Mingyu Hao, Keyang Qian, Sid Chi-Kin Chau

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous ayez un type d'assurance spécial appelé Assurance Paramétrique. Contrairement à l'assurance traditionnelle, où vous devez attendre qu'un expert vienne chez vous, prenne des photos, discute des dégâts et remplisse des montagnes de paperasse, l'assurance paramétrique est comme un distributeur automatique.

Voici comment cela fonctionne : vous définissez une règle. Par exemple, « Si un incendie de brousse brûle plus de 50 % de mes terres, l'assurance verse automatiquement l'indemnité ». La machine vérifie un capteur public (comme un satellite) pour voir si la règle est remplie. Si le capteur dit « Oui », l'argent tombe instantanément sur votre compte. Pas de paperasse, pas d'attente.

Le Problème : La Maison de Verre
Le document explique que, bien que cela semble formidable, placer ce système sur une Blockchain (un grand livre numérique public) crée un nouveau problème. Imaginez une blockchain comme une immense maison de verre. Tout le monde peut voir à l'intérieur.

Problème de confidentialité : Si vous réclamez une assurance pour un incendie de brousse, tout le monde sur la blockchain peut voir exactement où se trouve votre maison et que vous réclamez de l'argent. C'est comme crier votre adresse et votre solde bancaire à tout le quartier.
Problème de coût : Effectuer des calculs mathématiques complexes sur la blockchain est coûteux. C'est comme payer des « frais de gaz » élevés pour chaque calcul. Vérifier une immense image satellite pour voir si un incendie s'est produit est trop lourd et trop coûteux pour que la blockchain le fasse directement.

La Solution : L'Enveloppe Magique (zk-SNARKs)
Les auteurs proposent une solution utilisant un tour de magie cryptographique appelé zk-SNARKs (Arguments Succincts Non Interactifs de Connaissance à Connaissance Zéro).

Imaginez que vous vouliez prouver à un videur que vous avez plus de 21 ans sans montrer votre carte d'identité ni révéler votre âge réel. Vous tendez au videur une Enveloppe Magique.

La Preuve : À l'intérieur de l'enveloppe se trouve une preuve mathématique qui dit : « J'ai plus de 21 ans ».
Le Secret : Le videur peut ouvrir l'enveloppe et vérifier que les mathématiques sont correctes, mais il ne peut pas voir votre carte d'identité, votre nom ou votre âge exact. Il sait simplement que l'affirmation est vraie.
La Vitesse : L'enveloppe est minuscule. Elle est beaucoup plus petite que votre véritable carte d'identité, il est donc peu coûteux et rapide de la vérifier.

Fonctionnement du Système du Document
Les auteurs ont conçu un système où :

L'Assureur définit les règles (le « distributeur automatique ») sur la blockchain.
Les Fournisseurs de Données (sociétés satellites ou capteurs IoT) prennent une photo des terres. Ils signent la photo pour prouver qu'elle est réelle, mais ils ne disent pas à la blockchain quelle terre spécifique il s'agit pour l'instant.
La Personne Assurée prend les données satellites et effectue un calcul complexe hors chaîne (en dehors de la blockchain coûteuse) pour vérifier si la règle de l'incendie est remplie.
L'Enveloppe Magique : La personne assurée crée une Preuve à Connaissance Zéro. Cette preuve dit à la blockchain : « J'ai une image satellite signée provenant d'une source de confiance, et les mathématiques prouvent qu'un incendie s'est produit sur les terres que j'ai assurées ».
- La blockchain vérifie les mathématiques.
- La blockchain vérifie que la signature est réelle.
- Crucialement : La blockchain ne voit jamais les coordonnées de localisation réelles ni les données brutes de l'image. Votre vie privée est protégée.

La Mise à Niveau « Sonic »
Le document utilise un type spécifique de technologie d'Enveloppe Magique appelé Sonic. Les auteurs ont apporté deux grandes améliorations à Sonic :

Mélanger Différentes Sources : Parfois, vous avez besoin de données provenant de deux satellites ou capteurs différents. Les auteurs ont trouvé comment combiner ces différentes « sources de confiance » en une seule Enveloppe Magique sans qu'elles aient besoin de se connaître. C'est comme avoir deux témoins différents signer un document sans jamais s'être rencontrés.
La Réduction de Gros (Vérification par Lots) : Vérifier de nombreuses preuves une par une est lent et coûteux. Les auteurs ont créé un moyen de vérifier plusieurs preuves à la fois, comme une « réduction de gros » pour la blockchain. Cela a réduit le coût de vérification de la réclamation de 80 %.

Le Test Réel : Incendies de Brousse
Pour prouver que cela fonctionne, l'équipe a construit un prototype pour l'Assurance Incendie de Brousse sur la blockchain Ethereum (une blockchain publique réelle).

Ils ont utilisé de vraies images satellites d'incendies de brousse australiens.
Ils ont calculé la « sévérité de la brûlure » (l'ampleur de l'incendie) en utilisant une formule appelée dNBR.
Ils ont généré avec succès la preuve « Enveloppe Magique » qu'un incendie s'est produit sans révéler la localisation spécifique de la ferme.
Ils l'ont vérifiée sur la blockchain pour une fraction minuscule du coût habituel (faisant passer les frais d'environ 39 $ à environ 8 $).

En Résumé
Ce document présente un moyen d'automatiser les versements d'assurance en utilisant des satellites et des contrats intelligents, mais avec une « Enveloppe Magique » qui garde vos données privées (comme votre localisation) cachées au public. Il rend également le processus suffisamment peu coûteux pour être pratique en inventant un moyen plus rapide de vérifier les mathématiques.

Résumé technique : Assurance paramétrique préservant la vie privée, propulsée par la blockchain, via la télédétection et l'Internet des objets

1. Énoncé du problème

L'assurance indemnitaire traditionnelle souffre de coûts opérationnels élevés, d'un manque de transparence, d'inefficacité et d'une défiance due aux évaluations manuelles cas par cas. Bien que l'assurance paramétrique — qui automatise les paiements sur la base d'indices vérifiables dérivés de données publiques (par exemple, l'Internet des objets, la télédétection) — offre une solution, son intégration avec la blockchain introduit deux défis critiques :

Fuite de confidentialité : La transparence inhérente à la blockchain impose que les registres de transactions et les données de traitement soient visibles publiquement. Dans le cas de l'assurance paramétrique, cela expose les données sensibles des utilisateurs (par exemple, des lieux assurés spécifiques ou des détails de sinistres) au registre public, permettant potentiellement la désanonymisation et compromettant la vie privée des utilisateurs.
Coûts de traitement élevés : L'exécution des contrats intelligents sur des plateformes comme Ethereum est mesurée par des « frais de gaz », qui augmentent avec la complexité computationnelle et l'utilisation de la mémoire. Des tâches complexes, telles que le traitement de grandes images satellites pour la détection des feux de brousse, sont prohibitivement coûteuses à exécuter directement sur la chaîne.

Les solutions existantes, telles que la pseudo-anonymité ou les blockchains permissionnées, échouent à fournir des garanties de confidentialité robustes tout en maintenant la transparence et la responsabilité requises pour une assurance décentralisée.

2. Méthodologie

Les auteurs proposent un cadre d'assurance paramétrique préservant la vie privée qui exploite les Preuves à Connaissance Zéro Succinctes (zk-SNARKs) pour permettre une vérification transparente sans révéler de données privées. Le protocole de base permet à un assuré de soumettre une preuve à connaissance zéro à un contrat intelligent sur la blockchain, attestant de la validité d'une réclamation et de l'authenticité de ses sources de données sans divulguer les entrées privées sous-jacentes.

Protocole de base : zk-SNARK Sonic étendu

Le cadre est construit sur le protocole Sonic de zk-SNARK, qui prend en charge des chaînes de référence structurées (SRS) universelles et actualisables. Les auteurs introduisent deux extensions critiques de Sonic pour répondre aux besoins spécifiques de l'assurance paramétrique :

Authentification de sources de données hétérogènes :
- Dans des scénarios réels, les données proviennent de multiples fournisseurs indépendants (par exemple, différents fournisseurs d'images satellites ou capteurs IoT) qui sont agnostiques à l'application d'assurance spécifique.
- Les auteurs étendent Sonic pour permettre à un prouveur d'intégrer des données provenant de $J$ sources indépendantes, chacune disposant de sa propre Chaîne de Référence Structurée (SRS) et de sa signature numérique.
- Le protocole vérifie que les données utilisées dans le calcul de la réclamation sont authentiques (signées par le fournisseur) et correctement intégrées dans la preuve, sans exiger que les fournisseurs de données coordonnent avec le concepteur du circuit (l'assureur). Cela prévient la collusion et assure l'impartialité des données.
Traitement efficace sur la chaîne via vérification par lots :
- Les protocoles Sonic standards nécessitent de vérifier plusieurs ouvertures de polynômes à différents points, ce qui engendre des coûts de gaz élevés en raison de multiples vérifications d'appariement.
- Les auteurs proposent un schéma d'engagement polynomial amélioré qui permet une vérification par lots. Cela permet au vérificateur de contrôler plusieurs ouvertures de polynômes simultanément avec une seule preuve, réduisant considérablement le nombre d'équations d'appariement requises sur la chaîne.

Application : Assurance paramétrique des feux de brousse

Le cadre est mis en œuvre pour l'assurance des feux de brousse, où la validité de la réclamation dépend du ratio de brûlage normalisé delta (dNBR) calculé à partir d'images satellites.

Traitement des données : Le système calcule le dNBR en utilisant les bandes infrarouge proche (NIR) et infrarouge à ondes courtes (SWIR) d'images satellites (par exemple, Sentinel-2).
Système de contraintes : La logique déterminant un « brûlage sévère » (par exemple, des pixels avec un dNBR > seuil) est encodée dans un système de contraintes impliquant des contraintes linéaires et multiplicatives.
Confidentialité de la localisation : Pour protéger le lieu assuré, le fournisseur de données signe un hachage du lieu combiné à l'engagement des données. Le contrat intelligent vérifie la signature par rapport au hachage, s'assurant que les données correspondent au bon lieu sans révéler le lieu lui-même sur la chaîne.

3. Contributions clés

Protocole zk-SNARK étendu (Sdat) : Une extension du protocole Sonic qui prend en charge la validation de données provenant de sources hétérogènes et indépendantes. Cela permet aux fournisseurs de données d'authentifier les données indépendamment de la logique de l'application, empêchant la collusion entre les sources de données et les assureurs.
Schéma de vérification par lots : Un nouveau schéma d'engagement polynomial conçu pour Sonic qui permet la vérification par lots de multiples ouvertures de polynômes. Cela réduit le coût de gaz de vérification sur la chaîne jusqu'à 80 % par rapport aux implémentations standards.
Cadre générique : Un cadre générique proposé pour l'assurance paramétrique préservant la vie privée, applicable à divers scénarios (par exemple, retard de vol, inondation) au-delà des feux de brousse.
Implémentation de preuve de concept : Un prototype fonctionnel implémenté sur la blockchain Ethereum (réseau de test Goerli) pour l'assurance des feux de brousse, utilisant des contrats intelligents Solidity pour la vérification sur la chaîne.

4. Résultats expérimentaux

Les auteurs ont mené des évaluations empiriques approfondies sur le réseau de test Ethereum en utilisant des données d'images satellites du dépôt Digital Earth Australia (DEA).

Évolutivité : Le temps de preuve évolue linéairement avec la taille de l'entrée (nombre de pixels), tandis que la taille de la preuve reste constante (environ 1,22 Ko). Le temps de vérification sur la chaîne est également constant, quelle que soit la taille de l'entrée.
Réduction des coûts de gaz :
- Le Vérificateur amélioré (utilisant la vérification par lots) a réduit les coûts de gaz de vérification d'environ 78 % par rapport au vérificateur Sonic standard.
- Le Vérificateur amélioré+ (qui stocke les éléments SRS hors chaîne et les récupère via des oracles) a atteint une réduction de 80 % des coûts de gaz.
- Plus spécifiquement, le coût de vérification d'une réclamation est passé d'environ 1,62 M de gaz (Sonic standard) à environ 0,34 M de gaz (amélioré), réduisant le coût en dollars d'environ 38,91 $ à environ 8,19 $ (sur la base des taux de 2022).
Surcharge : La taille de la Chaîne de Référence Structurée (SRS) est significative (~191 Mo) mais elle est générée une seule fois et partagée. Seul un nombre fixe d'éléments SRS est requis pour la vérification sur la chaîne.

5. Importance et revendications

L'article revendique offrir une solution pratique au compromis entre confidentialité et transparence dans l'assurance basée sur la blockchain. En utilisant les zk-SNARKs, le cadre :

Protège la vie privée des utilisateurs : Garantit que les données de réclamation sensibles (lieu, lectures spécifiques des capteurs) restent cachées au registre public tout en permettant toujours une vérification publique de la validité de la réclamation.
Assure l'intégrité des données : Valide l'authenticité des données provenant de multiples sources indépendantes, empêchant la fraude et assurant l'impartialité des données utilisées pour les paiements.
Améliore la viabilité économique : Les optimisations proposées (vérification par lots et gestion SRS hors chaîne) réduisent drastiquement les coûts computationnels (frais de gaz) associés à la vérification sur la chaîne, rendant les produits d'assurance paramétrique complexes économiquement réalisables sur des blockchains publiques comme Ethereum.

Les auteurs concluent que leur cadre démontre la faisabilité du déploiement de systèmes d'assurance automatisés préservant la vie privée sur des plateformes blockchain réelles, ouvrant la voie à une adoption plus large dans la gestion des risques financiers.