Gnóthachain:
- Cumas patrúin leochaileachta coitianta a aithint amhail athiontráil, rialú rochtana, ionramháil oracle agus rith tosaigh agus iad a scanadh le huirlis anailíse statach + hintleachta saorga + daonna
- Cumas idirdhealú a dhéanamh idir láidreachtaí AI maidir le haschur uirlisí a mhíniú agus tosaíocht a thabhairt do rudaí bréagacha agus laigí i MEV agus loighic ghnó
- A thuiscint nach teastas slándála é ‘scanadh glan’, nach bhfuil sa scanadh ach sraith amháin rialaithe
Chonaiceamar disciplín iomlánaíoch na hiniúchóireachta san aonad roimhe seo. San aonad seo, dírímid ar thopaic níos teicniúla: scanadh leochaileachta — cuardach córasach do phatrúin leochaileachta aitheanta i gcód. Anseo úsáidfimid AI, mar aon le huirlisí anailíse statacha, mar chúntóir a dhéanann scanadh agus cur síos ar phatrúin leochaileachta aitheanta. An sprioc: aithne a chur ar na leochaileachtaí is coitianta go domhain agus idirdhealú a dhéanamh ar an áit a bhfuil AI iontaofa agus nach bhfuil sé leordhóthanach chun iad a scanadh.
Scanadh statach agus dinimiciúil
Tá dhá chineál i gceist leis an scanadh. Anailís statach — an cód a scrúdú gan é a rith: Déanann uirlisí ar nós Slither agus Mythril an cód conartha a scanadh agus patrúin aitheanta a bhratach. Anailís dhinimiciúil/siombalach (an cód a rith le hionchuir dhifriúla nó é a fhiosrú go matamaiticiúil): tá doiléir (buamáil le hionchur randamach) agus cur i gcrích siombalach (ag iniúchadh gach conair fhéideartha) sa ghrúpa seo.
Ní chuirtear AI in ionad na n-uirlisí seo, comhlánaíonn sé iad: nuair a eisíonn an fheithicil rabhadh, míníonn AI an rabhadh i dteanga shimplí; Is féidir le AI a mheabhrú nuair a chailleann an uirlis patrún; Ach ní féidir le AI amháin a ráthú cé mhéad scanann sé. An sreabhadh oibre ceart: uirlis + AI + daonna.
Leid: Tabhair aschur uirlis anailíse statach don AI (m.sh. tuairisc Slither) agus fiafraigh “mínigh gach foláireamh i dteanga shimplí, ar rioscaí fíor iad agus a d’fhéadfadh a bheith ina rudaí bréagacha dearfacha?” fiafraigh. Tá AI thar a bheith luachmhar chun aschur uirlisí amh a dhéanamh intuigthe agus in ord tosaíochta do dhaoine.
Na patrúin leochaileachta is coitianta
1. Athiontráil. Má ghlaonn feidhm conradh seachtrach gan a staid a nuashonrú, is féidir leis an gconradh ar a dtugtar dul ar ais, an fheidhm chéanna a spreagadh arís agus an ciste a tharraingt siar go minic. Réiteach: seiceálacha-éifeachtaí-idirghníomhartha ordú agus reentrancy garda.
2. Easpa rialaithe rochtana. Déantar feidhm ríthábhachtach (tarraingt siar, tarraingt siar, uasghrádú) a phoibliú trí thimpiste. Tá sé ar cheann de na botúin is coitianta agus costasach.
3. Ionramháil oracle. Braitheann an conradh go dall ar fhoinse praghais sheachtrach (oracle). Déanann an t-ionsaitheoir an praghas a ionramháil láithreach agus an prótacal a mhealladh. Réiteach: meánphraghas ualaithe ó thaobh ama (TWAP), ilfhoinse.
4. Slánuimhir thar maoil/teorannú. Nuair a sháraíonn uimhir an t-uasluach ceadaithe agus filleann sí ar an tús. Gabhann Solidity Nua-Aimseartha an chuid is mó de go huathoibríoch, ach tá an riosca fós i gcód íseal-leibhéil (tionóil).
5. Tosaigh-reáchtáil. Tagann idirbhearta sa chomhthiomsú poiblí (mempool) sula ndeimhnítear iad; Is féidir leis an ionsaitheoir d'idirbheart a fheiceáil agus a idirbheart féin a chur isteach os a chomhair. Is é MEV (Uasluach Inbhainte - an luach a bhaintear as seicheamh an idirbhirt) ainm ginearálta an ábhair seo.
6. Diúltú Seirbhíse (DoS). Éiríonn lúb róchostasach agus ní féidir an fheidhm a úsáid, nó éiríonn spleáchas ar sheoladh faoi ghlas.
7. Rioscaí a uasghrádú. Imbhualadh stórála agus mí-úsáid údaráis i gconarthaí uasghrádaithe.
leochaileacht
Iontaobhas scanadh AI
Cén fáth
athiontráil
ard
Maith ar a dtugtar, patrún soiléir
rialú rochtana
ard
Is féidir múnla a scanadh
Oibríochtaí slánuimhir
ard
rialú caighdeánach
Ionramháil Oracle
meánach
Éilíonn comhthéacs
Tosaigh ag rith/MEV
Meán-Íseal
prótacal sonrach
earráid loighic gnó
íseal
Barántúil, comhthéacsúil
Leid lag / Pras láidir
Leid lag:
An bhfuil bearna sa chód seo?
Leid chumhachtach:
Do ról: cúntóir scagthástála slándála. Déan an conradh thíos a scanadh le haghaidh na bpatrún aitheanta seo a leanas agus “i mbaol/níl/neamhchinnte” do gach ceann díobh: athiontráil, rialú rochtana, oibríochtaí slánuimhir, spleáchas oracle, rith tosaigh, DoS, uasghrádú slándála. Ceangail gach cinneadh leis an líne ábhartha agus mínigh cén fáth a bhfuil riosca ann. Is hipitéisí iad seo a FÍORófar le huirlis anailíse statach agus le hiniúchóir. Tabhair faoi deara go bhféadfadh dearfacha bréagacha a bheith ann.
Ceithre theimpléad inchóipeála
1) Cur síos ar aschur uirlisí:
Seo thíos an tuarascáil ar uirlis anailíse statach (Slither). Mínigh gach foláireamh i dteanga shimplí: cad a chiallaíonn sé, an baol dáiríre é nó dearfach bréagach a d’fhéadfadh a bheith ann, cad ba cheart a bheith mar thosaíocht aige? Ná déan cinneadh daingean; Tosaíocht a thabhairt do dheimhniú an iniúchóra.
2) Scagadh atá dírithe ar athiontráil:
Faigh na feidhmeanna go léir a dhéanann glaonna seachtracha sa chonradh seo. Scrúdaigh an bhfuil an t-ordú seiceálacha-éifeachtaí-idirghníomhaíochtaí á leanúint do gach ceann acu agus an bhfuil garda athiontrála ann. Taispeáin na cinn contúirteacha le líne. Marcáil mura bhfuil tú cinnte; Cód saothrú a ghiniúint.
3) Léarscáil rialaithe rochtana:
Déan liosta de na feidhmeanna seachtracha/poiblí go léir sa chonradh seo agus sonraigh “cé atá in ann glaoch” (gach duine/úinéir/ról) do gach ceann díobh. Déan oibríochtaí criticiúla (tarraingt siar, priontáil, uasghrádú) agus marcáil iad siúd a bhfuil rialú rochtana lag acu. Cuir tábla i láthair é.
4) Díothú dearfach bréagach:
Smaoinigh ar an bhfáth nach mbeadh an rabhadh scanta seo ina riosca REAL (dearfach bréagach): cén comhthéacs nó coinníoll cóid a dhéanfadh neamhbhailíocht ar an rabhadh seo? Ach ná habair "níl fadhb ar bith"; Déan liosta de na pointí ar gá a dhearbhú.
Trí chás mion (i líon)
Cás 1 – Feithicle + AI éifeachtacht faoi dhó. Reáchtáil foireann amháin Slither ar thionscadal 12 chonradh agus fuair siad 140 rabhadh. Nuair a bhí an AI againn chun na foláirimh a mhíniú agus a chur in ord tosaíochta, tháinig sé amach go raibh 95 de na 140 foláireamh dearfach bréagach; Dhírigh an fhoireann ar 45 iarrthóir fíor. Laghdaigh an t-am triage ó 2 lá go 5 uair an chloig. Ceacht: Tá AI cumhachtach ag daonnachadh aschur feithicle.
Cás 2 - D'fhuascail AI MEV. I gconradh DEX (malartú díláraithe), fuair an AI na patrúin caighdeánacha glan ach níor éirigh leo leochaileacht tosaigh a bhrath; toisc go raibh sé seo sainiúil d’ord oibríochtaí an phrótacail. Iniúchóir daonna agus insamhalta a gabhadh. Ceacht: Réimse lag AI is ea rioscaí a bhaineann go sonrach le prótacal ar nós MEV/rith tosaigh.
Cás 3 - Seachnaíodh am a chur amú ar dheimhneach bréagach. Sábháladh an fhoireann athscríobh gan ghá nuair a mhínigh an AI go raibh rabhadh athiontrála i ndáiríre dearfach bréagach (bhí an fheidhm cosanta cheana féin). Ach dheimhnigh an fhoireann é fós le tástáil amháin. Ceacht: Tugann AI tosaíocht; Tagann an deimhniú arís le tástáil.
Teorainneacha scanadh
Aimsíonn an scanadh patrúin aitheanta. Ní ráthaítear don uirlis ná don AI leochaileacht nua, uathúil nó prótacal-shonrach a bhrath. Mar sin, tá scagadh mar chuid den iniúchadh; ní é féin. Is é an smaoineamh go bhfuil "an scanadh glan, mar sin ciallaíonn sé go bhfuil sé sábháilte" ar cheann de na míthuiscintí is contúirtí sa réimse seo. Roghnaíonn dreidireacht na torthaí ísealchrochta; Le haghaidh rioscaí domhain uathúla, tá saineolas daonna, tástáil, doiléir agus iniúchadh foirmiúil riachtanach.
Aire: Ní deimhniú slándála é tuairisc “glan” ar uirlis scanadh nó AI. Tá sé míthreorach agus mí-eiticiúil é a chur i láthair ar an mbealach sin - go háirithe d'infheisteoirí.
Botúin choitianta
- Scagadh a chur in ionad iniúchta. Is sraith amháin é scanadh, ní an t-iomlán.
- Ag baint úsáide as AI gan uirlisí. Anailís statach + AI + obair dhaonna le chéile.
- Deireadh a chur le dearfacha bréagacha gan deimhniú. Déantar gach scáileán a thástáil / a fhíorú ag an duine.
- Rioscaí a bhaineann go sonrach le prótacal (MEV) a sheachaint trí bheith ag brath ar AI. Limistéar lag AI.
- Smaoineamh "glan scan" = "safe". Ní féidir leis an anaithnid a aimsiú.
- Cód saothrú a ghiniúint. Níl ach cur síos ar riosca cosantach dlisteanach.
Go hachomair
- Féachann scanadh leochaileachta le patrúin leochaileachta aitheanta le feithicil + AI + daonna.
- Tá AI cumhachtach maidir le haschur uirlisí anailíse statacha a mhíniú agus a chur in ord tosaíochta.
- Iontaofa i bpatrúin shoiléire amhail athiontráil agus rialú rochtana; Lag i MEV agus loighic gnó.
- Teastaíonn deimhniú fiú chun rudaí dearfacha bréagacha a dhíchur.
- Ní teastas slándála é "scan glan"; Ní ionadach é do mhaoirseacht.
Tasc feidhmchláir
Rith uirlis anailíse statach ar chonradh samplach (más féidir) nó faigh tuairisc Slither réamhdhéanta. Cuir an leid "cur síos ar aschur uirlisí" i bhfeidhm ar an AI. Déan an méid seo a leanas a mheas: (1) an míníonn an AI rabhaidh i gceart, (2) an bhfuil ciall le hidirdhealú a dhéanamh idir rudaí dearfacha bréagacha, agus (3) an bhfuil riosca prótacal sonrach in easnamh. Líon isteach na colúin “feithicil aimsithe / AI mínithe / daingnithe daonna” i dtábla.
seicliosta
- [ ] Shuigh mé an phóirse mar shraith den rialú.
- [ ] Bhain mé úsáid as uirlis anailíse statach + AI + daonna le chéile.
- [ ] Chuardaigh mé catagóir de réir catagóire le haghaidh patrúin aitheanta.
- [ ] Chuir mé deireadh le dearfacha bréagacha le deimhniú.
- [ ] Bhraith mé ar dhaoine i réimsí laga mar loighic MEV/gnó.
- [ ] Níor thairg mé “clean sweep” mar dhearbhú.
- [ ] Níor oibrigh mé ach chun críocha cosanta; Ní raibh mé a chruthú exploits.