Awọn anfani:
- Ni anfani lati lo itetisi atọwọda lailewu ni ṣiṣejade iwe funfun, NatSpec, itumọ imọ-rọrun ati ifihan eewu ati oye pe eyi ni aaye ti o ni iṣelọpọ julọ.
- Agbara lati rii daju ibeere imọ-ẹrọ kọọkan pẹlu koodu gangan ati yọ ọrọ abukun ati ede atilẹyin ọja kuro lati yago fun eewu ti iwe ti ko tọ
- Agbara lati gba awọn eewu ni otitọ, “kii ṣe imọran inawo” ikilọ ati aitasera-koodu iwe
Awọn iwe aṣẹ ni Web3 kii ṣe igbadun, ṣugbọn ọrọ ti aabo ati igbẹkẹle. Nipa ibaraenisepo pẹlu adehun ọlọgbọn, olumulo naa ṣe ewu owo gidi rẹ; Ti ko ba loye ohun ti o n ṣe, o ṣii lati tan jẹ. Oluyẹwo ko le ṣe ayẹwo koodu lailewu ti ko ni akọsilẹ daradara. Ninu ẹyọ yii, a bo agbegbe nibiti AI jẹ igbẹkẹle julọ ati lilo daradara: iwe ati kikọ imọ-ẹrọ. Lati iwe funfun si awọn asọye koodu, lati itọsọna olumulo si awọn ifitonileti eewu, AI jẹ isodipupo agbara gidi kan nibi - niwọn igba ti a ba ṣe abojuto deedee ti eniyan.
Orisi ti Web3 iwe
- Iwe funfun / iwe ikawe: Iwe ipilẹ ti n ṣapejuwe iran, siseto ati awọn tokenomics ti iṣẹ akanṣe naa.
- Awọn iwe imọ-ẹrọ: Awọn atọkun adehun, itọsọna iṣọpọ fun awọn olupilẹṣẹ.
- NatSpec (Ethereum Adayeba Ede Specification — Standard in-koodu asọye kika ni Solidity ti o se apejuwe ohun ti awọn iṣẹ ṣe): Iwe ifibọ ninu koodu, ka nipa mejeeji eniyan ati ọpa.
- Itọsọna olumulo: Ọrọ itele ti n sọ fun olumulo ipari "bi o ṣe le lo, awọn ewu wo ni o wa".
- AlAIgBA: Awọn ikilọ ti a beere ni ofin ati ti iṣe.
Iṣoro ti o wọpọ pẹlu awọn iru wọnyi: awọn olupilẹṣẹ ko nifẹ lati kọ ati nigbagbogbo fi silẹ si akoko to kẹhin. AI fọwọsi aafo yii gangan.
Kini idi ti iwe-ipamọ jẹ agbegbe ailewu julọ ti AI
Awọn iye owo ti aṣiṣe ninu iwe ni kekere ju ni iṣatunṣe: ọkan ti ko tọ gbolohun ti wa ni atunse, ko si owo fo (taara). Ni afikun, AI lagbara nipa ti ara ni iṣelọpọ ede. Nitorinaa AI jẹ mejeeji daradara ati ailewu ailewu nibi. Ṣugbọn awọn ewu pataki meji wa:
- Ibeere imọ-ẹrọ eke: AI le ṣe afihan ohun ti koodu naa ṣe; Eyi ṣi olumulo lọna ati pe o le di ailagbara aabo (ayafi ti o sọ pe “iṣẹ yii ṣe aabo awọn owo rẹ” ati pe ko ṣe).
- Ede hyperbole / tita: AI le gbe ede ti o jẹ ki iṣẹ akanṣe dabi ailewu tabi ni ere; Eyi jẹ mejeeji iṣoro iṣe ati ofin.
Išọra: Awọn iwe apejuwe koodu; Kii ṣe koodu funrararẹ. Gbogbo iṣeduro imọ-ẹrọ ti AI kọ (“eyi ṣẹlẹ”, “ti o ṣetọju”) gbọdọ jẹri ni ilodi si koodu gangan. Awọn iwe ti ko tọ le jẹ ewu diẹ sii ju koodu to tọ nitori olumulo gbẹkẹle iwe naa.
Awọn fẹlẹfẹlẹ ti lilo AI ni iwe
1. NatSpec iran. AI ka iṣẹ ti o wa tẹlẹ ati ṣe apẹrẹ itumọ NatSpec: kini o ṣe, kini awọn aye rẹ jẹ, kini o pada. Eyi ṣe simplifies ayewo ati itọju.
2. Itumọ imọ-rọrun. AI tumọ ẹrọ eka kan si ede ti olumulo ipari le loye - ọkan ninu awọn iwulo nla julọ ti Web3.
3. Whitepaper ìla ati be. AI ṣe agbejade egungun ati awọn apakan ti iwe funfun kan; Ipeye akoonu jẹ eniyan.
4. Multilingualism ati atunṣe ipele. AI le gbejade akoonu kanna, mejeeji imọ-ẹrọ ati itele, ni Tọki ati Gẹẹsi mejeeji.
Ailagbara kiakia / Alagbara kiakia
Ibere ailagbara:
Kọ iwe funfun kan fun iṣẹ akanṣe yii.
AI ṣe arosọ, o ṣee ṣe eke, ati ẹda ti o kun fun tita laisi mimọ ẹrọ gangan.
Ibere ti o lagbara:
Rẹ ipa: Web3 imọ onkqwe. Ni isalẹ ni ẹrọ GIDI, tokenomics ati koodu ti ise agbese na. Kọ iwe apẹrẹ ti iwe funfun kan ti o da lori alaye yii nikan. Awọn ofin: - Maṣe ṣagbega, MAA ṢE lo awọn gbolohun ọrọ bi "èrè idaniloju", "ailewu patapata" ati bẹbẹ lọ - Ipilẹ ẹtọ imọ-ẹrọ kọọkan lori ẹrọ ti mo fun; Ma ṣe fi iro kun.- Ṣafikun apakan "Awọn ewu" ti o sọ awọn ewu ni kedere.- Fi ikilọ kan kun "Eyi kii ṣe imọran owo." Samisi eyikeyi alaye ti o ko ni idaniloju tabi ti Emi ko ni bi [LATI FÚN].
Mẹrin daakọ awọn awoṣe
1) iran NatSpec:
Kọ awọn asọye NatSpec boṣewa si iṣẹ atẹle: @ akiyesi (kini, lasan), @dev (akọsilẹ imọ-ẹrọ), @param ati @pada. Kọ nikan ohun ti koodu KOTO ṣe; Ṣafikun ihuwasi ti ko si ninu koodu naa. Ṣe asia ipa ti o ko ni idaniloju nipa.
2) Itumọ imọ-rọrun:
Ṣe alaye ilana yii ni Tọki ti o han gbangba pe olumulo alakobere crypto le loye: kini o ṣe, kini o yẹ ki olumulo ṣe, Kini awọn eewu wa nibẹ? Àsọdùn; ko si lopolopo ti aabo. Maṣe tọju awọn ewu, mu wọn wa si iwaju.
3) Ewu/apakan ìkìlọ:
Kọ apakan “Awọn Ewu ati Awọn Ikilọ” otitọ kan fun iṣẹ akanṣe yii: eewu smartcontract, eewu ọja, eewu oloomi, aidaniloju ilana, ipadanu bọtini. Ṣe alaye ewu kọọkan ni ede mimọ. Ma ko underestimate awọn ewu; pari pẹlu "eyi kii ṣe imọran owo."
4) Ayẹwo aitasera koodu iwe:
Ni isalẹ ni iṣẹ kan ati awọn iwe aṣẹ ti o wa. Samisi awọn aaye nibiti iwe-ipamọ naa ti tako tabi yọkuro iwa ihuwasi ti koodu naa. Ṣiṣe ipinnu ipari; Fi silẹ fun "ijẹrisi awọn olupilẹṣẹ".
Awọn ọran kekere mẹta (ni awọn nọmba)
Irú 1 - NatSpec ṣe ayewo soke. Ẹgbẹ kan fi iwe adehun iṣẹ 25 silẹ fun atunyẹwo laisi asọye; Awọn ẹniti nṣe ayẹwo iwe-owo beere fun afikun akoko lati ni oye awọn kannaa. Ẹgbẹ naa ṣe agbejade awọn iyaworan NatSpec pẹlu AI ati timo kọọkan pẹlu koodu; Igbaradi iṣayẹwo ti kuru nipasẹ o fẹrẹ to ọjọ kan. Ẹkọ: iwe ti o dara dinku iye owo iṣayẹwo.
Ọran 2 - Eke ẹtọ mu. Iwe afọwọkọ olumulo ti YZ ṣe sọ pe “awọn owo rẹ le yọkuro nigbakugba”; nigba ti titiipa ọjọ meje wa ninu adehun naa. Atunwo imọ-ẹrọ mu eyi. Ti o ba jẹ atẹjade, awọn olumulo yoo jẹ aṣiṣe ati ki o jẹ olufaragba. Ẹkọ: gbogbo ẹtọ imọ-ẹrọ jẹ timo nipasẹ koodu.
Ọran 3 - Exaggeration nso soke. Ninu iwe kikọ funfun akọkọ, AI lo awọn ikosile bii “ipadabọ giga laisi eewu”. Ẹgbẹ naa yọ awọn wọnyi kuro ati ṣafikun apakan eewu ooto kan. Eyi ṣe aabo iṣẹ akanṣe mejeeji ni ihuwasi ati ni ofin. Ẹkọ: Irẹjẹ tita AI gbọdọ jẹ ayẹwo.
Iwa ẹru iwe
Awọn iwe Web3 ti wa ni kika ni aaye kan nibiti olumulo ti n fi owo wọn wewu. Nitorina:
- Otitọ: Awọn ewu ko le farapamọ ati pe a ko le ṣe awọn ileri abumọ.
- Yiye: Awọn ibeere imọ-ẹrọ gbọdọ baramu koodu naa; "Iwe-ipamọ naa sọ bẹ" kii ṣe aabo, ṣugbọn kuku jẹ aiṣedeede.
- Wiwọle: Kikọ ni ede ti olumulo loye gangan jẹ iwọn aabo; Iwe-ipamọ ti ko ni oye jẹ ipe si ẹtan.
- AlAIgBA: O yẹ ki o sọ kedere pe kii ṣe imọran owo ati aidaniloju ilana.
Imọran: Idanwo otitọ ti iwe Web3 kan: "Ti olumulo kan ba fi owo si igbẹkẹle iwe-ipamọ yii nikan, ṣe oun yoo ni imọlara ẹtan nigbati o dojukọ otitọ?" Ṣe afihan AI nigbagbogbo apakan eewu, ma ṣe sin ni ipari.
Awọn aṣiṣe ti o wọpọ
- Ko jẹrisi ẹtọ imọ-ẹrọ pẹlu koodu. Iwe ti ko tọ si ṣi olumulo lọna.
- Gbigbe ede aruwo/tita silẹ. Iwa ati ofin ewu.
- Dinku tabi fifipamọ awọn ewu. Pipa ti igbekele.
- Titẹjade iwe funfun laisi fifun ẹrọ gidi si AI. O ṣe agbejade awọn iṣelọpọ.
- Ikilọ ti “kii ṣe imọran owo”. Ofin ọranyan.
- Ko tọju awọn iwe ni amuṣiṣẹpọ pẹlu koodu. Nigbati koodu ba yipada, iwe-ipamọ naa di aṣiwere.
Ni akojọpọ
- Awọn iwe aṣẹ jẹ ọrọ ti aabo ati igbẹkẹle Web3; O jẹ aaye ti o munadoko julọ ti AI.
- Iye idiyele aṣiṣe jẹ kekere, ṣugbọn awọn iṣeduro imọ-ẹrọ eke ati abumọ jẹ awọn eewu to ṣe pataki.
- Gbogbo ẹtọ imọ-ẹrọ gbọdọ jẹrisi nipasẹ koodu gidi; Iwe naa ko rọpo koodu naa.
- Awọn ewu yẹ ki o kọ ni otitọ ati pataki; Àsọdùn ati ede idaniloju yẹ ki o yọkuro.
- "Kii ṣe imọran owo" ati awọn ikilọ ilana jẹ dandan.
Ohun elo iṣẹ-ṣiṣe
Gba iṣẹ adehun ọlọgbọn kan. Fun AI ni kiakia “Ipilẹṣẹ NatSpec” ki o ṣe afiwe laini itumọ ti ipilẹṣẹ nipasẹ laini pẹlu ihuwasi gangan ti koodu - ṣe awọn ariyanjiyan eyikeyi wa bi? Lẹhinna gbejade “itumọ imọ-itumọ” ati “apakan eewu/Ikilọ” fun iṣẹ kanna. Wa ati ṣatunṣe o kere ju alaye kan ti AI ti o jẹ abumọ tabi tako koodu naa.
akojọ ayẹwo
- [] Mo timo gbogbo imọ nipe pẹlu gangan koodu.
- [] Mo ti kuro awọn exaggerations/ẹri.
- [] Mo kowe awọn ewu ni otitọ ati ṣe afihan wọn.
- [] Mo fun AI ni ẹrọ gidi; Emi ko jẹ ki o ṣe.
- [] Mo fi ikilọ naa kun "Eyi kii ṣe imọran owo."
- [] Mo ti kowe NatSpec ni kikun fun ọkọ ati iṣakoso.
- [] Mo gbero lati tọju awọn iwe-ipamọ ni imuṣiṣẹpọ pẹlu koodu naa.