CNBC przeprowadziło wywiad z Gu Ronghui, współzałożycielem CertiK: Od formalnej weryfikacji po wzmocnienie pozycji sztucznej inteligencji, nadal poszerzamy granice zaufania Web3

Niedawno Gu Ronghui, współzałożyciel CertiK i profesor na Uniwersytecie Columbia, udzielił wywiadu CNBC Arabia, światowej sławy mediom finansowym, i podzielił się swoimi spostrzeżeniami na temat przyszłości bezpieczeństwa Web3 na takie tematy, jak branżowe zastosowanie formalnej weryfikacji, rola sztucznej inteligencji w bezpieczeństwie blockchain oraz zagrożenia związane z powstającymi technologiami.

Gu Ronghui powiedział, że formalna weryfikacja jest kluczem do zbudowania fundamentu bezpieczeństwa blockchaina, a jej rolą jest matematyczna weryfikacja, czy zachowanie kodu jest zgodne z oczekiwaną logiką. Podejście to jest bardziej rygorystyczne i wymagające niż tradycyjne narzędzia audytu. Wielokrotnie podkreślał, że istotą blockchaina jest nie tylko innowacja technologiczna, ale także odbudowa zaufania, a naprawdę wiarygodny system musi być weryfikowalny.

Formalna weryfikacja: Budowanie bazy bezpieczeństwa blockchain

jako metody audytu o wysokim progu i intensywności wymaga dogłębnej akumulacji technicznej i zrozumienia podstawowej logiki. Gu Ronghui zwrócił uwagę w ekskluzywnym wywiadzie, że chociaż metoda ta jest złożona, ma niezastąpione zalety w zapewnianiu bezpieczeństwa i możliwości kontroli blockchaina.

Jego związek z weryfikacją formalną można prześledzić wstecz do jego studiów. W 2016 roku współpracował z profesorem Uniwersytetu Yale, Shao Zhongiem, aby z powodzeniem opracować pierwsze na świecie w pełni formalnie zatwierdzone jądro wielordzeniowego systemu operacyjnego, CertiKOS, które zostało ocenione przez Google jako nie do złamania. Osiągnięcie to nie tylko weryfikuje zastosowanie technologii w świecie rzeczywistym, ale także kładzie podwaliny pod jej wejście do praktyki przemysłowej.

Od tego czasu Gu Ronghui założył CertiK w 2017 roku, aby wprowadzić formalną weryfikację na scenę blockchain. Obecnie technologia ta jest szeroko stosowana w wielu wiodących projektach, takich jak ZK, które koncentrują się na prywatności i bezpieczeństwie, a także w dużych instytucjach finansowych, takich jak Ant Group. W ekskluzywnym wywiadzie Gu Ronghui powiedział, że w celu poprawy efektywności formalnej weryfikacji, CertiK zbudował narzędzia pomocnicze, takie jak inteligentna analiza AI, które mogą być wykorzystywane do automatycznej identyfikacji cech kodu i generowania dowodów logicznych.

Promując wdrażanie osiągnięć akademickich, Gu Ronghui zawsze zwracał baczną uwagę na nowe zagrożenia stojące przed branżą. W odpowiedzi na obawy, że "superkomputery czy komputery kwantowe mogą zagrażać bezpieczeństwu blockchaina", przyznał, że takie technologie niosą ze sobą potencjalne zagrożenia, ale na tym etapie wciąż nie są one wystarczające, aby stanowić realne zagrożenie. "Możliwości superkomputerów nie wystarczą, aby złamać istniejący system blockchain" – powiedział Gu – "Co ważniejsze, przemysł już aktywnie buduje algorytmy antykwantowe i mechanizmy obronne, a możliwe jest posiadanie odpowiednich rozwiązań".

