CNBC haastatteli Gu Ronghuia, CertiK:n perustajaa: Virallisesta vahvistuksesta tekoälyn voimaannuttamiseen jatkamme Web3-luottamuksen rajojen laajentamista

Äskettäin Gu Ronghui, yksi CertiK:n perustajista ja Columbian yliopiston professori, haastatteli CNBC Arabia, maailmankuulu talousmedia, ja hän jakoi näkemyksiään Web3-turvallisuuden tulevaisuudesta sellaisista aiheista kuin muodollisen todentamisen soveltaminen alalla, tekoälyn rooli lohkoketjujen turvallisuudessa ja uusien teknologioiden riskit.

Gu Ronghui sanoi, että muodollinen todentaminen on avain lohkoketjun turvallisuusperustan rakentamiseen, ja sen tehtävänä on matemaattisesti tarkistaa, onko koodin käyttäytyminen odotetun logiikan mukaista. Tämä lähestymistapa on tiukempi ja haastavampi kuin perinteiset tarkastusvälineet. Hän on toistuvasti korostanut, että lohkoketjun ydin ei ole vain teknologinen innovaatio, vaan myös luottamuksen jälleenrakentaminen, ja aidosti uskottavan järjestelmän on oltava todennettavissa.

Muodollinen todentaminen: Lohkoketjun tietoturvapohjan rakentaminen

korkean kynnyksen ja korkean intensiteetin auditointimenetelmäksi vaatii syvällistä teknistä kertymistä ja taustalla olevan logiikan ymmärtämistä. Gu Ronghui huomautti eksklusiivisessa haastattelussa, että vaikka tämä menetelmä on monimutkainen, sillä on korvaamattomia etuja lohkoketjun turvallisuuden ja hallittavuuden varmistamisessa.

Hänen yhteytensä muodolliseen todentamiseen voidaan jäljittää hänen opintoihinsa. Vuonna 2016 hän teki yhteistyötä Yalen yliopiston professorin Shao Zhongin kanssa kehittääkseen menestyksekkäästi maailman ensimmäisen täysin virallisesti validoidun moniytimisen käyttöjärjestelmän ytimen, CertiKOSin, jonka Google arvioi murtumattomaksi. Tämä saavutus ei ainoastaan todenna teknologian soveltamista todellisessa maailmassa, vaan myös luo perustan sen pääsylle alan käytäntöön.

Sittemmin Gu Ronghui perusti CertiK:n vuonna 2017 tuodakseen virallisen vahvistuksen lohkoketjumaailmaan. Nykyään tätä tekniikkaa käytetään laajalti monissa johtavissa projekteissa, kuten ZK:ssa, jotka keskittyvät yksityisyyteen ja turvallisuuteen, sekä suurissa rahoituslaitoksissa, kuten Ant Groupissa. Eksklusiivisessa haastattelussa Gu Ronghui sanoi, että virallisen todentamisen tehokkuuden parantamiseksi CertiK on rakentanut aputyökaluja, kuten älykkään tekoälyanalyysin, jonka avulla voidaan tunnistaa koodin ominaisuudet automaattisesti ja luoda loogisia todisteita.

Edistäessään akateemisten saavutusten toteuttamista Gu Ronghui on aina kiinnittänyt erityistä huomiota alan uusiin uhkiin. Vastauksena huoleen siitä, että "supertietokoneet tai kvanttilaskenta voivat uhata lohkoketjujen turvallisuutta", hän myönsi, että tällaisiin teknologioihin liittyy mahdollisia riskejä, mutta ne eivät silti riitä muodostamaan todellista uhkaa tässä vaiheessa. "Supertietokoneiden ominaisuudet eivät riitä murtamaan olemassa olevaa lohkoketjujärjestelmää", Gu sanoi, "Vielä tärkeämpää on, että teollisuus rakentaa jo aktiivisesti antikvanttialgoritmeja ja puolustusmekanismeja, ja asiaankuuluvia ratkaisuja on mahdollista saada."

