Tesis: Karena biaya (intelektual!) untuk memverifikasi perangkat lunak secara formal menjadi lebih murah di tahun-tahun mendatang, kita akan melihat revolusi dalam perangkat lunak di mana sebagian besar perangkat lunak diverifikasi secara resmi

Dan ya, DeFi pasti membutuhkan verifikasi formal!