Соучредитель NEAR выступает за формальную верификацию для борьбы с хакерством с использованием ИИ

Соучредитель NEAR Protocol Илья Полосухин подчеркнул необходимость формальной верификации для защиты кода блокчейна от хакерских атак с использованием ИИ. Он отметил, что ИИ ускорил обнаружение уязвимостей программного обеспечения, опередив традиционные меры безопасности. Полосухин выделил, что кибербезопасность полагалась на человеческие проверки кода, которые становятся все более неадекватными из-за современных моделей ИИ. Он предложил разработчикам использовать математические доказательства для обеспечения целостности кода, заявив, что ИИ теперь может помочь в создании этих доказательств, значительно сокращая время, необходимое для этого, с лет до недель. Примером является проект Tachyon, который использовал верификацию с помощью ИИ для подтверждения того, что защищенный пул Zcash Ironwood свободен от ошибки подделки, обнаруженной в его пуле Orchard. Полосухин призвал к переходу к формальной верификации для всего интернет-кода, а не только для смарт-контрактов. Кроме того, NEAR запустил обновление для повышения безопасности и масштабируемости сети, позволяя пользователям использовать ключи учетных записей, устойчивые к квантовым атакам.

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.