Виталик Бутерин считает, что по‑настоящему безошибочный код смарт‑контрактов станет достижим в 2030‑х годах

Сооснователь Ethereum Виталик Бутерин в обсуждении на X заявил, что разработчики, уделяющие приоритетное внимание безопасности, смогут в 2030‑х годах добиться по‑настоящему безошибочного кода благодаря развитию формальной верификации и многослойной избыточности. Его комментарии прозвучали после хардфорка Gnosis Chain 22 декабря, проведённого для возврата $9,4 млн, похищенных в результате эксплойта Balancer в ноябре 2024 года, когда было выведено свыше $128 млн на нескольких блокчейнах.