CNBC взяв інтерв'ю у Гу Ронхуея, співзасновника CertiK: Від офіційної верифікації до розширення можливостей штучного інтелекту ми продовжуємо розширювати межі довіри Web3
Нещодавно Гу Ронхуей, співзасновник CertiK і професор Колумбійського університету, дав інтерв'ю CNBC Arabia, всесвітньо відомому фінансовому ЗМІ, і поділився своїми думками про майбутнє безпеки Web3 на такі теми, як галузеве застосування формальної верифікації, роль штучного інтелекту в безпеці блокчейну та ризики нових технологій.
Гу Жунхуей сказав, що формальна верифікація є ключем до побудови основи безпеки блокчейну, і її роль полягає в математичній перевірці, чи відповідає поведінка коду очікуваній логіці. Цей підхід є більш суворим і складним, ніж традиційні інструменти аудиту. Він неодноразово підкреслював, що суть блокчейна полягає не тільки в технологічних інноваціях, але і в відновленні довіри, а по-справжньому надійна система повинна бути перевірена.
Формальна верифікація: Побудова бази безпеки блокчейну
як високопорогового та високоінтенсивного методу аудиту вимагає глибокого технічного накопичення та розуміння логіки, що лежить в основі. Гу Жунхуей в ексклюзивному інтерв'ю зазначив, що хоча цей метод є складним, він має незамінні переваги в забезпеченні безпеки та контрольованості блокчейна.
Його зв'язок з офіційною верифікацією можна простежити ще під час навчання. У 2016 році він співпрацював з професором Єльського університету Шао Чжуном, щоб успішно розробити перше в світі повністю офіційно перевірене багатоядерне ядро операційної системи CertiKOS, яке було оцінено Google як незламне. Це досягнення не тільки підтверджує застосування технології в реальному світі, але й закладає основу для її входження в галузеву практику.
З тих пір Гу Ронхуей заснував CertiK у 2017 році, щоб забезпечити офіційну верифікацію на сцені блокчейну. Сьогодні ця технологія широко використовується в багатьох провідних проектах, таких як ZK, які зосереджені на конфіденційності та безпеці, а також у великих фінансових установах, таких як Ant Group. В ексклюзивному інтерв'ю Гу Жунхуей розповів, що для підвищення ефективності формальної верифікації CertiK створила допоміжні інструменти, такі як інтелектуальний аналіз штучного інтелекту, який можна використовувати для автоматичної ідентифікації особливостей коду та генерації логічних доказів.
Сприяючи впровадженню академічних досягнень, Гу Жунхуей завжди приділяв пильну увагу новим загрозам, що стоять перед галуззю. У відповідь на побоювання з приводу того, що «суперкомп'ютери або квантові обчислення можуть загрожувати безпеці блокчейна», він визнав, що такі технології мають потенційні ризики, але їх все одно недостатньо, щоб становити реальну загрозу на даному етапі. «Можливостей суперкомп'ютерів недостатньо, щоб зламати існуючу систему блокчейна, - сказав Гу, - Що ще важливіше, індустрія вже активно будує антиквантові алгоритми і захисні механізми, і можливо мати відповідні рішення».
У своєму ексклюзивному інтерв'ю Гу Ронхуей підкреслив, що штучний інтелект змінює ландшафт безпеки блокчейну, особливо в аудиті смарт-контрактів та ідентифікації загроз у ланцюжку, і що «правильне застосування штучного інтелекту може принести значні покращення в систему безпеки блокчейну». Він
також сказав, що дослідження CertiK показує, що зловмисна тактика в проєктах Web3 стає все більш витонченою, а деякі фішингові програми можуть відстежувати користувачів з часом і здійснювати цільові шахрайства. Але завдяки здатності моделей штучного інтелекту швидко виявляти та реагувати на такі атаки сьогодні, тепер їх можна ідентифікувати та впоратися з ними протягом кількох годин.
Сьогодні CertiK застосувала штучний інтелект у широкому спектрі процесів видобутку та аудиту вразливостей. Аналізуючи дані раннього попередження в ланцюжку, він допомагає виявити причину вразливостей і шляхи атак. У той же час технологія штучного інтелекту використовується для сканування відомих моделей вразливостей, аналізу логіки коду та створення звітів, а також створення інтелектуальної системи аудиту з «співпрацею людини та машини» як ядром, що забезпечує надійну математичну підтримку та ефективність для команди ручного аудиту.
Але в міру того, як програми штучного інтелекту стають все більш поширеними, зловмисники також можуть використовувати його як посилений вектор атаки. Гу Жунхуей вважає, що це означає, що поріг безпекового протистояння підвищено, і галузь потребує сильніших безпекових рішень.
Технічне бачення: розширення меж Web3 TrustGu
Ronghui завжди вважає, що наступний етап розвитку Web3 перейде від «доступного» до «довіреного». Ефективність та інновації – це ще не кінець, відповідальність та довіра є основними цінностями технологічної еволюції. Тільки вбудувавши перевірені механізми безпеки, блокчейн може по-справжньому стати надійною глобальною фінансовою інфраструктурою.
Це саме та місія, якої CertiK дотримується з моменту свого заснування - створити систему продуктів безпеки, що охоплює весь життєвий цикл інвестиційного інкубації, аудиту безпеки, консультування з питань відповідності тощо, з формальною верифікацією як основою, забезпечити перевірену безпеку для проектів і встановити вищі стандарти безпеки для галузі.
Для Гу Жунхуей це не тільки корпоративна стратегія, а й життєвий вибір. Від Єльського університету до Колумбійського університету, від академічних досліджень до підприємницької практики, він завжди зосереджувався на перетворенні формальної верифікації з теорії на практику та використанні технологій для підвищення довіри до галузі.
Як професор Колумбійського університету та генеральний директор CertiK, Ронхуей Гу охоплює як академічний, так і діловий світи, але його метою завжди було захистити Web3. Він зазначив, що його філософія викладання ґрунтується на інтеграції реальних ідей в академічні дискусії, спрямованих на створення когнітивної та компетентнісної основи для наступного покоління в галузі кібербезпеки.
«Забезпечення безпеки Web3 — це не лише технічний виклик, а й соціальна відповідальність». Гу Жунхуей багато разів публічно заявляв: «Наша мета — зробити цю галузь безпечнішою та надійнішою». "