Des chercheurs de la TU Wien à Vienne travaillent sous la direction de Georgia (Zeta) Avarikioti à une preuve formelle de sécurité du protocole Ark, un système de regroupement de transactions conçu pour améliorer l’évolutivité de Bitcoin sans que les utilisateurs renoncent à la garde de leurs fonds. Le projet, financé par AKRLabs OÜ, a produit deux documents clés : un litepaper de mars 2026 décrivant la conception du protocole et sa sécurité selon deux modèles d’opérateur (rationnel et malveillant), ainsi qu’un article arXiv de juin 2026 approfondissant les définitions formelles et les propriétés de sécurité. Deux vulnérabilités détectées dans les implémentations testnet ont été corrigées depuis. En octobre 2026, l’implémentation indépendante Bark a subi un bug ayant causé une perte de 0,75 BTC, soit environ 62 000 dollars, affectant les fonds du projet et non les actifs des clients.
Source: Lire l’article original
