We hebben bounties geprobeerd. We hebben audits geprobeerd. We bleven rekt krijgen. @The3D_ SVP van Engineering @aave voegt zich bij het afsluitende panel om ons te vertellen of formele methoden het antwoord zijn. Cannes, 27 maart.