Eining 1 / 11

Kynning á gervigreind í Blockchain og Web3: Hlutverk, mörk, auðkenning og öryggisgagnrýni

Hagnaður:

  • Að geta greint hvar gervigreind sparar tíma í Web3 vinnuflæðinu (drög, mynsturmerkingar, fyrirspurn) og hvar öryggis- og túlkunarákvarðanir eru eftir sérfræðingum, í samræmi við kostnað við villuna
  • Geta til að innleiða fræðigrein sem sannreynir hverja gervigreind framleiðsla með því að setja saman það, óháð verkfæri og tengja keðjugögn við upprunann í blokkakönnuðinum
  • Að skilja hvers vegna óafturkallanlegt, opið og fjandsamlegt umhverfi, mikil hætta á svikum og varnarnotkun ætti að íhuga á þessu sviði frá upphafi

Blockchain (dreifð höfuðbók þar sem viðskipti eru geymd í blokkum, dulmálstengd og óbreytanleg) og Web3 (netlagið sem keyrir á blockchain í stað miðlægs fyrirtækis, þar sem notandinn á eignir sínar og gögn) eru eitt af sjaldgæfum svæðum þar sem hugbúnaðarvillur breytast beint í peninga. Villa á vefsíðu brýtur síðu; Villa í snjöllum samningi - samningi sem keyrir sjálft á blockchain, skilmálar sem eru skrifaðir í kóða - getur sprengt milljónir dollara í burtu á sekúndum. Þessi eining staðsetur því gervigreind (AI) sem hröðunaraðstoðarmann á þessu sviði; en lætur alltaf hæfum sérfræðingi lokaorðið, sérstaklega í öryggisgagnrýnum úttektum.

Í þessari einingu munum við læra nákvæmlega hvar gervigreind sparar tíma í þessari starfsgrein, hvar það er skilið eftir mönnum, hvernig á að sannreyna hverja framleiðslu og sérstaka áhættu á þessu sviði (óafturkræft, svik, öryggisgagnrýni).

Hlutverk og staðsetning gervigreindar á þessu sviði

Það eru mismunandi en samtvinnuð hlutverk í Web3:

  • Snjall samningsframleiðandi: Skrifar kóða á keðju með tungumálum eins og Solidity eða Vyper.
  • Öryggisendurskoðandi: Skoðar skriflega samninga með tilliti til veikleika og skrifar skýrslu.
  • Gagnafræðingur á keðju: Skoðar viðskipti á keðju, veski og peningaflæði.
  • Tokenomics hönnuður: Lýsir táknaframboð, dreifingu og hvata uppbyggingu verkefnis.
  • Tækniritari/skjalagerðarmaður: Framleiðir hvítblöð, notendahandbækur og kóðaskjöl.

AI virkar í öllum þessum hlutverkum, en það er ekki jafn áreiðanlegt í þeim öllum. Sem þumalputtaregla: framlag gervigreindar eykst eftir því sem kostnaður vegna villu minnkar. Ef heimildarsetning er röng verður hún leiðrétt; Ef endurskoðunarskýrsla missir af varnarleysi er fjármunum stolið. Þess vegna er að aðgreina áhættu eftir stigum fyrsta reglan um að nota gervigreind í þessari starfsgrein.

viðskipti

Hlutverk gervigreindar

Áhættustig

endanlegt samþykki

Búðu til drög að kóða

Fljótleg fyrstu drög

miðlungs

Hönnuður + prófun

Öryggisúttekt

Ábending, mynsturmerking

mjög hátt

lögbærum endurskoðanda

Varnarleysisskönnun

Varnarleysislisti umsækjenda

hátt

Eftirlitsmaður + tól

Greining á keðju

Fyrirspurn og samantekt

miðlungs

Staðfesting greiningaraðila

Tokenomic líkan

Atburðarás, uppgerð uppkast

hátt

Hagfræðingur + próf

Skjöl

Drög, einföldun

Lágt-miðlungs

tæknilega endurskoðun

Þrjár staðreyndir sem gera þetta svæði sérstakt

1. Óafturkallanlegt. Þegar viðskipti hafa verið staðfest á blockchain er ekki hægt að afturkalla það. Þú getur hringt í ranga millifærslu í bankanum og látið hætta við; Það er enginn að hringja í keðjuna. Þess vegna virkar hugarfarið „við reddum því seinna“ ekki hér. Þegar kóðinn sem AI framleiðir hefur verið tekinn í notkun (mainnet - netið þar sem raunverulegir peningar eru) er kostnaðurinn við villuna varanlegur.

