Новости

BlockBeats сообщает, что 7 апреля компания CertiK, специализирующаяся на безопасности Web3, объявила о запуске инструмента аудита на базе искусственного интеллекта — AI Auditor, а также представила серию открытых интеграционных решений для AI Coding Agents. Изначально система была разработана как вспомогательный инструмент для внутренних экспертов по безопасности и после более чем шести месяцев реального тестирования теперь официально доступна широкой публике. По имеющейся информации, в ходе оценки 35 реальных инцидентов безопасности Web3 за 2026 год (тестовые данные не использовались при обучении модели или формировании базы знаний) CertiK AI Auditor точно идентифицировал причины 88,6% реальных уязвимостей. При проектировании системы особое внимание уделялось «высокому соотношению сигнал/шум», то есть, при сохранении высокой детектирующей способности, удалось значительно снизить уровень ложных срабатываний. По мере того как инструменты и агенты разработки на базе искусственного интеллекта становятся стандартом для Web3-команд, логика обеспечения безопасности в отрасли ускоренно меняется от «постфактум-обнаружения» к «интеграции на всех этапах процесса». CertiK AI Auditor превращает ранее отдельный аудит безопасности на поздних этапах проекта в постоянно функционирующую вспомогательную функцию внутри рабочего процесса, благодаря чему разработчики могут получать информацию о безопасности on-chain, не переходя в другое рабочее окружение, а также сокращается время реагирования на новые угрозы. Известно, что AI Auditor уже включён в долгосрочную стратегию CertiK по развитию AI-направления. CertiK также отмечает, что команда активно работает над расширением функциональности инструмента и планирует дальнейшую интеграцию возможностей безопасности в широкий спектр средств разработки, комплаенс-процессы и институциональные системы мониторинга.

Грулон Хуэй, 7 апреля — Delta Air Lines во вторник объявила о повышении тарифов на зарегистрированный багаж на внутренних и некоторых коротких международных рейсах, чтобы компенсировать рост затрат на авиационное топливо из-за обострения напряженности на Ближнем Востоке. Это первое за два года повышение платы за багаж на внутренних рейсах Delta Air Lines; конкуренты United Airlines и JetBlue Airways также предприняли аналогичные шаги. Авиакомпании по всему миру пытаются справиться с резким ростом цен на топливо, а напряженность на Ближнем Востоке нарушила транспортировку нефти через стратегически важный Ормузский пролив, что повысило операционные издержки и сократило прибыль. По данным Международной ассоциации воздушного транспорта, средняя мировая цена на авиационное топливо до февральских ударов США и Израиля по Ирану составляла около 85–90 долларов за баррель, а сейчас она выросла примерно до 209 долларов за баррель. В Delta Air Lines сообщили, что для билетов, забронированных в среду или позже, стоимость первого и второго зарегистрированных мест багажа увеличится на 10 долларов каждое, третьего — на 50 долларов.

По сообщению ChainCatcher, представители Cysic официально объявили об открытом исходном коде граф-ориентированного (Graph-First) zkVM-фреймворка Venus. Venus построен на базе ZisK, отказывается от традиционного режима HAL, в котором процесс доказательства рассматривается как серия изолированных бэкенд-функций, и вместо этого кодирует весь процесс ZK-доказательства в виде глобального вычислительного графа, разделяя логику и выполнение на аппаратном уровне.