Teză: Pe măsură ce costul (intelectual!) al verificării formale a software-ului devine mai mic în anii următori, vom asista la o revoluție în software, unde majoritatea software-ului va fi verificat formal

Și da, DeFi are cu siguranță nevoie de verificare formală!