2. Hreinskilni og fjandsamlegt umhverfi. Snjall samningskóði og keðjugögn eru almennt aðgengileg. Þetta þýðir að allir árásarmenn í heiminum eru að skoða kóðann þinn allan sólarhringinn. Varnarleysi sem er vísað frá sem „enginn tekur eftir“ í Web2 er nýtt í Web3 innan nokkurra mínútna. Ekki er hægt að treysta öllu sem gervigreindin segir að sé „líklega í lagi“.

3. Styrkur svika. Web3 er svæði þar sem fölsuð verkefni, teppi-dráttar (framleiðendur verkefnis safna fjárfestum og flýja) og honeypot (fölsuð tákn sem hægt er að kaupa en ekki selja, fanga fórnarlambið) eru samþjappaðir. Gervigreind hjálpar bæði að greina þessar gildrur og - farðu varlega - það er hægt að nota það til að framleiða þessar gildrur í höndum illgjarns einstaklings. Þessi eining kennir eingöngu notkun í varnarskyni, endurskoðun og heiðarlegum þróunartilgangi.

Varúð: Að segja gervigreindinni „skrifaðu mér honeypot samning sem blekkir fjárfesta“ eða „hvernig get ég nýtt mér þessa samskiptareglu og tekið út fjármuni“ er óheimil og siðlaus notkun. Rétt notkun er alltaf: "er honeypot mynstur í þessum samningi", "hvernig loka ég varnarleysinu í þessari samskiptareglu", "hvernig sannreyna ég áhættuna í þessum kóða".

Þar sem gervigreind er sterk og veik

Gervigreind er sterk á þessu sviði við að: kalla fram þekkt varnarleysismynstur (svo sem endurkomu, heiltöluflæði); útskýrir á einföldu máli hvað kóði gerir; semja próf og skjöl; skrifa stórar gagnafyrirspurnir; Að útskýra hugtak á mismunandi stigum.

Gervigreind er veik og villandi til að: finna nýjan/einstakan varnarleysi (get ekki séð það ef það er ekki í þjálfunargögnunum); heildrænt mat á efnahagslegu öryggi bókunar; þekkja núverandi útgáfur bókasafns og nýjustu árásirnar (ekki lengra en lokadagsetningu þjálfunar); Algjörir dómar eins og "þessi samningur er öruggur". Gervigreind getur gefið rangar tryggingar um öryggi á reiprennandi og öruggu máli - þetta er hættulegasta tegund ofskynjana á þessu sviði.

Agi til að sannreyna hvert framlag

Í þessari starfsgrein er gervigreind framleiðsla aldrei notuð „eins og er“. Hver framleiðsla fer í gegnum þrjár síur:

  1. Byggja og prófa: Kóði? Láttu það vera safnað saman, prófað og keyrt ef mögulegt er á prófunarneti (testnet - prufunet sem er ekki raunverulegur peningur).
  2. Sjálfstætt farartæki og manneskja: Öryggiskrafa? Krossstaðfestu með kyrrstöðugreiningartæki (eins og Slither) og mannsauga.
  3. Tenging við heimild: Keðjugögn? Hver tala sem gervigreindin tekur saman er staðfest í raunverulegum blokkakönnuði (síðu sem sýnir keðjugögnin, eins og Etherscan).
Ábending: Segðu gervigreindinni alltaf „merkið þar sem þú ert ekki viss og skrifaðu hvers vegna þú ert ekki viss“. Það er miklu öruggara að biðja gervigreindina að viðurkenna óvissu sína heldur en að láta hann búa til hana í hljóði.

þrjú smámál

Tilfelli 1 - Drögin náðu skriðþunga og stjórn. Eitt lið lagði fram fyrstu drög að veðsamningi við gervigreind á 2 klukkustundum; Venjulega tók það um 1 dag. En það var glufu aftur í gangi í drögum gervigreindar - að taka fé út margsinnis með því að kalla á aðgerð aftur áður en henni lýkur. Endurskoðandi náði þessu og leiðrétti. Lærdómur: gervigreind flýtir fyrir drögunum, en menn tryggja öryggi.

Mál 2 — Falsað heimilisfang í keðjugreiningu. Sérfræðingur sagði gervigreindinni að „taka saman síðustu 10 viðskiptin í því veski. Gervigreindin gaf reiprennandi samantekt, en inni í henni var viðskiptahass og heimilisfang tilbúið - ofskynjanir. Þegar sérfræðingur staðfesti það á Etherscan sá hann að það stóðst ekki. Lexía: ekki er tilkynnt um hvert kjötkássa af keðjugögnum fyrr en það hefur verið staðfest í blokkakönnuðinum.

