Представьте, разработчики сделали смарт-контракт и прошли аудит. Запустили приложение, собрали миллиард долларов, а хакер взял и все украл – реальная ситуация в мире DeFi. Формальная верификация помогла бы избежать взлома контракта. Как разработчики тестируют смарт-контракты, что такое формальная верификация и как она используется в блокчейне Tezos – в материале от Tezos Ukraine. https://hub.forklog.com/?p=24248