BlockBeats сообщает, 5 марта, согласно официальной информации, Aave Labs опубликовала полный и прозрачный отчет о плане безопасности Aave V4, включающий методы, процессы и результаты, при этом несколько ведущих организаций по безопасности, таких как Trail of Bits, Blackthorn и Certora, совместно подтвердили его надежность. За время проведения примерно 345 дней были выполнены ручные аудиты, формальная верификация, тестирование инвариантов, fuzz-тестирование и участие в открытых конкурсах по безопасности. Этот план поддерживается специальным бюджетом в размере 1,5 миллиона долларов, одобренным DAO.
Aave Labs объявила о продолжении пяти ключевых обязательств из плана безопасности Aave V4: внедрение формальной верификации на ранних этапах разработки для обеспечения безопасности архитектурного дизайна, руководствуясь безопасными методами, а не только их проверкой; использование многоуровочного подхода к безопасности, включающего ручные проверки, формальную верификацию, тестирование инвариантов, проверку с помощью ИИ, fuzz-тестирование и участие в открытых конкурсах по безопасности, чтобы охватить больше потенциальных уязвимостей; поддержание постоянного уровня безопасности, при этом рамки формальной верификации и наборы тестов инвариантов будут продолжать работать вместе с развитием протокола; создание долгосрочной программы по наградам за обнаружение уязвимостей, привлекая более широкое сообщество специалистов по безопасности для постоянного мониторинга; а также улучшение возможностей ИИ для сканирования, постоянное повышение уровня интеллектуального обнаружения угроз в будущих версиях на основе существующего опыта тестирования.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Sonic создает квантово-готовую блокчейн-платформу с более простой архитектурой
Sonic перерабатывает архитектуру своего блокчейна, чтобы упростить переход к криптографии, устойчивой к квантовым атакам. Подход избегает сложной агрегации подписей, используемой большинством сетей proof-of-stake.
Ключевые выводы
Sonic перерабатывает proof-of-stake, чтобы избежать агрегации Boneh–Lynn–Shacham, упрощая квантовое
Coinpedia1ч назад
DeBox объявляет о закрытии сервиса vBOX 30 апреля
Сообщение Gate News, 24 апреля — DeBox, социальная платформа Web3, объявила, что ее сервис vBOX будет закрыт 30 апреля 2026 года в 23:59 из-за корректировок в бизнесе платформы. Пользователи должны бесплатно забрать свои баллы через исходный системный канал до истечения срока. Начиная с 1 мая автоматический вывод по каналу будет
GateNews1ч назад
Morgan Stanley запустила портфель резервов стейблкоинов для размещения резервов
Сообщение Gate News от 24 апреля — Morgan Stanley представил Портфель резервов стейблкоинов, государственный фонд денежного рынка, предназначенный для эмитентов стейблкоинов, чтобы размещать свои резервы в соответствии с предлагаемым Законом GENIUS.
Портфель предоставляет эмитентам стейблкоинов регулируемое инвестиционное средство для хранения активов-обеспечения, согласуясь с требованиями регулирования, изложенными в ожидаемом законодательстве.
GateNews1ч назад
Succinct Labs запускает iPhone-приложение ZCAM, использующее криптографию для борьбы с медиа, созданными ИИ
Сообщение Gate News от 24 апреля — Succinct Labs, поддерживаемая Paradigm, в четверг представила ZCAM — iPhone-приложение, которое использует криптографию для отпечатков (fingerprinting) фотографий и видео, чтобы противодействовать медиа, сгенерированным ИИ, а также измененным материалам. Приложение подписывает фотографии и видео в момент съемки, создавая не поддающуюся подделке
GateNews3ч назад
Pi Network выпускает токеновую платформу PiRC1, запрещая выпуск токенов для проектов без реальных приложений
Pi Network 22 апреля представила токеномическую структуру PiRC1 в качестве части обновления Protocol V22. Ключевое правило PiRC1: право выпускать токены имеют только те проекты, которые уже в экосистеме Pi обладают работающим приложением и при этом имеют реальные пользовательские потребности. Доходы от токенов не направляются проектной команде, а поступают в постоянный пул ликвидности, привязанный к Pi Coin, чтобы предотвратить риск ухода с деньгами.
MarketWhisper3ч назад
Frax присоединяется к инициативе DeFi United в поддержку Aave, чтобы предложить план по управлению для инцидента с rsETH
Сообщение Gate News, 24 апреля — Frax Finance объявила в X, что, являясь партнером Aave V4, она находится в прямом общении с Aave, чтобы урегулировать инцидент с rsETH. Хотя у Frax нет прямого риска, она
GateNews4ч назад
