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 не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Circle на EDGE Chain запустила нативний USDC і міжланцюговий протокол переказів CCTP
Gate News повідомляє, 11 березня, за офіційною інформацією, емітент стабільних монет Circle (CRCL) оголосив, що з 9 березня нативний USDC та його протокол міжланцюгових переказів (CCTP) офіційно запущені на EDGE Chain. Ця інтеграція дозволяє повністю регульованим стабільним монетам, підтримуваним у доларах США, безпосередньо входити до екосистеми EDGE Chain та забезпечує безшовні міжланцюгові функції, усуваючи необхідність у пакуванні або мостових активів.
GateNews8хв. тому
Basketball.fun обробляє запити на повернення коштів, зірка НБА Томпсон уже вийшов із проекту
NBA тематичний криптопроект Basketball.fun обробляє запити на повернення коштів від покупців цифрових карткових пакетів через неможливість користувачів торгувати цими активами. Співзасновник повідомив, що отримано 24 запити на повернення, загальна сума яких становить менше 2000 доларів США. Колишній радник, гравець NBA Tristan Thompson, вийшов з проекту. Планується запуск продажу цифрових карткових пакетів на мережі Base цього місяця.
GateNews9хв. тому
Theo випустив стабільну монету thUSD, резервний пул у розмірі 100 мільйонів доларів США залишився на рівні 11%
Платформа ланцюгових фінансових ринків Theo запускає стабільну монету з підтримкою золота thUSD, яка приносить відсотки, та створює депозитний пул обсягом 100 мільйонів доларів США, наразі він досяг 89%. Користувачі можуть вносити USDC або thBILL на мережах Ethereum, Arbitrum та Stable Chain. Акція триває 6 тижнів, очікуваний річний дохід становить приблизно 8,3%.
GateNews16хв. тому
Ripple виходить на австралійський платіжний ринок: подання заявки на отримання фінансової ліцензії для розширення бізнесу в Азіатсько-Тихоокеанському регіоні, міждержавні криптовалютні платежі можуть отримати нові можливості
Ripple через придбання BC Payments прагне отримати ліцензію на фінансові послуги в Австралії, сприяючи розвитку трансграничних платежів у регіоні Азіатсько-Тихоокеанського регіону. У разі успішної подачі заявки це посилить її конкурентоспроможність на місцевому ринку, спростить процеси транзакцій і зменшить залежність від посередників. Цей крок може сприяти впровадженню технологій блокчейн-платежів у регульованих фінансових системах, але конкуренція на ринку все ще зростає, і між традиційною фінансовою системою та криптосервісами існує напруженість.
GateNews18хв. тому
Загальна кількість користувачів платформи AINFT перевищила 550 000.
Користувачі платформи AINFT вже перевищили 550 000, швидко ставши однією з активних екосистем AI-додатків у сфері Web3. Інтегруючи моделі та робочі процеси на блокчейні, вона надає розробникам підтримку на всьому ланцюжку, а також планує розширити способи входу, платіжні канали та оптимізувати досвід користувачів, сприяючи масштабуванню застосування AI.
GateNews37хв. тому
Перша компанія з майнінгу біткоїнів у космосі! Starcloud отримала підтримку NVIDIA і вже запустила супутник з GPU на орбіту
План Starcloud, підтримуваний NVIDIA, створить орбітальний дата-центр у космосі та розпочне космічний майнінг біткоїнів уже цього року, досліджуючи можливості сонячної енергетики для обчислень. Цей центр складатиметься з приблизно 88 000 супутників і використовуватиме дешеві ASIC-майнери для майнінгу у космосі, сподіваючись покращити енергоефективність і можливо сформувати нове покоління цифрових фінансових систем.
CryptoCity1год тому