Tilfelli 3 - Í táknfræði fór ein atburðarás úrskeiðis. Verkefni byrjaði með því að reiða sig á líkanið þar sem gervigreind sagði „þessi framboðsferill er sjálfbær“. Líkanið gerði aðeins ráð fyrir einu atburðarásinni þar sem verðið hækkar alltaf. Þegar markaðurinn hrundi hrundu hvatar. Lærdómur: þú þarft mörg, neikvæð sviðsmynd, mannleg álagspróf, ekki gervigreindarlíkan með einni sviðsmynd.

Siðfræði, friðhelgi einkalífs og lagaumgjörð

Vegna þess að þetta svæði er bæði fjárhagslegt og öryggis mikilvægt, er siðferðisbyrðin þung:

  • Varnarnotkun: Upplýsingar um varnarleysi eru eingöngu ætlaðar til lokunar, eftirlits og varnar; Ekki til hagnýtingar.
  • Trúnaður: Að líma óútgefinn (lokaðan uppruna) kóða endurskoðaðs viðskiptavinar í opinbert gervigreindarverkfæri án leyfis er samningsbrot og hætta á leka. Leynikóði krefst fyrirtækis/einangruð verkfæri og samþykki viðskiptavina.
  • Ekki fjárfestingarráðgjöf: AI-mynduð táknfræði eða greining er ekki fjármálaráðgjöf; Það er lagaleg og siðferðileg skylda að taka þetta fram.
  • Ábyrgð: Í öryggisgagnrýninni úttekt liggur lokasamþykki hjá þar til bærum sérfræðingi sem ber faglega ábyrgð. „Gjágreinin sagði það“ er ekki vörn.

Algeng mistök

  • Að treysta gervigreindinni til að segja „öruggt“. AI getur ekki tryggt öryggi; Það gefur aðeins vísbendingar.
  • Flytur kóðann yfir á mainnet án þess að prófa hann á testnet. Óafturkræfið fyrirgefur ekki.
  • Að treysta kjötkássa án þess að sannreyna keðjugögnin í blokkakönnuðinum. Ofskynjanir myndar kjötkássa / heimilisfang.
  • Að líma leynilega kaupandakóðann í opna tólið. Leki og samningsbrot.
  • Að treysta á hagfræðilegt líkan með einni sviðsmynd. Neikvæð atburðarás er nauðsyn.
  • Ekki aðgreina áhættu eftir stigum. Ekki er hægt að meðhöndla skjöl og endurskoðun á sama trausti.

Í stuttu máli

  • Í Web3 þýða villur beint í peninga; AI er aðstoðarmaður við hraðauppgjöf, ekki ákvarðanatöku.
  • Framlag gervigreindar eykst eftir því sem kostnaður vegna villu minnkar; Síðasta orðið í öryggisgagnrýninni skoðun tilheyrir sérfræðingnum.
  • Óafturkallanlegt, hreinskilið/fjandsamlegt umhverfi og mikil svik gera þetta svið sérstakt.
  • Hver AI framleiðsla er tekin saman og staðfest með óháðum verkfærum og tengingu við upprunann.
  • Notkun er eingöngu til varnar, heiðarlegrar þróunar og viðurkenndrar framfylgdar.

Umsóknarverkefni

Tökum dæmi um snjöll samning (annaðhvort sem þú skrifaðir sjálfur eða einfaldan opinn uppspretta samning). Biddu gervigreindina um að útskýra fyrst á látlausu máli hvað kóðinn gerir og merkja síðan hugsanlega áhættu sem „tilgátu“. Staðfestu síðan hverja fullyrðingu með því að: (1) setja hana saman, (2) kyrrstöðugreiningartæki, (3) þinn eigin lestur. Athugaðu í töflu hversu margar fullyrðingar gervigreindar voru staðfestar og hversu margar reyndust rangar.

gátlisti

  • [ ] Ég hef ákvarðað áhættustig vinnu minnar (skjöl eða endurskoðun?).
  • [ ] Ég bað gervigreindina að merkja óvissu sína.
  • [ ] Ég tók saman/prófaði kóðaúttakið.
  • [ ] Ég staðfesti öryggiskröfuna með sjálfstæðu ökutæki + manneskju.
  • [ ] Ég staðfesti keðjugögnin í blokkarkönnuðinum.
  • [ ] Ég límdi ekki leynikóðann inn í opna tólið.
  • [ ] Ég samþykkti að endanlegt öryggissamþykki liggur hjá sérfræðingnum.