BlockBeats сообщает, 5 марта, согласно официальной информации, Aave Labs опубликовала полный и прозрачный отчет о плане безопасности Aave V4, включающий методы, процессы и результаты, при этом несколько ведущих организаций по безопасности, таких как Trail of Bits, Blackthorn и Certora, совместно подтвердили его надежность. За время проведения примерно 345 дней были выполнены ручные аудиты, формальная верификация, тестирование инвариантов, fuzz-тестирование и участие в открытых конкурсах по безопасности. Этот план поддерживается специальным бюджетом в размере 1,5 миллиона долларов, одобренным DAO.
Aave Labs объявила о продолжении пяти ключевых обязательств из плана безопасности Aave V4: внедрение формальной верификации на ранних этапах разработки для обеспечения безопасности архитектурного дизайна, руководствуясь безопасными методами, а не только их проверкой; использование многоуровочного подхода к безопасности, включающего ручные проверки, формальную верификацию, тестирование инвариантов, проверку с помощью ИИ, fuzz-тестирование и участие в открытых конкурсах по безопасности, чтобы охватить больше потенциальных уязвимостей; поддержание постоянного уровня безопасности, при этом рамки формальной верификации и наборы тестов инвариантов будут продолжать работать вместе с развитием протокола; создание долгосрочной программы по наградам за обнаружение уязвимостей, привлекая более широкое сообщество специалистов по безопасности для постоянного мониторинга; а также улучшение возможностей ИИ для сканирования, постоянное повышение уровня интеллектуального обнаружения угроз в будущих версиях на основе существующего опыта тестирования.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
Связанные статьи
Doppler расширяет платформу выпуска токенов на сеть Solana
PANews 6 марта — по сообщению The Block, платформа для выпуска токенов Doppler, которая поддерживает большинство новых токенов на базе сети, объявила о расширении на сеть Solana. Doppler заявил, что эта миграция — не просто перенос или форк, а нативная реализация, учитывающая уникальную архитектуру, ограничения, модель программирования и экономические механизмы Solana. Doppler отметил, что уже работает на нескольких EVM-цепочках и интегрировал такие приложения, как Zora и Bankr.
GateNews12м назад
Revolut повторно подает заявку на получение банковской лицензии в США, новый исполнительный директор руководит расширением по всей стране
Финтех-компания Revolut подала заявку в Управление по контролю за валютой США и FDIC на получение национальной банковской лицензии, планируя создать «Revolut Bank US, NA». Это её вторая попытка после препятствий в 2021 году, причина перехода к федеральной заявке — оптимизация регуляторной структуры и расширение бизнес-возможностей, таких как прямой доступ к платежным системам и предоставление FDIC-гарантированных вкладов. Revolut в настоящее время обслуживает более 70 миллионов клиентов, деятельность охватывает 40 рынков.
MarketWhisper29м назад
Сообщество MetaDAO проголосовало за предложение «Ликвидация Ranger Finance»
MetaDAO сообщество проголосовало за одобрение предложения о ликвидации Ranger Finance, удалении ликвидности RNGR/USDC и передаче резервов USDC в MetaDAO, пропорционально распределяя их среди владельцев разблокированных токенов. Кроме того, права интеллектуальной собственности управления Futarchy будут возвращены Glint House PTE. LTD. Снимок состоится 13 марта.
GateNews43м назад
Австралия одобрила выпуск регулируемого австралийского доллара стабилкой AUDC на XRP Ledger
Австралийская комиссия по ценным бумагам и инвестициям (ASIC) одобрила выпуск регулируемого австралийского доллара стабилизированного токена на базе XRP Ledger компанией AUDC Pty Ltd. Это одобрение знаменует собой важный шаг вперёд в регулировании цифровых активов в Австралии. Регулируемые стабилизированные токены могут помочь традиционным финансовым учреждениям осуществлять соответствующие цепочные платежи и трансграничные расчёты. XRP Ledger благодаря своей мгновенной расчетной способности, высокой пропускной способности и низким затратам становится предпочтительной платформой, и в будущем ожидается привлечение большего числа финтех-компаний в австралийскую цифровую финансовую экосистему.
MarketWhisper54м назад
Polygon выпустила набор инструментов AI для цепочки, интегрирующий платежи в стабильных монетах и идентификацию ERC-8004
Polygon Labs выпустила Polygon Agent CLI, предоставляющий полный набор инструментов для AI-агентов на блокчейне, решая проблему фрагментации, с которой сталкиваются разработчики. Этот набор инструментов включает управление кошельками, выполнение транзакций и аутентификацию, а также повышает безопасность за счет изоляции приватных ключей и технологий абстракции газа, позволяя AI-агентам более эффективно выполнять операции в цепочке.
MarketWhisper1ч назад
