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: уявіть, що немає користувачів, як би ви переписали той самий білий папір ？
Співзасновник Ethereum Віталік Бутерін нещодавно закликав спільноту більш сміливо інновувати на рівні додатків, зберігаючи при цьому основні цінності. Він вважає, що безпека та цінності базового рівня не можна порушувати, але рівень додатків має бути більш революційним і експериментальним. Він досліджував майбутнє технологій приватності та дизайну DeFi, а також закликав переосмислити застосування Ethereum, навіть пропонуючи уявний сценарій, коли у користувачів немає, і розробники повинні з нуля переписати частину білої книги, щоб зустріти майбутні виклики.
ChainNewsAbmedia42хв. тому
Американський Біткоїн збільшує резерви і входить до топ-20 у світі, засновник Tinder додатково придбав 1,8 мільйона акцій
Американська компанія Bitcoin (ABTC) збільшила резерв Bitcoin до 6 500 монет, піднявшись у топ-20 публічних компаній світу. Незважаючи на коливання цін акцій, новина про резерви спричинила зростання ціни на 11,7%. ABTC розширює обчислювальну потужність майнерів і планує інвестувати у зниження вартості отримання Bitcoin. Член ради директорів, засновник Tinder, нещодавно придбав додаткові 1,8 мільйона акцій.
ChainNewsAbmedia1год тому
Doppler розширює платформу випуску токенів на мережу Solana
PANews 6 березня повідомляє, що за даними The Block, платформа для випуску токенів Doppler, яка підтримує більшість нових токенів на базі мережі Base, оголосила про розширення до мережі Solana. Doppler зазначає, що ця міграція не є простою портативністю або форком, а є нативною реалізацією, яка враховує унікальну архітектуру, обмеження, модель програмування та економічні механізми Solana. Doppler зазначає, що вона вже працює на кількох EVM-ланцюгах і інтегрована з додатками Zora та Bankr.
GateNews2год тому
Revolut повторно подає заявку на банківську ліцензію в США, новий виконавчий директор керує національним розширенням
Фінтех-компанія Revolut подала заявку на отримання національної банківської ліцензії до Управління з фінансового нагляду США та FDIC, плануючи створити «Revolut Bank US, NA». Це її друга спроба після перешкод у 2021 році, причиною переходу до федеральної заявки є оптимізація регуляторної структури та розширення бізнес-можливостей, таких як прямий доступ до платіжних систем і надання гарантії FDIC для депозитів. Revolut наразі має понад 70 мільйонів клієнтів і працює у 40 ринках.
MarketWhisper2год тому
Спільнота MetaDAO проголосувала за пропозицію «Ліквідація Ranger Finance»
MetaDAO спільнота проголосувала за пропозицію, яка передбачає ліквідацію Ranger Finance, видалення ліквідності RNGR/USDC і передачу резервів USDC MetaDAO, пропорційно розподіляючи їх серед розблокованих власників токенів. Крім того, інтелектуальна власність управління Futarchy буде повернута компанії Glint House PTE. LTD. Голосування відбудеться 13 березня.
GateNews2год тому
