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

І так, DeFi точно потребує офіційної перевірки!