BlockBeats сообщает, 5 марта, согласно официальной информации, Aave Labs опубликовала полный и прозрачный отчет о плане безопасности Aave V4, включающий методы, процессы и результаты, при этом несколько ведущих организаций по безопасности, таких как Trail of Bits, Blackthorn и Certora, совместно подтвердили его надежность. За время проведения примерно 345 дней были выполнены ручные аудиты, формальная верификация, тестирование инвариантов, fuzz-тестирование и участие в открытых конкурсах по безопасности. Этот план поддерживается специальным бюджетом в размере 1,5 миллиона долларов, одобренным DAO.
Aave Labs объявила о продолжении пяти ключевых обязательств из плана безопасности Aave V4: внедрение формальной верификации на ранних этапах разработки для обеспечения безопасности архитектурного дизайна, руководствуясь безопасными методами, а не только их проверкой; использование многоуровочного подхода к безопасности, включающего ручные проверки, формальную верификацию, тестирование инвариантов, проверку с помощью ИИ, fuzz-тестирование и участие в открытых конкурсах по безопасности, чтобы охватить больше потенциальных уязвимостей; поддержание постоянного уровня безопасности, при этом рамки формальной верификации и наборы тестов инвариантов будут продолжать работать вместе с развитием протокола; создание долгосрочной программы по наградам за обнаружение уязвимостей, привлекая более широкое сообщество специалистов по безопасности для постоянного мониторинга; а также улучшение возможностей ИИ для сканирования, постоянное повышение уровня интеллектуального обнаружения угроз в будущих версиях на основе существующего опыта тестирования.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Carrot Protocol останавливает операции в сети Solana: у пользователей есть до 14 мая, чтобы вывести средства
По данным Foresight News, Carrot — кредитно-рычажный протокол доходного фарминга на Solana — сегодня объявил о приостановке работы из-за влияния взлома протокола Drift. Пользователи могут вывести оставшиеся средства из Boost, Turbo и CRT до 14 мая. После этой даты протокол начнёт постепенно
GateNews38м назад
Генеральный директор Ripple подтверждает приверженность XRP на конференции в Вегасе и намечает три стратегические цели
На конференции XRP Las Vegas генеральный директор Ripple Брэд Гарлингхаус обратился к обеспокоенностям сообщества по поводу приверженности компании XRP, вновь подтвердив, что Ripple по-прежнему является крупнейшим держателем XRP и сосредоточена на том, чтобы сделать XRP самым полезным, ликвидным и заслуживающим доверия цифровым активом. Гарлингхаус опроверг сомнения о том,
GateNews1ч назад
Фонд Ethereum открывает прием заявок на стипендию EPF7, крайний срок — 13 мая
Согласно Cryptopolitan, Фонд Ethereum открыл заявки на EPF7 (Ethereum Protocol Fellowship 7) 1 мая с дедлайном 13 мая 2026 года. Феллоушип будет отдавать приоритет глубине участия, а не широте, по сравнению с предыдущими наборами. Отобранные разработчики будут получать ежемесячно
GateNews2ч назад
Домены ENS сохраняют право собственности после запуска ENSv2, но требуется обновление для использования
Согласно ENS, обновление ENSv2 будет запущено в ближайшее время. Существующее владение доменами останется неизменным, но пользователям нужно будет завершить обновление, чтобы использовать домены в новых приложениях и менеджерах ресурсов. ENS предоставит инструменты миграции на момент запуска и продлит сроки действия для всех активных доменов,
GateNews2ч назад
Oobit в четверг запустит AI-карты агентов с поддержкой Visa, позволяя тратить USDT без конвертации в фиат
По данным The Block, стартап кошельков, поддерживаемых Tether, Oobit в четверг запустил AI Agent Cards, позволяющие автономным ботам совершать покупки, используя балансы USDT, без конвертации в фиат или прямого доступа к корпоративным данным карт. Карты, поддерживаемые Visa, можно использовать онлайн везде, где Visa доступна
GateNews6ч назад
