BlockBeats сообщает, 5 марта, согласно официальной информации, Aave Labs опубликовала полный и прозрачный отчет о плане безопасности Aave V4, включающий методы, процессы и результаты, при этом несколько ведущих организаций по безопасности, таких как Trail of Bits, Blackthorn и Certora, совместно подтвердили его надежность. За время проведения примерно 345 дней были выполнены ручные аудиты, формальная верификация, тестирование инвариантов, fuzz-тестирование и участие в открытых конкурсах по безопасности. Этот план поддерживается специальным бюджетом в размере 1,5 миллиона долларов, одобренным DAO.
Aave Labs объявила о продолжении пяти ключевых обязательств из плана безопасности Aave V4: внедрение формальной верификации на ранних этапах разработки для обеспечения безопасности архитектурного дизайна, руководствуясь безопасными методами, а не только их проверкой; использование многоуровочного подхода к безопасности, включающего ручные проверки, формальную верификацию, тестирование инвариантов, проверку с помощью ИИ, fuzz-тестирование и участие в открытых конкурсах по безопасности, чтобы охватить больше потенциальных уязвимостей; поддержание постоянного уровня безопасности, при этом рамки формальной верификации и наборы тестов инвариантов будут продолжать работать вместе с развитием протокола; создание долгосрочной программы по наградам за обнаружение уязвимостей, привлекая более широкое сообщество специалистов по безопасности для постоянного мониторинга; а также улучшение возможностей ИИ для сканирования, постоянное повышение уровня интеллектуального обнаружения угроз в будущих версиях на основе существующего опыта тестирования.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Drift Protocol: Начата разработка плана восстановления, участие в программе STRIDE по безопасности
Drift Protocol разрабатывает план восстановления, чтобы стабилизировать обстановку и обеспечить защиту затронутых пользователей, а также участвует в программе STRIDE Фонда Solana. Данная атака была организована разведывательной организацией Северной Кореи под названием AppleJeus и включала социальную инженерию и техническое проникновение, что привело к потере средств примерно в размере 285 млн долларов США, демонстрируя, что децентрализованная финансовая экосистема сталкивается с серьезными проблемами безопасности.
MarketWhisper1ч назад
Прогноз рынка ADI Predictstreet будет запущен 9 апреля и уже стал официальным партнером чемпионата мира по футболу 2026 года
Сообщение Gate News: 8 апреля, согласно данным на официальном сайте ADI Predictstreet, торговая платформа прогнозов ADI Predictstreet будет официально запущена 9 апреля. Ранее эта платформа уже заключила многолетнее соглашение о сотрудничестве с Международной федерацией футбольных ассоциаций FIFA и стала официальным партнером по рынкам прогнозов чемпионата мира по футболу 2026.
GateNews1ч назад
Drift Protocol объявляет план восстановления после взлома и будет участвовать в механизмах безопасности STRIDE Фонда Solana
Новости Gate News, 8 апреля, Drift Protocol опубликовал обновление о ходе урегулирования инцидента с хакерами. Drift сообщает, что в настоящее время активно сотрудничает с asymmetric research и OtterSec, чтобы разработать согласованный план восстановления; на текущем этапе основной фокус работ — стабилизировать ситуацию и обеспечить на протокольном уровне гарантии для всех затронутых пользователей и партнеров. Кроме того, Drift примет участие в механизмах безопасности, курируемых Фондом Solana
GateNews1ч назад
Jupiter запустил API верификации токенов, поддерживающий интеграцию с Launchpad, DEX и AI-агентами
Децентрализованный агрегатор биржевых торговых площадок Jupiter запустил 8 апреля API для верификации токенов (VRFD), позволяющий разработчикам реализовать программную проверку в процессе создания токенов. Этот API использует трехэтапный процесс: разработчикам необходимо сжечь 1,000 JUP для подачи запроса на верификацию, при этом нет необходимости платить комиссию Gas, чтобы стать стандартной базовой инфраструктурой для проектов в экосистеме Solana.
GateNews2ч назад
Sky Protocol предлагает две основные структурные стратегии модернизации, усиливающие рамки защиты капитала
Sky Governance 7 апреля представила два плана обновления, направленные на усиление защиты капитала протокола, внедрение более сильного буфера платежеспособности и устойчивой модели вознаграждений за стейкинг, чтобы повысить долгосрочную стабильность, делая упор на надежность, а не на краткосрочную доходность.
GateNews2ч назад
DeepSeek запускает два новых режима: быстрый режим и режим эксперта
Новости Gate News, 8 апреля, DeepSeek веб-сайт и приложение сегодня ночью запустили два новых режима. В частности, быстрый режим подходит для повседневных диалогов и обеспечивает мгновенный ответ; экспертный режим разработан для сложных задач, поддерживает функцию глубокого размышления, но в пиковые часы нужно ожидать, и он не поддерживает загрузку вложений или аудио.
GateNews3ч назад
