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 не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
XRP на порозі прориву в приватності: Провідний контрибютор XRPL розповідає, як буде реалізована ця функція - U.Today
Екосистема XRP готова до трансформації з впровадженням технології доказів нульового знання (ZKP) для підвищення приватності. Це дозволить перевіряти транзакції без розкриття чутливих деталей. Крім того, майбутні розробки включають інтеграцію AI, нові стейблкойни, розумні контракти та XRP Alphanetwork для тестування передових алгоритмів.
UToday20хв. тому
MoonPay впроваджує нативну підтримку апаратного підпису для інструментів AI-агентів
MoonPay 15 березня оголосила про введення підтримки апаратних підписів для свого інструменту AI-агентів, що дозволяє виконувати стратегії транзакцій на кількох блокчейнах. Користувачі повинні підтвердити транзакції через пристрій Ledger, що забезпечує безпеку приватних ключів.
GateNews26хв. тому
Foundry запускає інституційний майнинг-пул для Zcash
Foundry запустить пул майнінгу Zcash наступного місяця, розширивши свої операції майнінгу за межі Bitcoin.
Пул пропонуватиме перевірювані виплати та масштабовану інфраструктуру, оскільки Foundry розширюється на ZEC майнінг для інституційних користувачів.
Foundry Digital планує запустити пул майнінгу Zcash
CryptoNewsFlash44хв. тому
Kraken оголошує про майбутній лістинг токена Pi Network перед Pi Day 2026 та ключові оновлення
Kraken планує внести PI до лістингу, оскільки Pi Network просувається з останніми оновленнями протоколу і наближається до дедлайну оновлення 12 березня.
PI вже внесено до лістингу на OKX, Bitget, HTX та BitMart, а розблокування токенів, що починаються з 12 березня, можуть збільшити пропозицію у короткостроковій перспективі.
Kraken рушив у напрямку внесення Pi Network до лістингу
CryptoNewsFlash1год тому
Гонконг готовий до випуску першого списку «ліцензій на стабільні монети»! Передається, що переможцями стали «HSBC, Standard Chartered та OSL»
Перший список «ліцензій видавців стейблкойнів» Гонконгу буде опублікований на наступному тижні, три основні претенденти — HSBC, Standard Chartered Bank та платформа віртуальних активів OSL. Видача ліцензій можливо буде сприяти банкам через їх капітальну потужність та нормативні переваги, тоді як OSL має багатий практичний досвід. Незважаючи на чутки про те, що основний список вже готується, фактична ситуація може змінитися.
区块客1год тому
Brave представляє кросс-чейн свопи для Bitcoin, Solana, Zcash та Cardano на основі NEAR Intents
Brave Wallet v1.88 додав NEAR Intents, що дозволяє кросс-чейн своппи через Bitcoin, Solana, Zcash, Cardano та EVM мережі.
NEAR Intents обробив більше 19 мільйонів своппів та понад $14 мільярдів у обсягу на 35 ланцюгах до цієї інтеграції гаманця.
Brave додав NEAR Intents до свого
CryptoNewsFlash1год тому
