BlockBeats сообщает, 5 марта, согласно официальной информации, Aave Labs опубликовала полный и прозрачный отчет о плане безопасности Aave V4, включающий методы, процессы и результаты, при этом несколько ведущих организаций по безопасности, таких как Trail of Bits, Blackthorn и Certora, совместно подтвердили его надежность. За время проведения примерно 345 дней были выполнены ручные аудиты, формальная верификация, тестирование инвариантов, fuzz-тестирование и участие в открытых конкурсах по безопасности. Этот план поддерживается специальным бюджетом в размере 1,5 миллиона долларов, одобренным DAO.
Aave Labs объявила о продолжении пяти ключевых обязательств из плана безопасности Aave V4: внедрение формальной верификации на ранних этапах разработки для обеспечения безопасности архитектурного дизайна, руководствуясь безопасными методами, а не только их проверкой; использование многоуровочного подхода к безопасности, включающего ручные проверки, формальную верификацию, тестирование инвариантов, проверку с помощью ИИ, fuzz-тестирование и участие в открытых конкурсах по безопасности, чтобы охватить больше потенциальных уязвимостей; поддержание постоянного уровня безопасности, при этом рамки формальной верификации и наборы тестов инвариантов будут продолжать работать вместе с развитием протокола; создание долгосрочной программы по наградам за обнаружение уязвимостей, привлекая более широкое сообщество специалистов по безопасности для постоянного мониторинга; а также улучшение возможностей ИИ для сканирования, постоянное повышение уровня интеллектуального обнаружения угроз в будущих версиях на основе существующего опыта тестирования.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Aurelion выпустил модуль торговли AI Agent, поддерживающий 7×24 часы торговлю цифровым золотом XAU₮
Aurelion запустил модуль AI Agent, предоставляющий функцию круглосуточной торговли цифровым золотом (XAU₮). Пользователи могут отдавать команды на естественном языке для быстрого развертывания стратегий. В будущем планируется расширение функций и проведение торговых соревнований, чтобы способствовать развитию сообщества по торговле золотом на блокчейне.
GateNews3м назад
Самый безумный Ethereum L2: L2, созданный самоуправляемыми агентами ИИ
Статья: Ланьху
Вчера мы обсудили самый стратегически ценный Ethereum L2, а сегодня поговорим о самом крутом Ethereum L2.
Эта идея кажется очень безумной, но вовсе не невозможной.
Проще говоря, когда AI-агент работает на Ethereum L1, и сталкивается с узким местом по производительности (например, высокие комиссии, задержки, ограничения по вычислениям), теоретически он может «самостоятельно» инициировать миграцию или перенос на L2, но чтобы действительно «наследовать» и сформировать автономную L2 — это значит, что агент развернет, настроит и запустит самостоятельную L2 — на текущем технологическом стеке 2026 года это еще не полностью автоматизировано. Однако, с развитием
PANews1ч назад
Pendle запускает функцию однокнопочного кредитного плеча, поддерживающую стратегию PT циклов и автоматический реинвестинг
Gate News Новости, 9 марта, протокол DeFi Pendle объявил о запуске функции «одним нажатием на рычаг». Эта функция позволяет пользователям выполнять стратегию циклического использования PT (основных токенов) одним действием, поддерживая настройку параметров, таких как количество циклов и условия уменьшения позиции. Кроме того, этот инструмент интегрирует автоматический механизм реинвестирования, позволяя пользователям управлять позициями и защищать риски прямо в приложении Pendle.
GateNews1ч назад
Проект предсказательного рынка Kairos, поддерживаемый a16z, подключился к Opinion Order Book и запустил закрытое тестирование
9 марта проект Kairos, платформа для торговли на рынке прогнозов, объявила о подключении Opinion Order Book и запуске тестирования по приглашениям. Этот проект получил инвестиции от a16z crypto и нацелен на улучшение опыта торговли на рынке прогнозов, а также на быстрое развитие экосистемы Opinion.
GateNews1ч назад
Starcloud нацелена на майнинг биткоинов на орбите с помощью нового спутника
Starcloud планирует майнить Bitcoin из космоса с помощью второго космического аппарата, стремясь использовать солнечную энергию и холодную среду низкой околоземной орбиты. Эта инициатива может революционизировать энергоемкие вычисления и решить вопросы охлаждения и затрат энергии для майнинговых операций.
TodayqNews2ч назад
OpenClaw выпустил версию v2026.3.8, в которой добавлены локальный бэкап CLI, режим тихого тайм-аута Talk и режим контекста поиска LLM в Brave
OpenClaw выпустила версию v2026.3.8 8 марта, добавлены функции локального резервного копирования состояния, автоматическая транскрипция в Talk Mode и режим LLM Context для поиска в Brave, исправлены несколько проблем, в разработке приняли участие 43 участника.
GateNews2ч назад