Eksklusiivisessa haastattelussaan Gu Ronghui korosti, että tekoäly muokkaa lohkoketjun tietoturvamaisemaa, erityisesti älykkäiden sopimusten auditoinnissa ja ketjun sisäisten uhkien tunnistamisessa, ja että "tekoälyn oikea soveltaminen voi tuoda merkittäviä parannuksia lohkoketjun turvajärjestelmään". Hän

sanoi lisäksi, että CertiK:n tutkimus osoittaa, että haitalliset taktiikat Web3-projekteissa ovat yhä kehittyneempiä, ja jotkut tietojenkalasteluohjelmat pystyvät seuraamaan käyttäjiä ajan mittaan ja suorittamaan kohdennettuja huijauksia. Mutta koska tekoälymallit pystyvät tunnistamaan ja käsittelemään tällaiset hyökkäykset nopeasti, ne voidaan nyt tunnistaa ja käsitellä muutamassa tunnissa.

Nykyään CertiK on soveltanut tekoälyä monenlaisiin haavoittuvuuksien louhinta- ja auditointiprosesseihin. Analysoimalla ketjun varhaisvaroitustietoja se auttaa tunnistamaan haavoittuvuuksien ja hyökkäyspolkujen syyn. Samaan aikaan tekoälyteknologiaa käytetään tunnettujen haavoittuvuusmallien skannaamiseen, koodilogiikan analysointiin ja raporttien luomiseen sekä älykkään auditointijärjestelmän rakentamiseen, jonka ytimenä on "ihmisen ja koneen yhteistyö", joka tarjoaa uskottavaa matemaattista tukea ja tehokkuutta manuaaliselle auditointitiimille.

Mutta kun tekoälysovellukset yleistyvät, hyökkääjät voivat käyttää sitä myös kovennettuna hyökkäysvektorina. Gu Ronghui uskoo, että tämä tarkoittaa, että kynnys turvallisuuden vastakkainasetteluun on noussut, ja ala tarvitsee vahvempia turvallisuusratkaisuja.

Tekninen visio: Web3-luottamuksen rajojen laajentaminenGu

Ronghui uskoo aina, että Web3-kehityksen seuraava vaihe siirtyy "saatavilla" olevasta "luotettavaan". Tehokkuus ja innovaatio eivät ole päämäärä, vaan vastuullisuus ja luottamus ovat teknologisen kehityksen ydinarvoja. Vain todennettavissa olevia turvamekanismeja upottamalla lohkoketjusta voi todella tulla luotettava maailmanlaajuinen rahoitusinfrastruktuuri.

Juuri tätä tehtävää CertiK on noudattanut perustamisestaan lähtien - rakentaa tietoturvatuotejärjestelmä, joka kattaa investointihautomon, tietoturva-auditoinnin, vaatimustenmukaisuuskonsultoinnin jne. koko elinkaaren, ja jonka ytimessä on muodollinen todentaminen, jotta voidaan tarjota todennettavissa oleva turvallisuus projekteille ja asettaa alalle korkeammat turvallisuusstandardit.

Gu Ronghuille tämä ei ole vain yritysstrategia, vaan myös elämänvalinta. Yalesta Columbiaan, akateemisesta tutkimuksesta yrittäjyyteen hän on aina keskittynyt muuttamaan muodollisen todentamisen teoriasta käytäntöön ja käyttämään teknologiaa teollisuuden luottamuksen lisäämiseen.

Columbian yliopiston professorina ja CertiK:n toimitusjohtajana Ronghui Gu toimii sekä akateemisessa että liike-elämässä, mutta hänen tavoitteenaan on aina ollut Web3:n turvaaminen. Hän on maininnut, että hänen opetusfilosofiansa perustuu todellisten näkemysten integroimiseen akateemisiin keskusteluihin ja pyrkii rakentamaan kognitiivista ja kompetenssiperustaa seuraavalle sukupolvelle kyberturvallisuuden alalla.

"Web3:n turvallisuuden varmistaminen ei ole vain tekninen haaste, vaan myös sosiaalinen vastuu." Gu Ronghui on julkisesti todennut monta kertaa: "Tavoitteenamme on tehdä tästä alasta turvallisempi ja luotettavampi."