Utiliser Bitcoin pour arbitrer les litiges sur des calculs externes

0
0

Dans un article publié le 1er novembre 2026, le chercheur Sergio Demian Lerner présente une méthode permettant de vérifier sur Bitcoin des données et des calculs réalisés en dehors de la blockchain.

Publier le hash d’un document dans une transaction Bitcoin permet déjà de prouver qu’on en connaissait le contenu à une date donnée. Le travail de Lerner va plus loin : il cherche à permettre à des tiers de contester une affirmation liée à ces données, sans avoir à refaire l’ensemble du calcul.

Son système repose sur une idée simple : un opérateur publie un résultat et les éléments cryptographiques qui permettent de le vérifier. Si quelqu’un soupçonne une erreur, il peut déclencher une contestation. Le mécanisme permet alors d’examiner précisément l’étape litigieuse et de demander les seules données nécessaires pour la contrôler.

Lerner présente notamment l’exemple d’un système de paiement secondaire traitant des lots de 512 transferts. L’opérateur peut publier une affirmation concernant chaque lot pour environ 12 200 vbytes. En cas de désaccord, le mécanisme proposé permet de faire vérifier le calcul contesté directement sur Bitcoin, sans devoir reprendre les 512 transferts un par un.

La mise en œuvre de cette méthode nécessite toutefois un logiciel spécifique, chargé de préparer les données, de produire les preuves et de gérer les éventuelles contestations. Lerner fournit une implémentation de référence dans le dépôt FlatMerkle sur GitHub. Il ne s’agit pas encore d’un outil prêt à l’emploi pour le grand public.

Cette approche pourrait notamment intéresser les systèmes de seconde couche, les ponts entre blockchains ou les services qui s’appuient sur des calculs effectués hors chaîne. Le chercheur évoque également la possibilité de vérifier des preuves STARK de cette manière.

Le papier décrit plusieurs mécanismes de contestation, mais certaines parties restent à développer. Il ne s’agit donc pas d’une solution complète immédiatement déployable, ni d’une modification du protocole Bitcoin. La méthode la moins coûteuse utilise par ailleurs l’annexe Taproot, qui n’est actuellement pas relayée par Bitcoin Core.

L’objectif est de faire de Bitcoin un arbitre capable de trancher certains désaccords sur des calculs réalisés ailleurs, en limitant au maximum les données et les opérations nécessaires sur la blockchain.

Source : https://eprint.iacr.asia/2026/2717.pdf