BlockBeats сообщает, 5 марта, согласно официальной информации, Aave Labs опубликовала полный и прозрачный отчет о плане безопасности Aave V4, включающий методы, процессы и результаты, при этом несколько ведущих организаций по безопасности, таких как Trail of Bits, Blackthorn и Certora, совместно подтвердили его надежность. За время проведения примерно 345 дней были выполнены ручные аудиты, формальная верификация, тестирование инвариантов, fuzz-тестирование и участие в открытых конкурсах по безопасности. Этот план поддерживается специальным бюджетом в размере 1,5 миллиона долларов, одобренным DAO.
Aave Labs объявила о продолжении пяти ключевых обязательств из плана безопасности Aave V4: внедрение формальной верификации на ранних этапах разработки для обеспечения безопасности архитектурного дизайна, руководствуясь безопасными методами, а не только их проверкой; использование многоуровочного подхода к безопасности, включающего ручные проверки, формальную верификацию, тестирование инвариантов, проверку с помощью ИИ, fuzz-тестирование и участие в открытых конкурсах по безопасности, чтобы охватить больше потенциальных уязвимостей; поддержание постоянного уровня безопасности, при этом рамки формальной верификации и наборы тестов инвариантов будут продолжать работать вместе с развитием протокола; создание долгосрочной программы по наградам за обнаружение уязвимостей, привлекая более широкое сообщество специалистов по безопасности для постоянного мониторинга; а также улучшение возможностей ИИ для сканирования, постоянное повышение уровня интеллектуального обнаружения угроз в будущих версиях на основе существующего опыта тестирования.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Нанчук запускает инструменты для биткоина с открытым исходным кодом для ИИ-агентов с «ограниченными полномочиями»
Кратко
Nunchuk выпустил два инструмента с открытым исходным кодом, предназначенные для того, чтобы ИИ-агенты могли взаимодействовать с кошельками Bitcoin в рамках строгих ограничений.
В системе используются общие кошельки и политики утверждения, чтобы агенты не могли тратить средства сверх заданных правил.
Инструменты нацелены на поддержку автоматизированных финансовых задач, при этом
Decrypt3ч назад
Circle публикует видение системы интернет-финансов: акцент на кроссчейн-совместимость, оркестрацию ликвидности и выпуск институциональных активов
Circle 10 апреля опубликовала видение развития интернет-финансов на 2026 год, планируя построить инфраструктуру межчейнной совместимости для улучшения ликвидности средств и повышения возможностей выпуска активов. В будущем будет запущена функция расчетов в секундах и расширение до большего числа активов, а также упрощение процессов работы с несколькими сетями для улучшения пользовательского опыта.
GateNews4ч назад
SBI Ripple Asia запускает выпуск токенов на базе XRPL
SBI Ripple Asia запустила платформу для XRP Ledger, которая позволяет использовать регулируемые предоплаченные токены в рамках правовой системы Японии.
API-интерфейсы интегрируют блокчейн с существующими приложениями, обеспечивая бесшовное использование токенов без переработки пользовательских интерфейсов.
Платформа ориентирована на реальные платежи, предлагая быстрое, недорогое
CryptoFrontNews5ч назад
BASIS Полностью завершила приватное тестирование: Base58 Labs тщательно подготовилась к масштабному выходу на рынок стейкинга
BASIS объявила об успешном завершении своей закрытой тестовой фазы, продемонстрировав время выполнения ниже 50 микросекунд и 100% стабильности работы. Платформа использует стратегию контролируемого развертывания, фокусируясь на проверке производительности, и установит новый эталон для институциональных участников. В дальнейшем компания будет продолжать поддерживать режим «высокой фильтрации», чтобы обеспечить выдающуюся производительность системы.
ChainNewsAbmedia5ч назад
Aethir предотвращает атаку с эксплуатацией уязвимости на кроссчейн-мосту, потери удержаны на уровне 90k долларов США и компания обязуется возместить ущерб
Децентрализованная платформа облачных GPU-вычислений Aethir подтвердила, что ее смарт-контракт моста Ethereum подвергся атаке, а потери удерживаются в пределах 90k долларов США. Команда своевременно отключила контракт и сотрудничает с биржами для работы с кошельком хакеров. Злоумышленники использовали кроссчейн-умный контракт для перевода средств. Aethir планирует опубликовать план компенсаций на следующей неделе; ожидается, что выручка в 2025 году достигнет 127,8 миллиона долларов США.
GateNews8ч назад
