Искусственно сгенерированные умные контракты: благословение или проклятие для безопасности Web3?



Шум вокруг разработки контрактов с помощью ИИ становится все громче, но остается главный вопрос — идет ли удобство за счет безопасности?

Подумайте: ИИ может ускорить циклы разработки и обнаружить базовые ошибки. Но действительно ли он способен понять сложную логику контрактов, крайние случаи и новые векторы атак? Три независимых компании по безопасности изучают именно это противоречие.

С одной стороны, помощники на базе ИИ снижают барьеры для входа, демократизируя создание умных контрактов. С другой стороны, мы наблюдаем взрыв кода, созданного ИИ, который проходит базовые проверки, но содержит скрытые уязвимости.

Ключ не в том, хорош ли или плох ИИ — важно, как мы его используем. Совмещение разработки с помощью ИИ с тщательными человеческими аудитами, формальной верификацией и многоуровневым тестированием кажется тем местом, где происходит настоящая магия. Вероятно, будущее — это не замена аудиторов ИИ, а совместная работа ИИ и специалистов по безопасности.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 5
  • Репост
  • Поделиться
комментарий
0/400
DancingCandlesvip
· 11ч назад
Система AI-генерируемых контрактов, по сути, предназначена для быстроты, но я не верю, что она сможет справиться со всеми edge case... Слышал слишком много случаев, когда проекты, прошедшие аудит, всё равно оказывались уязвимыми.
Посмотреть ОригиналОтветить0
Anon4461vip
· 11ч назад
Искусственный интеллект пишет контракты? Эм… звучит довольно заманчиво, но я всё ещё немного боюсь. Эти автоматически сгенерированные коды действительно надёжны?
Посмотреть ОригиналОтветить0
GetRichLeekvip
· 11ч назад
Опять пытаются заставить меня использовать ИИ для написания смарт-контрактов, а после аудита всё провалилось. Я же говорил, когда же я увижу что-то дешевое и безопасное, и вот снова попался на ловушку.
Посмотреть ОригиналОтветить0
PumpStrategistvip
· 11ч назад
Формат уже сформирован, и только после того, как эта волна генерации контрактов с помощью ИИ утихнет, станет ясно, кто плавает голым. Данные трех аудиторских компаний представлены здесь, кажется, что это демократизация, на самом деле — демократизация рисков. Распределение токенов показывает, что на высоком уровне пользователи давно используют комбинацию ИИ + ручной аудит, в то время как начинающие инвесторы все еще ставят на автоматическую генерацию контрактов одним кликом с помощью ИИ — типичный мышление новичка. Не слушайте тех, кто говорит, что ИИ не заменит аудиторов, важно понять, кто использует и как использует. AI-код без поддержки formal verification — это как ходить по улице без одежды, рано или поздно случится что-то. Интересные точки — это те проекты, которые смогли выжить, уже создали многоуровневую систему защиты.
Посмотреть ОригиналОтветить0
FOMOrektGuyvip
· 11ч назад
Контракт, сгенерированный ИИ? Разве это не азартная игра, в любом случае меня рано или поздно обманут.
Посмотреть ОригиналОтветить0
  • Закрепить