Patrick Azzopardi

Patrick Azzopardi ist CEO und Mitgründer von Dowsers, einer Plattform mit Fokus auf automatisierte formale Verifikation von Smart Contracts für On-chain-Finance. Formale Verifikation ist eine mathematische Disziplin, die nachweist, dass Software eine definierte Reihe katastrophaler Ergebnisse nicht erzeugen kann. Sie unterscheidet sich damit von herkömmlichen Tests, die Bugs erkennen, aber deren Abwesenheit nicht beweisen können. Im Kontext von On-chain-Finance nennt Azzopardi drei Eigenschaften, die Dowsers formal verifiziert: dass ein digitaler Vermögenswert nicht ohne Zustimmung seines Eigentümers abgezogen werden kann, dass ein Vermögenswert nicht ohne Wissen des Nutzers gesperrt werden kann und dass die Regeln eines Protokolls nicht ohne Wissen des Nutzers geändert werden können.

Das Gründungsteam von Dowsers bezieht seine Expertise in formaler Verifikation aus der Arbeit an den automatisierten Metrolinien in Paris. Dort wies es mathematisch nach, dass Software, die jährlich 500 Millionen Fahrgäste befördert und aus Hunderttausenden Codezeilen besteht, keine Kollision verursachen kann. Azzopardis eigener Hintergrund liegt im Investment Banking, mit früherer Erfahrung als M&A advisor. Er beschäftigt sich seit 2014 mit Blockchain, und die ursprüngliche Idee für Dowsers bestand darin, Expertise in formaler Verifikation einzusetzen, um die eigenen Krypto- und NFT-Investments des Teams durch verlässliche Smart-Contract-Analysen abzusichern.