Віталік: Формальна верифікація за допомогою AI може одночасно підвищити ефективність і безпеку коду
За повідомленням Foresight News, Віталік Бутерін опублікував статтю, в якій обговорюється перспективи застосування формальної верифікації у сфері безпеки блокчейнів. У статті зазначається, що в передових дослідженнях Ethereum формується нова парадигма: безпосереднє використання EVM байткоду, асемблера або Lean для написання коду і верифікації його коректності за допомогою математичних доказів, які можуть бути автоматично перевірені в Lean. Дослідник Yoichi Hirai називає цю парадигму «остаточною формою розробки програмного забезпечення». Віталік вважає, що формальна верифікація за підтримки AI здатна одночасно підвищити ефективність і безпеку коду, особливо для таких ключових безпекових модулів, як STARK, ZK-EVM, квантово-стійкі підписи та алгоритми консенсусу. У статті також наголошується, що формальна верифікація не є універсальним рішенням і може втрачати ефективність через неповноту охоплення доказом, помилки у специфікаціях або проблеми на апаратному рівні. У майбутньому програмне забезпечення, ймовірно, поділиться на «безпекове ядро» та «небезпечну периферію», причому Ethereum стане одним із важливих безпекових ядер.
Відмова від відповідальності: зміст цієї статті відображає виключно думку автора і не представляє платформу в будь-якій якості. Ця стаття не повинна бути орієнтиром під час прийняття інвестиційних рішень.
Вас також може зацікавити
Meta (META.US) Цукерберг відповів на суперечки щодо "уповільнення" AI: продовжуємо розвивати можливості моделей та посилювати захисні заходи
Генеральний директор Meta Platforms Марк Цукерберг і керівник AI компанії Алєксандр Ванг висловилися щодо дебатів про темпи розвитку AI, наголошуючи, що AI-лабораторії повинні продовжувати вдосконалювати моделі, а також одночасно створювати потужніші захисні заходи навколо все більш потужних моделей.
Передається, що SK hynix (SKHY.US) планує вперше виробляти чіпи пам’яті у США, орендуючи завод Intel (INTC.US) в Огайо або створюючи спільне підприємство.
Повідомляється, що південнокорейська компанія SK Hynix (SKHY.US) веде переговори з Intel (INTC.US) щодо угоди, яка в разі успіху дозволить їй вперше виробляти чипи пам’яті на території США.
Позиція становить 8,668 мільйонів доларів, одна адреса відкрила 20-кратне лонг-плече на золото.
CPI Великобританії за серпень зріс до 3.1%, встановивши п’ятимісячний максимум; зростання цін на нафту посилило очікування підвищення ставок
CPI Великобританії у серпні зріс до 3,1%, досягнувши найвищого рівня з березня; основною причиною стали ціни на пальне на заправках. Інфляція у сфері послуг залишилася на рівні 3,4%. Очікується, що рахунки за енергоносії у наступному році зростуть на 25%. Банку Англії стає дедалі складніше зберігати статус-кво.
Ціни на криптовалюти
Більше
