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 не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Ринкова відскок у японському та корейському фондовому ринку》Гаманець Phantom запустив ETF та безстрокові контракти з Бейлд на японській та корейській біржах, з максимальною 20-кратною кредитною плечею
Гаманець Phantom оголосив про додавання торгівлі ETF безстроковими контрактами в Кореї та Японії, а також можливість участі у довгих і коротких позиціях на ринках Кореї та Японії з використанням до 20-кратного кредитного плеча. Користувачі можуть безпосередньо здійснювати операції у гаманці без необхідності використовувати зовнішні платформи. Ці ETF випускає BlackRock і вони відстежують основні індекси Кореї та Японії.
動區BlockTempo11хв. тому
X Money запускає обмежене тестування «Вклади з річною ставкою 6%», міжгалактична війна Starship Shatner з аукціоном запрошень за 1000 доларів
Маск's платіжний додаток X Money цього тижня розпочинає зовнішнє тестування, пропонуючи депозит із річною ставкою 6% та страхування FDIC, що створює виклик для традиційних банків і PayPal. Користувачі можуть отримати металеву карту Visa з ім'ям та кешбек за покупки, крім того, X Money планує поступово інтегрувати криптовалюти, хоча наразі конкретних дій не передбачено.
動區BlockTempo17хв. тому
Фонд Ethereum: стратегічна мета Ethereum у сфері штучного інтелекту — стати рівнем координації та верифікації у світі ШІ
Голова відділу штучного інтелекту Фонду Ethereum Davide Crapis заявив, що мета Ethereum — стати рівнем координації та верифікації для ШІ, підкреслюючи важливість децентралізації та приватності. Стратегія Ethereum у сфері ШІ зосереджена на децентралізованій координації ШІ та впровадженні основних цінностей у галузь ШІ для захисту даних та ідентичності користувачів.
GateNews42хв. тому
Ціна Pi Network досягла двотижневого максимуму, оновлення протоколу спричинило зростання на 8.5%
Оригінальний токен Pi Network, PI, 4 березня виріс приблизно на 8,5%, досягши найвищого рівня за майже два тижні, через успішне оновлення протоколу v19.9. Це оновлення спрямоване на посилення мережевих можливостей і буде супроводжуватися випуском v20.2 до Pi Day 2026 року. Незважаючи на короткострокове зростання, Фонд Pi перевів 60,099,000 токенів, що може спричинити тиск на пропозицію. Технічно, PI стикається з ключовим рівнем опору на рівні 0.173 долара США.
MarketWhisper44хв. тому
Base визначає AI-агента та роботів як наступний технологічний фронт, закликаючи розробників приєднатися
Платформа AI-агентів екосистеми Base Virtuals Protocol запустила проект «Base Batches 003: Robotics», метою якого є сприяння розвитку AI-агентів у галузі робототехніки, підтримка створення робототехнічних агентів та відповідних робочих процесів. Успішні учасники отримають наставництво та до 50 000 доларів США фінансування, а також братимуть участь у Demo Day у Сан-Франциско.
GateNews54хв. тому
Byreal — відкритий код навичок AI-агента, що підтримують ланцюгові транзакції, управління позиціями та копіювання стратегій
Solana протокол Byreal відкрив вихідний код інструменту для взаємодії на блокчейні, спеціально розробленого для AI Agent — byreal-cli, який підтримує запити до пулів ліквідності, Token Swap та інші основні функції, сумісний з понад 40 AI Agent фреймворками, що полегшує використання одним натисканням.
GateNews1год тому
