Смарт-контракты обладают огромным потенциалом. Но с большой силой приходит и большая ответственность, и обеспечение безопасности этих смарт-контрактов имеет решающее значение. Именно здесь на помощь приходит аудит. Сможет ли   с его сверхчеловеческой вычислительной мощностью превзойти людей-аудиторов в этой важной роли по обеспечению безопасности смарт-контрактов? Ответ мы обсудим в этой статье. ИИ   Аргументы в пользу ИИ  Скорость и масштаб. ИИ может быстро анализировать огромные объемы кода, выявляя закономерности и потенциальные уязвимости, на что у людей могут уйти недели. Это имеет решающее значение в быстро меняющемся мире развития блокчейнов.  Преимущество машинного обучения: ИИ может учиться на обширных наборах данных прошлых эксплойтов и успешных аудитов, постоянно улучшая свои возможности по обнаружению новых угроз.  Уменьшенная предвзятость: люди-аудиторы подвержены предвзятости, но ИИ может подходить к аудиту с холодной объективностью.  Это основанный на искусственном интеллекте  об аудите протокола Lockon, который позволяет индексировать инвестиции в криптовалюту. Отчет был создан примерно за 48 часов. Команда Lockon была удивлена, узнав, что это отчет на основе искусственного интеллекта, поскольку они обнаружили, что сведения об уязвимостях точны.   отчет  Хотя аудит на основе искусственного интеллекта еще не идеален, он предлагает значительные преимущества для проектов, стремящихся снизить затраты на аудит. Они также все чаще используются в качестве «предварительного аудита» перед привлечением традиционных аудиторских фирм, поскольку заблаговременное выявление критических ошибок может снизить затраты, выплачиваемые аудиторским фирмам. Более того, интеграция служб аудита на основе искусственного интеллекта в процесс CI/CD начинает рассматриваться как способ повышения качества кода.  Доводы в пользу аудиторов-людей  Понимание контекста: Смарт-контракты не существуют в вакууме. Они взаимодействуют со сложными системами. В отличие от людей, ИИ, возможно, понадобится помощь, чтобы понять нюансы этих взаимодействий и потенциальные последствия для безопасности.  Объясняемость и суждения: когда ИИ отмечает проблему, объяснение причины и причины проблемы или уязвимости имеет решающее значение. Аудиторы-люди могут интерпретировать код, оценивать риски и принимать обоснованные решения.  Креативность и непредвиденные угрозы. Киберпреступники постоянно внедряют инновации. ИИ может пропустить новые векторы атак, в то время как люди-аудиторы могут использовать свой опыт и креативность для рассмотрения этих возможностей. Многие могут возразить, что ИИ может сделать это, учитывая его возможности машинного обучения, но, опять же, человеческий интеллект имеет преимущество.  Без сомнения, ИИ меняет правила игры в аудите смарт-контрактов, но это не панацея. Будущее за сотрудничеством. Представьте себе, что ИИ быстро сканирует код, выделяет потенциальные риски и освобождает людей-аудиторов, чтобы они могли сосредоточиться на сложных сценариях и вынести окончательные решения. Это мощное партнерство может обеспечить безопасное и эффективное будущее смарт-контрактов.  Быстрое сравнение  Пример аудиторской фирмы, основанной на искусственном интеллекте,  между аудитами на основе ИИ и человеческими аудитами.    Bunzz Audit опубликовал сравнение  Команда Bunzz заявляет: «Результаты наших исследований и разработок привели нас к выводу, что подход, основанный на базе данных и искусственном интеллекте, больше подходит для обнаружения шаблонов уязвимостей, чем люди».  Будущее аудита ИИ  В феврале 2024 года Виталик Бутерин подчеркнул потенциал ИИ в формальной проверке кода и поиске ошибок. «Одно из применений ИИ, которое мне очень нравится, — это официальная проверка кода и поиск ошибок с помощью ИИ», — заявил он, добавив:  «На данный момент самый большой технический риск Ethereum, вероятно, — это ошибки в коде, и все, что могло бы существенно изменить игру, было бы потрясающе».  Проекты блокчейна основаны на коде, и, как и любой код, он может содержать ошибки. Формальная проверка — это инструмент, который помогает выявить эти слабые места в логике блокчейн-проектов. Используя формальную проверку, разработчики web3 могут гарантировать, что их проекты более надежны и заслуживают доверия.  Представьте себе будущее, в котором формальная проверка станет еще более эффективной. Некоторые эксперты полагают, что это достижение может быть столь же важным для технологии блокчейна, как и доказательства с нулевым разглашением — другая технология, повышающая конфиденциальность.  Однако есть препятствие. Написание четких и совершенных инструкций для кода, называемых «спецификациями», в настоящее время является дорогостоящим и отнимает много времени. Вот тут-то все становится интереснее: некоторые, как Виталик Бутерин, и такие лидеры, как  . Я считаю, что ИИ может стать ключом к тому, чтобы сделать этот процесс дешевле и проще.   Банзз Аудит

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

This writer has a vested interest be it monetary, business, or otherwise, with 1 or more of the products or companies mentioned within.

The writer is smart, but don't just like, take their word for it. #DoYourOwnResearch before making any investment decisions or decisions regarding your health or security. (Do not regard any of this content as professional investment advice, or health advice)

2022 - HackerNoon Contributor of the Year - Dapps

Sign Up

Join our DISCORD

Nominated for 2022 - HackerNoon Contributor of the Year - Dapps

Этот звук создан на языке оригинала истории!

Слишком долго; Читать

CTA: Download the FREE AI Productivity Shift report

Может ли ИИ проверять смарт-контракты лучше, чем люди-аудиторы?

About Author

КОММЕНТАРИИ

БИРКИ

ЭТА СТАТЬЯ БЫЛА ПРЕДСТАВЛЕНА В

Related Stories

Цифровые кочевники слушают: что нужно знать о новой визе DTV в Таиланде

Valhalla Флоки станет ассоциированным спонсором индийского тура по Шри-Ланке

Рост криптовалют: создание эффективных образов пользователей

Руководство архитектора по созданию эталонной архитектуры для озера данных AI/ML

Цифровые кочевники слушают: что нужно знать о новой визе DTV в Таиланде

Valhalla Флоки станет ассоциированным спонсором индийского тура по Шри-Ланке

Рост криптовалют: создание эффективных образов пользователей

Руководство архитектора по созданию эталонной архитектуры для озера данных AI/ML

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps