Le fondateur de ZODL : la vulnérabilité de ZEC n’est pas due à une faille dans la cryptographie de base ou dans le moteur de génération des preuves

Selon un rapport de Jinse Finance, le 5 juin, ZEC a chuté de 30 % en raison d’une faille d’émission illimitée découverte dans le pool Orchard. Josh Swihart, fondateur de ZODL, a expliqué dans un article que la vulnérabilité d’Orchard provient d’une règle particulière, laquelle, étant formulée de manière trop permissive, permet d’accepter de fausses informations tout en réussissant la vérification. Par conséquent, le moteur peut à tort considérer des transactions frauduleuses comme valides. En pratique, il aurait été possible pour quelqu’un de contrefaire du ZEC dans le pool de transactions Orchard. Cette faille provient d’une erreur dans la rédaction des règles manuelles, et non d’un défaut dans la cryptographie sous-jacente ou dans le moteur de génération de preuves. Le problème consiste donc à garantir que la faille ne réapparaisse plus, et la meilleure solution est la vérification formelle. Tachyon développe actuellement son protocole en adoptant la vérification formelle, avec un guide de règles plus concis et plus cohérent. Par rapport à Orchard, on trouve moins de cas particuliers et de détails complexes, ce qui signifie que l’ensemble du guide des règles peut être parfaitement vérifié par des preuves mathématiques. Plusieurs équipes travaillent déjà sur la vérification formelle de l’actuel circuit d’Orchard. Si la vérification aboutit, la création prochaine d’un second pool Orchard serait probablement la meilleure option avant le lancement de Tachyon. Bien que Tachyon soit plus épuré, un pool Orchard vérifié formellement pourrait constituer une transition efficace.