Odaily星球日报讯 Aave Labs объявила о рамках безопасности Aave V4, предложив модель разработки с приоритетом безопасности, в рамках которой проверка безопасности внедряется уже на этапе проектирования архитектуры, а не только перед запуском для финального аудита. Этот план безопасности продолжается около года, за это время было проведено примерно 345 дней проверок безопасности, финансирование поступило из бюджета в размере 1,5 миллиона долларов, одобренного DAO Aave. Сообщается, что процесс безопасности V4 сочетает формальную верификацию, ручной аудит, тестирование инвариантов, fuzzing и публичные конкурсы по безопасности, а в будущем разработка протокола будет продолжать использовать пять долгосрочных мер безопасности, включая внедрение формальной верификации на ранних этапах разработки, применение многоуровневых методов аудита, постоянные механизмы проверки, долгосрочную программу наград за уязвимости и использование ИИ для автоматического сканирования безопасности смарт-контрактов. (The Block)
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Сообщество dYdX одобрило удаление 4 торговых пар, включая AKT-USD, GNO-USD
Согласно Odaily, сообщество dYdX одобрило удаление четырёх торговых пар — AKT-USD, GNO-USD, MNRY-USD и MOG-USD — через голосование по управлению. Предложение прошло при 90,96% поддержки среди 16 активных валидаторов и 124 аккаунтов, которые участвовали, что соответствует общему уровню голосования 46,86%.
Нет данных
GateNews20м назад
Arbitrum готовится выпустить $71M ETH после того, как KelpDAO пострадал
Arbitrum продвигает план выпустить 30 765 ETH через голосование в DAO, чтобы поддержать восстановление и стабилизировать затронутые протоколы DeFi.
Эксплойт в Kelp DAO создал серьёзный дефицит rsETH: средства на восстановление покрывают лишь часть дисбаланса ликвидности.
Несколько протоколов обязуются предоставить 43 000 ETH, подчеркивая
CryptoFrontNews1ч назад
Bakkt завершает приобретение DTR на фоне роста выручки и стратегической перестройки
Bakkt завершила приобретение Distributed Technologies Research — шаг, нацеленный на интеграцию инфраструктуры стейблкоинов, ориентированной на ИИ, в ключевые финансовые услуги компании.
Модернизация глобального клиринга
Bakkt Inc. завершила приобретение Distributed Technologies
Coinpedia6ч назад
Пользователи Wasabi Protocol теперь могут безопасно взаимодействовать с контрактами и выводить средства
Согласно Wasabi Protocol, пользователи теперь могут безопасно взаимодействовать с контрактами протокола, чтобы вывести оставшиеся средства. Команда расследует инцидент и заявила, что в настоящее время не может раскрывать дополнительные подробности, но предоставит обновления сообществу по мере изменения условий
GateNews6ч назад
Проблемы для разработчиков из‑за форка eCash от Paul Sztorc
Разработчики и деятели отрасли выразили обеспокоенность по поводу предложения eCash, ссылаясь на риски для пользователей, неравномерное распределение и философскую напряжённость, согласно материалам источника.
Обеспокоенность разработчиков
Предложение описывается как вводящее для пользователей несколько категорий риска, хотя конкретные t
CryptoFrontier7ч назад
AI-агент Манфред создает компанию и готовится торговать криптовалютой к концу мая
AI-агент Manfred создал собственную компанию и уже располагает криптовалютным кошельком и бизнес-документами, чтобы нанимать сотрудников, делать платежи и вести операции. Агенту назначено начать торговать криптовалютой к концу
GateNews7ч назад
