BlockBeats повідомляє, 5 березня, за офіційною інформацією, Aave Labs опублікували повний звіт про прозорість безпекового плану Aave V4, включаючи методи, процеси та результати, з підтримкою таких безпекових організацій, як Trail of Bits, Blackthorn, Certora та інших. За допомогою ручного аудиту, формальної верифікації, тестування інваріантів, fuzz-тестування та відкритих безпекових змагань було проведено приблизно 345 днів безпекових перевірок. Цей план підтримується спеціальним безпековим бюджетом у розмірі 1,5 мільйона доларів, затвердженим DAO.
Aave Labs оголосили про продовження п’яти ключових зобов’язань у рамках безпекового плану Aave V4: впровадження формальної верифікації на ранніх етапах розробки для забезпечення безпекової архітектури, а не лише її перевірки; застосування багаторівневих безпекових методів, включаючи ручний огляд, формальну верифікацію, тестування інваріантів, AI-підтримувану перевірку, fuzz-тестування та відкриті безпекові змагання для виявлення більшої кількості потенційних вразливостей; підтримка безперервного безпекового моніторингу, де рамки формальної верифікації та набір тестів інваріантів будуть постійно оновлюватися разом із розвитком протоколу; створення довгострокової програми винагород за вразливості для залучення ширшої безпекової спільноти до постійного моніторингу; а також оптимізація можливостей AI-сканування для постійного підвищення рівня інтелектуального безпекового виявлення у майбутніх версіях на основі досвіду тестування.
Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Найбільш безумний Ethereum L2: L2, створений самостійно організованими AI-агентами
Написано: Ланью
Вчора обговорювали найбільш стратегічно важливий Ethereum L2, сьогодні поговоримо про найкрутіший Ethereum L2.
Ця ідея здається дуже безглуздою, але це не зовсім неможливо.
Простіше кажучи, AI-агент на Ethereum L1, якщо стикається з обмеженнями продуктивності (наприклад, високі комісії, затримки, обмеження обчислень), теоретично може «самостійно» ініціювати міграцію або переміщення на L2, але щоб справді «успадкувати» і сформувати автономний L2 — агент має розгорнути, налаштувати та запустити самостійну L2 — наразі в технологічному стеку 2026 року це ще не повністю автоматизовано. Однак, з розвитком
PANews56хв. тому
Pendle запустила функцію однієї натискання для кредитного важеля, підтримуючи циклічну стратегію PT та автоматичне реінвестування
Gate News повідомляє, 9 березня протокол DeFi Pendle оголосив про запуск функції «одним натисканням важеля». Ця функція дозволяє користувачам виконувати циклічну стратегію PT (основний токен) за один раз, підтримуючи налаштування параметрів, таких як кількість циклів та умови зменшення позиції. Крім того, цей інструмент інтегрує механізм автоматичного реінвестування, що дозволяє користувачам керувати позиціями та захищати ризики безпосередньо у додатку Pendle.
GateNews1год тому
Проект прогнозного ринку Kairos, підтримуваний a16z, підключає Opinion Order Book та запускає закритий тестовий режим
9 березня, проект торгового терміналу прогнозного ринку Kairos оголосив про підключення до Opinion order book та запуск тестування за запрошеннями. Цей проект отримав інвестиції від a16z crypto і має на меті покращити досвід торгівлі на прогнозних ринках, сприяти швидкому розвитку екосистеми Opinion.
GateNews1год тому
Starcloud націлюється на майнінг Біткоїна на орбіті з новим супутником
Starcloud планує майнити Bitcoin у космосі за допомогою другого космічного апарата, прагнучи використовувати сонячну енергію та холодне середовище низької орбіти Землі. Ця ініціатива може революціонізувати енергоємні обчислення та вирішити питання охолодження і енергетичних витрат для майнингових операцій.
TodayqNews1год тому
OpenClaw випустила версію v2026.3.8, додано локальне резервне копіювання CLI, режим мовчазного тайм-ауту Talk і режим контексту пошуку LLM у Brave
OpenClaw випустила версію v2026.3.8 8 березня, додавши функції локального резервного копіювання стану, автоматичного транскрибування Talk Mode та режим LLM Context для пошуку у браузері Brave, виправивши кілька проблем. У розробці взяли участь 43 співробітники.
GateNews2год тому
Pi Network тестує штучний інтелект на вузлах перед запуском DEX до Дня Пі
Pi Network тестує розпізнавання зображень за допомогою штучного інтелекту на вузлах з OpenMind, використовуючи вільну обчислювальну потужність ЦП під час поточного оновлення Mainnet.
Мережа вимагає оновлення вузлів Mainnet до версії v20.2 до 12 березня в рамках свого шляху до версії 23.0 у другому кварталі цього року.
Pi Network тестує штучний
CryptoNewsFlash2год тому
