Qligħ:
- Li tkun kapaċi tiddistingwi fejn l-intelliġenza artifiċjali tiffranka l-ħin fil-fluss tax-xogħol tal-Web3 (abbozz, immarkar tal-mudell, mistoqsija) u fejn id-deċiżjonijiet ta’ sigurtà u interpretazzjoni jitħallew f’idejn l-espert, skont l-ispiża tal-iżball
- Kapaċità li timplimenta dixxiplina li tivverifika kull output AI billi tikkumpilaha, għodda indipendenti, u tgħaqqad id-dejta tal-katina mas-sors fl-esploratur tal-blokki
- Il-fehim għaliex l-irrevokabbiltà, l-ambjent miftuħ u ostili, ir-riskju intens ta’ frodi u l-użu difensiv għandhom jiġu kkunsidrati f’dan il-qasam mill-bidu nett
Blockchain (reġistru distribwit fejn it-tranżazzjonijiet jinżammu fi blokki, konnessi kriptografikament u immutabbli) u Web3 (is-saff tal-internet li jimxi fuq blockchain minflok kumpanija ċentrali, fejn l-utent għandu l-assi u d-dejta tiegħu) huma wieħed mill-oqsma rari fejn l-iżbalji tas-software jinbidlu direttament fi flus. Żball fuq websajt ikisser paġna; Żball f'kuntratt intelliġenti - ftehim li jmexxi lilu nnifsu fuq il-blockchain, li t-termini tiegħu huma miktuba f'kodiċi - jista 'jbattal miljuni ta' dollari f'sekondi. Dan il-modulu għalhekk ipoġġi l-intelliġenza artifiċjali (AI) bħala assistent ta' aċċelerazzjoni f'dan il-qasam; iżda dejjem tħalli l-aħħar kelma f'idejn espert kompetenti, speċjalment f'awditi kritiċi għas-sikurezza.
F'din l-unità, se nitgħallmu eżattament fejn l-AI tiffranka l-ħin f'din il-professjoni, fejn titħalla f'idejn il-bnedmin, kif tivverifika kull output, u r-riskji speċifiċi ta 'dan il-qasam (irreversibbiltà, frodi, kritika tas-sigurtà).
Rwoli u l-post tal-IA f'dan il-qasam
Hemm rwoli differenti iżda interkonnessi f'Web3:
- Żviluppatur tal-kuntratt intelliġenti: Jikteb kodiċi fuq il-katina b'lingwi bħal Solidity jew Vyper.
- Awditur tas-sigurtà: Jeżamina kuntratti bil-miktub għall-vulnerabbiltajiet u jikteb rapport.
- Analista tad-dejta fil-katina: Jeżamina t-tranżazzjonijiet, il-kartieri u l-flussi tal-flus fuq il-katina.
- Disinjatur ta' Tokenomics: Jimudella l-provvista, id-distribuzzjoni u l-istruttura ta' inċentivi ta' token ta' proġett.
- Kittieb tekniku/dokumentazzjonist: Jipproduċi whitepapers, gwidi għall-utent u dokumentazzjoni tal-kodiċi.
L-AI taħdem f'dawn ir-rwoli kollha, iżda mhijiex affidabbli bl-istess mod f'kull wieħed minnhom. Bħala regola ġenerali: il-kontribuzzjoni tal-AI tiżdied hekk kif tonqos l-ispiża tal-iżball. Jekk sentenza ta' dokumentazzjoni ma tkunx korretta, tiġi kkoreġuta; Jekk rapport tal-awditjar jitlef xi vulnerabbiltà, il-fondi jinsterqu. Għalhekk, is-separazzjoni tar-riskju skont il-livell hija l-ewwel regola tal-użu tal-AI f'din il-professjoni.
negozju
Rwol tal-AI
Livell tar-riskju
approvazzjoni finali
Iġġenera abbozz tal-kodiċi
L-ewwel abbozz ta' malajr
medju
Żviluppatur + ittestjar
Verifika tas-sigurtà
Tip, immarkar tal-mudell
għolja ħafna
awditur kompetenti
Skennjar tal-vulnerabbiltà
Lista ta' vulnerabbiltà tal-kandidati
għolja
Spettur + għodda
Analiżi fuq il-katina
Mistoqsija u sommarju
medju
Verifika tal-analista
Mudell tokenomic
Xenarju, abbozz ta' simulazzjoni
għolja
Ekonomista + test
Dokumentazzjoni
Abbozz, simplifikazzjoni
Baxx-Medju
reviżjoni teknika
Tliet fatti li jagħmlu dan iż-żona speċjali
1. Irrevokabbiltà. Ladarba tranżazzjoni tiġi kkonfermata fuq il-blockchain, ma tistax titneħħa. Tista' ċċempel it-trasferiment ħażin fil-bank u jħassarha; M'hemm ħadd li jsejjaħ fil-katina. Huwa għalhekk li l-mentalità ta’ “irranġawha aktar tard” ma taħdimx hawn. Ladarba l-kodiċi prodott mill-AI jittieħed dirett (mainnet - in-netwerk fejn hemm il-flus reali), l-ispiża tal-iżball hija permanenti.
2. Ftuħ u ambjent ostili. Il-kodiċi tal-kuntratt intelliġenti u d-dejta tal-katina huma ġeneralment disponibbli pubblikament. Dan ifisser li kull attakkant fid-dinja qed jeżamina l-kodiċi tiegħek 24/7. Vulnerabbiltà li hija miċħuda bħala "ħadd ma jinduna" f'Web2 tiġi sfruttata f'Web3 fi ftit minuti. Kull ħaġa li tgħid l-AI hija "probabbilment tajjeb" ma tistax tiġi fdata.
3. Intensità tal-frodi. Web3 hija żona fejn huma kkonċentrati proġetti foloz, rug-pulls (l-iżviluppaturi ta 'proġett jiġbru l-flus tal-investitur u jaħarbu) u honeypot (tokens foloz li jistgħu jinxtraw iżda mhux mibjugħa, jinqabdu l-vittma). L-AI tgħin kemm tiskopri dawn in-nases kif ukoll – oqgħod attent – tista’ tintuża biex tipproduċi dawn in-nases f’idejn persuna malizzjuża. Dan il-modulu jgħallem l-użu għal skopijiet difensivi, ta' verifika u ta' żvilupp onest biss.
Attenzjoni: Li tgħid lil AI "iktbilli kuntratt ta' honeypot li jqarraq bl-investituri" jew "kif nista' nisfrutta dan il-protokoll u nirtira l-fondi" huwa użu mhux awtorizzat u mhux etiku. L-użu korrett huwa dejjem: "hemm mudell ta 'honeypot f'dan il-kuntratt", "kif nagħlaq il-vulnerabbiltà f'dan il-protokoll", "kif nivverifika r-riskju f'dan il-kodiċi".
Fejn l-AI hija b'saħħitha u dgħajfa
L-AI hija b'saħħitha f'dan il-qasam biex: tevoka mudelli ta' vulnerabbiltà magħrufa (bħal rientrancy, integer overflow); jispjega b'lingwaġġ sempliċi x'jagħmel kodiċi; abbozzar ta' ttestjar u dokumentazzjoni; kitba ta' mistoqsijiet dwar il-big data; Tispjega kunċett f'livelli differenti.
L-AI hija dgħajfa u qarrieqa għal: issib vulnerabbiltà ġdida/unika (ma tistax taraha jekk ma tkunx fid-dejta tat-taħriġ); valutazzjoni olistika tas-sigurtà ekonomika ta' protokoll; għarfien tal-verżjonijiet attwali tal-librerija u l-aħħar attakki (mhux lil hinn mid-data tal-qtugħ tat-taħriġ); Sentenzi assoluti bħal "dan il-kuntratt huwa sigur". L-AI tista' tagħti assigurazzjonijiet foloz ta' sigurtà b'lingwaġġ fluwenti u kunfidenti - dan huwa l-aktar tip perikoluż ta' alluċinazzjoni f'dan il-qasam.
Dixxiplina biex tivverifika kull output
F'din il-professjoni, l-output tal-AI qatt ma jintuża "kif inhu." Kull output jgħaddi minn tliet filtri:
- Ibni u tittestja: Kodiċi? Ħalliha tiġi kkompilata, ittestjata, u jekk possibbli taħdem fuq netwerk tat-test (testnet - netwerk ta 'prova li mhux flus reali).
- Vettura indipendenti u bniedem: Talba ta' sigurtà? Cross-verifika b'għodda ta 'analiżi statika (bħal Slither) u l-għajn tal-bniedem.
- Rabta mas-sors: Data tal-katina? Kull numru li jiġbor fil-qosor l-AI huwa kkonfermat fl-esploratur tal-blokki attwali (sit li juri d-dejta tal-katina, bħal Etherscan).
Tip: Dejjem għid lill-AI "immarka fejn m'intix ċert u ikteb għaliex m'intix ċert". Huwa ħafna aktar sikur li titlob lill-AI biex tammetti l-inċertezza tagħha milli li tkun siekta tiffabbrikaha.
tliet każijiet żgħar
Każ 1 — L-abbozz kiseb momentum u kontroll. Tim wieħed ipproduċa l-ewwel abbozz ta 'kuntratt ta' staking ma' AI f'sagħtejn; Normalment ħadet madwar ġurnata. Iżda kien hemm lakuna ta 'dħul mill-ġdid fl-abbozz tal-AI - l-irtirar tal-fondi diversi drabi billi ssejjaħ funzjoni mill-ġdid qabel ma tispiċċa. L-awditur qabad dan u kkoreġiha. Lezzjoni: L-AI tħaffef l-abbozz, iżda l-bnedmin jiżguraw is-sigurtà.
Każ 2 — Indirizz falz fl-analiżi on-chain. Analista qal lill-AI biex "jiġbor fil-qosor l-aħħar 10 tranżazzjonijiet ta 'dik il-kartiera." L-AI tat sommarju fluwenti, iżda ġewwa kien hash ta 'tranżazzjoni u indirizz magħmul - alluċinazzjoni. Meta l-analista kkonfermaha fuq Etherscan, ra li ma żammx. Lezzjoni: mhux kull hash ta 'dejta tal-katina hija rrappurtata sakemm tkun ġiet ivverifikata fl-esploratur tal-blokki.
Każ 3 — Fit-tokenomics, xenarju wieħed mar ħażin. Proġett li beda billi bbażat ruħha fuq il-mudell fejn AI qalet "din il-kurva tal-provvista hija sostenibbli". Il-mudell assuma biss ix-xenarju uniku fejn il-prezz dejjem jogħla. Meta s-suq waqa’, l-inċentivi waqgħu. Lezzjoni: għandek bżonn ittestjar tal-istress multiplu, b'xenarju negattiv, rivedut mill-bniedem, mhux mudell AI b'xenarju wieħed.
Etika, privatezza u qafas legali
Minħabba li dan il-qasam huwa kemm finanzjarju kif ukoll kritiku għas-sigurtà, il-piż etiku huwa tqil:
- Użu difensiv: L-informazzjoni dwar il-vulnerabbiltà hija għal skopijiet ta' għeluq, monitoraġġ u difiża biss; Mhux għall-isfruttament.
- Kunfidenzjalità: It-twaħħil ta' kodiċi mhux rilaxxat (sors magħluq) ta' klijent awditjat f'għodda AI disponibbli pubblikament mingħajr permess huwa ksur tal-kuntratt u riskju ta' tnixxija. Kodiċi sigriet jeħtieġ intrapriża/għodda iżolati u l-approvazzjoni tal-klijent.
- Mhux pariri dwar l-investiment: Tokenomics jew analiżi ġġenerati mill-AI mhumiex pariri finanzjarji; Huwa obbligu legali u etiku li tiddikjara dan.
- Responsabbiltà: F'verifika kritika għas-sikurezza, l-approvazzjoni finali hija tal-espert kompetenti li jassumi r-responsabbiltà professjonali. "L-AI qalet hekk" mhix difiża.
Żbalji komuni
- Fidu li l-AI tgħid "sikur". L-AI ma tistax tiggarantixxi s-sigurtà; Jipproduċi biss ħjiel.
- It-trasferiment tal-kodiċi għal mainnet mingħajr ma tipprova fuq testnet. L-irreversibbiltà ma taħferx.
- Tafda l-hash mingħajr ma tivverifika d-dejta tal-katina fl-esploratur tal-blokki. Alluċinazzjoni tiġġenera hash/indirizz.
- Twaħħal il-kodiċi sigriet tax-xerrej fl-għodda miftuħa. Tnixxija u ksur tal-kuntratt.
- Li sserraħ fuq mudell ekonomiku b'xenarju wieħed. Xenarju negattiv huwa meħtieġ.
- Mhux tissepara r-riskju b'livell. Id-dokumentazzjoni u l-awditjar ma jistgħux jiġu ttrattati fl-istess livell ta’ fiduċja.
Fil-qosor
- Fil-Web3, bugs jissarrfu direttament fi flus; L-AI hija assistent tal-aċċeleratur, mhux persuna li tieħu d-deċiżjonijiet.
- Il-kontribuzzjoni tal-AI tiżdied hekk kif tonqos l-ispiża tal-iżball; L-aħħar kelma fl-ispezzjoni kritika għas-sikurezza tappartjeni lill-espert.
- Irrevokabbiltà, ftuħ/ambjent ostili u frodi intensa jagħmlu dan il-qasam speċjali.
- Kull output AI huwa kkompilat u vverifikat b'għodda indipendenti u konnessjoni mas-sors.
- L-użu huwa għal skopijiet ta' difiża, żvilupp onest u infurzar awtorizzat biss.
Kompitu ta' applikazzjoni
Ħu eżempju ta 'kuntratt intelliġenti (jew wieħed li ktibt lilek innifsek jew kuntratt sempliċi open source). Staqsi lill-AI biex l-ewwel tispjega b’lingwaġġ sempliċi x’jagħmel il-kodiċi, imbagħad immarka r-riskji potenzjali bħala “ipoteżi”. Imbagħad ivverifika kull talba billi: (1) tikkumpilaha, (2) għodda ta 'analiżi statika, (3) il-qari tiegħek. Innota f'tabella kemm mill-pretensjonijiet tal-AI ġew ikkonfermati u kemm irriżultaw li kienu foloz.
lista ta' kontroll
- [ ] Iddeterminajt il-livell tar-riskju tax-xogħol tiegħi (dokumentazzjoni jew verifika?).
- [ ] Tlabt lill-AI biex timmarka l-inċertezzi tagħha.
- [ ] I kkumpilajt/ittestjat l-output tal-kodiċi.
- [ ] Ivverifikajt it-talba tas-sigurtà b'vettura indipendenti + bniedem.
- [ ] Ivverifikajt id-dejta tal-katina fl-esploratur tal-blokki.
- [ ] Ma għamiltx il-kodiċi sigriet fl-għodda miftuħa.
- [ ] Jien aċċettajt li l-approvazzjoni finali tas-sigurtà hija tal-espert.