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 не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Американські банки запускають стратегію токенізованих депозитів на блокчейні
Як чіткий знак того, наскільки швидко розвивається фінанси, американські банки входять глибше в технологію блокчейну з новою ініціативою, яка могла б переформатувати цифрові платежі. Група регіональних кредиторів об'єдналася з zkSync для запуску мережі Cari, платформи, розробленої для запровадження токенізованих депозитів у
Coinfomania6хв. тому
CEO OpenSea відповідає на суперечливу публікацію Vanity Fair: дружина розвивається незалежно, команда буде будувати довгостроково
OpenSea CEO Девін Фінцер у відповіді на суперечку з «Vanity Fair» заявив, що незважаючи на зовнішній скептицизм, команда продовжує розвиватися, зосередившись на продуктах, які подобаються користувачам. Він наголосив, що криптоіндустрія все ще перебуває на ранній стадії розвитку, а в майбутньому буде інтегрована в повсякденне життя, та вказав на невірне розуміння звіту щодо індустрії.
GateNews22хв. тому
SEC та CFTC спільно визнали APT цифровим товаром, а не цінним папером
Gate News повідомлення, 18 березня, Aptos опублікував на платформі X, що Комісія з цінних паперів та бірж США (SEC) офіційно визнала APT цифровим товаром, а не цінним папером. Спільна пояснювальна директива, опублікована сьогодні SEC та Комісією з торгівлі товарними фʹючерсами США (CFTC), надає регуляторну ясність для всіх сторін, які будують, інвестують та беруть участь у екосистемі Aptos. Це заява, видана двома установами з їхніми повними компетенціями щодо тлумачення.
GateNews23хв. тому
Virtuals Protocol Приносить Agent Commerce на BNB Chain
Virtuals Protocol запускає "комерцію агентів" на ланцюзі BNB Chain, що дозволяє AI-агентам виконувати завдання та заробляти в ланцюзі. Це вимагає надійної системи ідентифікації, платежів та верифікації, яку розробляє Virtuals. Нові інструменти, включаючи BNBAgent SDK, полегшують створення довірених AI-агентів. Цей інноваційний підхід може трансформувати взаємодію AI і крипто, залежно від встановлення безпечних і справедливих框架.
Coinfomania37хв. тому
Віталік Бутерін представляє правило швидкого підтвердження Ethereum для підвищення швидкості транзакцій
Віталік Бутерін представив Правило швидкого підтвердження для Ethereum, обіцяючи суттєво скоротити час очікування транзакцій, забезпечуючи остаточність протягом 12 секунд. Цей механізм спрямований на посилення довіри користувачів та ефективності капіталу без необхідності жорсткого форка мережі.
TheNewsCrypto1год тому
THENA уточнює, що не зазнала атаки, розумні контракти та пули ліквідності функціонують нормально
THENA офіційно уточнила недавні коливання ринку THE, заявивши, що проект не піддавався атакам, а подія походить від Venus Protocol, розумні контракти та пули ліквідності функціонують нормально. THENA співпрацює з обробкою сигналів і планує підвищити APR для THE Single Sided Vaults, щоб винагородити виборців.
GateNews1год тому
