Виталик прогнозирует, что код без ошибок будет доступен в 2030-х годах
Хардфорки раскрывают ограничения бесконечно изменчивых смарт-контрактов в системах, критически важных для безопасности. Только узкий набор основных контрактов может оправдать безопасность базового уровня и разнообразие клиентов. Формальная проверка и более безопасные языки направлены на то, чтобы сделать критическое программное обеспечение доказуемо корректным. Приложения, созданные как смарт-контракты внутри программируемых виртуальных машин, продолжают выявлять более глубокие структурные слабости …