Patrick Azzopardi

Patrick Azzopardi est CEO et cofondateur de Dowsers, une plateforme spécialisée dans la vérification formelle automatisée des smart contracts pour la finance on-chain. La vérification formelle est une discipline mathématique qui permet de prouver qu’un logiciel ne peut pas produire un ensemble défini d’événements catastrophiques, à la différence des tests conventionnels, qui peuvent détecter des bugs mais ne peuvent pas prouver leur absence. Dans le contexte de la finance on-chain, Azzopardi identifie trois propriétés que Dowsers vérifie formellement : qu’un actif numérique ne peut pas être retiré sans le consentement de son propriétaire, qu’un actif ne peut pas être bloqué à l’insu de l’utilisateur, et que les règles d’un protocole ne peuvent pas être modifiées à l’insu de l’utilisateur.

L’équipe fondatrice de Dowsers tire son expertise en vérification formelle de travaux menés sur les lignes de métro automatisées à Paris, où elle a prouvé mathématiquement que des logiciels transportant 500 millions de passagers par an, comprenant plusieurs centaines de milliers de lignes de code, ne pouvaient pas provoquer de collision. Le parcours d’Azzopardi est pour sa part ancré dans la banque d’investissement, avec une expérience antérieure comme conseiller M&A. Il travaille sur la blockchain depuis 2014, et l’idée initiale à l’origine de Dowsers était d’appliquer une expertise en vérification formelle pour sécuriser les propres investissements crypto et NFT de l’équipe grâce à une analyse fiable des smart contracts.