Wir haben Bounties ausprobiert. Wir haben Audits ausprobiert. Wir wurden immer wieder rekt. @The3D_ SVP Engineering @aave nimmt an der Abschlussdiskussion teil, um uns zu sagen, ob formale Methoden die Antwort sind. Cannes, 27. März.