тезис: по мере того как (интеллектуальные!) затраты на формальную верификацию программного обеспечения будут снижаться в ближайшие годы, мы увидим революцию в программном обеспечении, где большинство программного обеспечения будет формально верифицировано

и да, defi определенно нуждается в формальной проверке!