teza: w miarę jak (intelektualny!) koszt formalnej weryfikacji oprogramowania stanie się tańszy w nadchodzących latach, zobaczymy rewolucję w oprogramowaniu, gdzie większość oprogramowania zostanie formalnie zweryfikowana

i tak, defi zdecydowanie potrzebuje formalnej weryfikacji!