W swoim ekskluzywnym wywiadzie Gu Ronghui podkreślił, że sztuczna inteligencja przekształca krajobraz bezpieczeństwa blockchain, zwłaszcza w zakresie audytu inteligentnych kontraktów i identyfikacji zagrożeń w łańcuchu, oraz że "prawidłowe zastosowanie sztucznej inteligencji może przynieść znaczną poprawę systemu bezpieczeństwa blockchain". Powiedział

również, że badania CertiK pokazują, że złośliwe taktyki w projektach Web3 stają się coraz bardziej wyrafinowane, a niektóre programy phishingowe są w stanie śledzić użytkowników w czasie i przeprowadzać ukierunkowane oszustwa. Jednak dzięki zdolności modeli sztucznej inteligencji do szybkiego identyfikowania i reagowania na takie ataki, można je teraz zidentyfikować i zająć się nimi w ciągu kilku godzin.

Obecnie firma CertiK zastosowała sztuczną inteligencję w szerokim zakresie procesów wyszukiwania luk w zabezpieczeniach i audytu. Analizując dane wczesnego ostrzegania on-chain, pomaga w identyfikacji przyczyn luk w zabezpieczeniach i ścieżek ataku. Jednocześnie technologia sztucznej inteligencji jest wykorzystywana do skanowania znanych wzorców luk w zabezpieczeniach, analizowania logiki kodu i generowania raportów oraz budowania inteligentnego systemu audytu z "współpracą człowiek-maszyna" jako rdzeniem, zapewniając wiarygodne wsparcie matematyczne i wydajność dla zespołu audytu ręcznego.

Jednak w miarę jak aplikacje AI stają się coraz bardziej powszechne, osoby atakujące mogą również używać ich jako wzmocnionego wektora ataku. Gu Ronghui uważa, że oznacza to, że próg konfrontacji w zakresie bezpieczeństwa został podniesiony, a branża potrzebuje silniejszych rozwiązań w zakresie bezpieczeństwa.

Wizja techniczna: Poszerzanie granic Web3 TrustGu

Ronghui zawsze wierzy, że następny etap rozwoju Web3 przejdzie od "dostępnego" do "zaufanego". Wydajność i innowacyjność to nie koniec, odpowiedzialność i zaufanie to podstawowe wartości ewolucji technologicznej. Tylko dzięki wbudowaniu weryfikowalnych mechanizmów bezpieczeństwa blockchain może naprawdę stać się zaufaną globalną infrastrukturą finansową.

Jest to dokładnie misja, której CertiK przestrzega od samego początku - zbudowanie systemu produktów zabezpieczających obejmującego cały cykl życia inkubacji inwestycji, audytu bezpieczeństwa, doradztwa w zakresie zgodności itp., z formalną weryfikacją jako podstawą, aby zapewnić weryfikowalne bezpieczeństwo projektów i wyznaczyć wyższe standardy bezpieczeństwa dla branży.

Dla Gu Ronghui jest to nie tylko strategia korporacyjna, ale także życiowy wybór. Od Yale po Columbię, od badań akademickich po praktykę przedsiębiorczości, zawsze koncentrował się na przekształcaniu formalnej weryfikacji z teorii w praktykę i wykorzystywaniu technologii do zwiększania zaufania w branży.

Jako profesor na Uniwersytecie Columbia i dyrektor generalny CertiK, Ronghui Gu porusza się zarówno w świecie akademickim, jak i biznesowym, ale jego celem zawsze było zabezpieczenie Web3. Wspomniał, że jego filozofia nauczania jest zakorzeniona w integracji rzeczywistych spostrzeżeń w dyskusjach akademickich, mając na celu zbudowanie podstaw poznawczych i kompetencyjnych dla następnego pokolenia w dziedzinie cyberbezpieczeństwa.

"Zapewnienie bezpieczeństwa Web3 to nie tylko wyzwanie techniczne, ale także odpowiedzialność społeczna". Gu Ronghui wielokrotnie publicznie stwierdzał: "Naszym celem jest uczynienie tej branży bezpieczniejszą i bardziej godną zaufania". "