Gnóthachain:
- Cumas a thuiscint go leathnaíonn intleacht shaorga raon feidhme an iniúchóra, ach ní chuirtear in ionad é, agus tá sé úsáideach i scanadh catagóirí agus dréachtú a aimsiú.
- A bheith in ann a aithint gur chaill hintleachta saorga an bhunearráid leochaileachta agus loighic ghnó, agus nach dearbhú é ráiteas ‘slán’ líofa
- Cumas torthaí a rangú de réir a leibhéal tromchúisí agus a thuiscint go bhfuil an ceadú deiridh agus an fhreagracht ghairmiúil ag an iniúchóir inniúil.
Is é iniúchadh slándála (scrúdú córasach ar chonradh cliste le haghaidh leochaileachtaí) an post is mó atá freagrach as Web3. D'fhéadfadh caillteanais na milliúin dollar a bheith mar thoradh ar líne aonair a chailleann iniúchóir. San aonad seo foghlaimeoidh tú conas AI a úsáid mar chúntóir iniúchta; Foghlaimeoimid ó leideanna a ghiniúint go dtí imlíne ar thorthaí a scríobh. Ach is é an abairt is tábhachtaí ná seo: ní rialaíonn AI; Is cúntóir é a ghéaraíonn súil an iniúchóra. Is faoin iniúchóir inniúil a ghlacann freagracht ghairmiúil an formheas deiridh.
Cén fáth a bhfuil iniúchóireacht ríthábhachtach ó thaobh slándála
Tugann tuarascáil iniúchta suaimhneas don tionscadal agus d’infheisteoirí “go ndearnadh athbhreithniú ar an gcód seo”. Má tá an dearbhú seo bréagach, tá na hiarmhairtí tubaisteach: prótacal shaothrú, maoiniú caillte, tionscadal tite. Dá bhrí sin, is é úsáid AI i gcigireacht an chuid is cúramach den mhodúl seo. Leathnaíonn AI raon feidhme an iniúchóra (meabhraíonn sé níos mó patrúin, léann níos tapúla) ach ní chuireann sé in ionad an iniúchóra.
Cén fáth nach n-éiríonn leis? Toisc:
- Ní féidir le AI an leochaileacht uathúil/nua nach bhfuil sna sonraí oiliúna a fheiceáil.
- Is minic a chailleann AI an locht i loighic ghnó an phrótacail - go bhfuil an cód ceart go teicniúil ach insaothraithe go heacnamaíoch.
- Is féidir le AI athdhearbhú bréagach a thabhairt trí “sábháilte” a rá i dteanga líofa; Is é seo an toradh is contúirtí.
Sraitheanna de úsáid AI i rialú
1. Scanadh tosaigh agus meabhrúchán patrún. Téann AI trí phatrúin leochaileachta aitheanta cosúil le seicliosta: athiontráil, rialú rochtana, ionramháil oracle, rith tosaigh. Cinntíonn sé seo nach gcaillfidh an t-iniúchóir aon chatagóir.
2. Cód míniú. Trí fheidhm chasta a mhíniú don AI i dteanga shimplí ligeann don iniúchóir an loighic a thuiscint go tapa; ach cuirtear an tuairisc i gcomparáid leis an gcód i gcónaí.
3. Dréacht de thorthaí a scríobh. Nuair a aimsíonn an t-iniúchóir leochaileacht, sábhálann AI am chun dréacht na tuarascála a scríobh (cur síos, tionchar, réiteach molta).
4. Frithhipitéis a ghiniúint. Iarr ar an AI "conas is féidir mí-úsáid a bhaint as an bhfeidhm seo?" Cuireann " ceist " an dearcadh ionsaitheach i gcuimhne dúinn.
Aird: Díreach mar a deir an AI "Níor aimsigh mé aon leochaileachtaí sa chód seo" NACH gciallaíonn sé "tá an cód seo sábháilte". Ní easpa fianaise é fianaise neamhláithreachta. Toisc nach féidir leis an AI rud a aimsiú, ní gá don iniúchóir an réimse sin a scrúdú.
Leibhéil déine a aimsiú
Déantar torthaí iniúchta a rangú de réir a leibhéal déine. Ba cheart do AI an creat seo a úsáid agus dréachtaí á nginiúint:
Leibhéal
Brí
shampla
criticiúil
Cailliúint/frithdhúnadh cistí go díreach is féidir
Cistí a tharraingt siar le hathiontráil
ard
Tionchar tromchúiseach i gcoinníollacha áirithe
Priontáil neamhúdaraithe (miontas)
meánach
Tionchar teoranta nó riocht deacair
caillteanas beag le diall oracle
íseal
Riosca beag, sárú ar dhea-chleachtas
Craoladh imeacht ar iarraidh
Eolas
Neamhshlándáil, inléiteacht
Easpa NatSpec
Leid lag / Pras láidir
Leid lag:
An bhfuil an conradh seo sábháilte?
Cuireann an cheist seo iallach ar an AI breithiúnas iomlán, gan údar a thabhairt mar “tá/níl” — go díreach cad nach bhfuil uainn.
Leid chumhachtach:
Do ról: cúntóir don iniúchóir sinsearach um chonarthaí cliste. Scan an conradh seo a leanas le haghaidh slándála. Téigh trí na catagóirí seo a leanas ceann ar cheann: athiontráil, rialú rochtana, oibríochtaí slánuimhir, bailíochtú ionchuir, sonraí oracle/seachtracha, rith tosaigh, teorainn gháis. I gcás gach TORTHAÍ: (1) líne ábhartha an chóid, (2) an riosca is cúis leis, (3) an déine mheasta (Criticiúil/Ard/Meánach/Íseal), (4) togra réitigh. Seo HIPOTAIS LE DEARBHÚ; Ná tabhair fíorasc "sábháilte". Marcáil na réimsí nach bhfuil tú cinnte fúthu ag rá go soiléir "lig don iniúchóir a dheimhniú".
Ceithre theimpléad inchóipeála
1) Brabhsáil bunaithe ar chatagóir:
Déan an conradh seo a scanadh do na catagóirí seo a leanas: athiontráil, rialú rochtana, ró-shreabhadh slánuimhir, bailíochtú ionchuir, spleáchas oracle, rith tosaigh, DoS/gás. Maidir le gach catagóir, abair "níl/níl aon bhaol/níl mé cinnte" agus ceangail do chosaint leis an líne sa chód. Ná déan breithiúnas deiridh.
2) Frithhipitéis ó thaobh an ionsaitheora:
Smaoinigh cosúil le ionsaitheoir: cad iad na bealaí chun mí-úsáid a bhaint as an bhfeidhm seo? Scríobh gach cás céim ar chéim agus cuir in iúl cad iad na coinníollacha a theastaíonn. Is iad na cásanna seo na hipitéisí atá le tástáil; NÁ giniúint cód leas a bhaint as iarbhír, ach cur síos ar an riosca.
3) Dréacht-tuarascáil ar thorthaí:
Tuairiscigh an toradh fíoraithe seo a leanas i dteanga iniúchóireachta fhoirmiúil: teideal, déine, cur síos, tionchar, cód lena mbaineann, céimeanna atáirgeadh, réiteach molta. Úsáid teanga tomhaiste agus theicniúil; áibhéil. Glac leis go ndeimhníonn an t-iniúchóir an cinneadh, ná déan suas cinneadh nua.
4) Fíorú Deisigh:
Anseo thíos tá leochaileacht agus an socrú a chuireann an forbróir i bhfeidhm. Scrúdú a dhéanamh an ndúnann an feistiú an leochaileacht; marc cé acu an gcruthaíonn sé fo-iarmhairt nua nó leochaileacht. Ná habair "dúnta" go cinnte; Críoch le "Ní mór a dhearbhú trí thástáil".
Trí chás mion (i líon)
Cás 1 - Coiscthe AI ó hopping catagóir. Bhí iniúchóir ar tí díriú ar chonradh 400-líne agus gan bacadh leis an gcatagóir oracle. Thug scanadh catagóir AI rabhadh go bhfuil "sonraí praghais ó fhoinse amháin, ar féidir a ionramháil". Scrúdaigh an t-iniúchóir é agus fuair sé amach gur riosca meánach a bhí ann. Ceacht: Coinníonn AI smacht clúdach.
Cás 2 – Dearbhú “sábháilte” bréagach. D'fhiafraigh foireann eile den AI "an bhfuil sé seo sábháilte?" d'iarr sé; "Ní cosúil go bhfuil fadhb shuntasach," a dúirt AI. Bhí iniúchadh na foirne éadrom. Ansin fuair an t-iniúchóir neamhspleách locht ar loighic gnó: ríomh a bhí ceart go teicniúil ach a raibh a dhreasachtaí insaothraithe. Ceacht: cailleann AI earráid loighic gnó; Ní féidir muinín a bheith aige "sábháilte" a rá.
Cás 3 - Sábháil 3 huaire an chloig nuair a dhréachtaíodh an tuarascáil. Bhí leath an lae á chaitheamh ag an iniúchóir ag tuairisciú 8 gcinn de thorthaí de láimh. Nuair a thug mé na torthaí fíoraithe don AI agus a phriontáil an dréacht oifigiúil, thit an t-am faoi ~ 3 uair an chloig; Chaith an t-iniúchóir am ar dhoimhniú. Ceacht: Tá AI sábháilte agus éifeachtach maidir le tuairisciú toisc go bhfuil na torthaí fíoraithe cheana féin go daonna.
Leochaileacht loighic ghnó: láthair dall AI
Is minic nach dtagann na leochaileachtaí is costasaí ó earráid theicniúil sa chód, ach ó insaothraithe na loighce gnó: saothrú cuntas luaíochta a shlánú, fuadach vóta ar iasacht ar an bhfód, ionramháil mheandarach praghais. Is cásanna iad seo ina n-oibríonn an cód "i gceart" ach is féidir an prótacal a mhealladh go heacnamaíoch. Is dócha go gcaillfidh AI earráidí den sórt sin - go háirithe cinn a bhaineann go sonrach le prótacal. Dá bhrí sin, is é athbhreithniú loighic gnó an réimse is déine daonna den iniúchóir agus an ceann is lú ag brath ar AI.
Leid: Fiafraigh den AI “conas is féidir leas a bhaint as dreasachtaí eacnamaíocha an phrótacail seo?” agus bain úsáid as na cásanna a thagann aníos mar phointe tosaigh - ach cuimhnigh gur cheart duit féin agus do d'fhoireann an fíor-anailís a dhéanamh.
Botúin choitianta
- Iarr ar an AI "an bhfuil sé sábháilte?" Ag iarraidh agus ag muinín do yes. Níl breithiúnas iomlán ag teastáil.
- An t-athbhreithniú a stopadh nuair a deir an AI "Ní raibh mé in ann é a aimsiú". Ní fianaise é neamhláithreacht.
- Athbhreithniú ar loighic gnó a tharmligean chuig AI. Is é a láthair dall is mó é.
- Gan úsáid a bhaint as uirlisí neamhspleácha (Slither etc.). Ní leor AI amháin.
- An toradh a rinne an AI a chur isteach sa tuarascáil gan é a fhíorú. Riosca siabhránachtaí.
- Ag iarraidh freagracht rialaithe a chur ar AI. Tá an fhreagracht ar an saineolaí.
Go hachomair
- Tá an t-iniúchadh ríthábhachtach don tsábháilteacht; Leathnaíonn AI raon feidhme an iniúchóra ach ní chuireann sé in ionad é.
- Chailleann AI an leochaileacht bunaidh agus fabht loighic an ghnó; Ní dearbhú é "sábháilte" a rá.
- Aicmítear torthaí de réir leibhéal déine; Tá AI úsáideach chun dréachtaí a ghiniúint.
- Caomhnaíonn frithhipitéis agus scagadh catagóirí disciplín na cuimsitheachta.
- Is ar an iniúchóir inniúil i gcónaí a bhíonn formheas deiridh agus freagracht ghairmiúil.
Tasc feidhmchláir
Faigh conradh samplach ina bhfuil leochaileacht aitheanta (chun críocha oideachais, tá samplaí de "chonarthaí leochaileacha" ar fáil i bhfoinse oscailte). Cuir an leid "scanadh catagóir-bhunaithe" i bhfeidhm ar an AI. Tabhair faoi deara ar aimsigh an AI: (1) an fíor-leochaileacht, (2) torthaí déanta nó bréagacha, (3) breithiúnais iomlána amhail “slán”. Ansin déan é a chur i gcomparáid le huirlis anailíse statach.
seicliosta
- [ ] Fiafraigh den AI "an bhfuil sé sábháilte?" Ina áit sin, bhí scanadh catagóir-bhunaithe agam.
- [ ] Dhéileáil mé le gach toradh mar hipitéis.
- [ ] Rinne mé an t-athbhreithniú loighic gnó mé féin/foireann.
- [ ] Chros-bhailíochtaigh mé é le huirlis neamhspleách anailíse statach.
- [ ] Tá sé deimhnithe agam nach ndéanann an AI torthaí a dhéanamh.
- [ ] Rinne mé na torthaí a rangú de réir leibhéal na déine.
- [ ] Ghlac mé leis go luíonn an formheas deiridh leis an iniúchóir inniúil.