Виталик: Использование искусственного интеллекта для формальной проверки кода может одновременно повысить его эффективность и безопасность
По сообщению Foresight News, Виталик Бутерин опубликовал статью, в которой рассматривает перспективы применения формальной верификации в области безопасности блокчейна. В статье отмечается, что в передовых разработках Ethereum формируется новая парадигма: код пишется напрямую на байткоде EVM, ассемблере или Lean, а его корректность проверяется при помощи математических доказательств в Lean, которые могут быть автоматически проверены. Исследователь Йоичи Хираи назвал такую парадигму «окончательной формой разработки программного обеспечения». Виталик считает, что формальная верификация с поддержкой искусственного интеллекта способна одновременно повысить эффективность и безопасность кода, особенно в таких ключевых модулях безопасности как STARK, ZK-EVM, постквантовые подписи и алгоритмы консенсуса. В статье также подчеркивается, что формальная верификация не является панацеей и может быть неэффективной из-за неполного покрытия доказательства, ошибок спецификации или уязвимостей через аппаратные каналы. В будущем программное обеспечение, возможно, будет делиться на «безопасное ядро» и «небезопасную периферию», а Ethereum станет одним из важных безопасных ядер.
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Крупный криптокит за два раза вывел и пополнил баланс на 3288 ETH по средней цене 2450 долларов.
Миф о железе AI остыл? Акции Dell (DELL.US) рухнули на 11%, Barclays понизил рейтинги трех гигантов серверов сразу по трем причинам
Делл упал на 11% в среду, потянув за собой акции производителей оборудования для дата-центров; Barclays понизил рейтинг Dell, Hewlett Packard Enterprise и NetApp до уровня "держать".
Инфляция превысила ожидания и ударила по компаниям с малой капитализацией: индекс Russell 2000 упал почти на 2%, подтвердив техническую коррекцию
В среду около 80% акций, входящих в индекс Russell 2000, показали снижение стоимости. С момента августовского пика индекс упал на 11%, пробил 200-дневную скользящую среднюю и впервые с марта этого года вошел в техническую коррекцию. Аналитики отмечают, что из-за превышающих ожидания данных по инфляции в США (CPI) и увеличения вероятности повышения процентных ставок, акции компаний малой капитализации, потребительского сектора и транспортной отрасли сталкиваются с "устойчивыми и долгосрочными препятствиями".
Инфляция и процентные ставки нанесли двойной удар: индекс Russell 2000 с августа упал на 11%, впервые с марта зафиксировав техническую коррекцию.
Инфляция и процентные ставки растут, индекс Russell 2000 упал на 11% от максимума августа, пробил 200-дневную скользящую среднюю и зафиксировал первую с марта техническую коррекцию.
Цены на крипто
Далее
