Nkeji 4 / 11

Nyocha nke adịghị ike: Ụdị adịghị ike na-emekarị na nyocha akpaaka

Uru:

  • Ikike ịmata ụkpụrụ adịghị ike nkịtị dị ka ịbata, njikwa ohere, njikwa okwu na ịgba ọsọ n'ihu wee jiri ngwa nyocha static + ọgụgụ mmadụ
  • Ikike ịmata ọdịiche dị n'etiti ike AI n'ịkọwapụta mmepụta ngwá ọrụ na ibute ụzọ adịgboroja na adịghị ike na MEV na mgbagha azụmahịa.
  • Ghọta na 'nyocha dị ọcha' abụghị akwụkwọ nchekwa, nyocha ahụ bụ naanị otu njikwa njikwa

Anyị hụrụ ọzụzụ holistic nke nyocha na ngalaba gara aga. N'ime nkeji a, anyị na-elekwasị anya na isiokwu teknụzụ ka ukwuu: nyocha adịghị ike - nyocha usoro maka usoro adịghị ike ama ama na koodu. N'ebe a, anyị ga-eji AI, yana ngwaọrụ nyocha static, dị ka onye enyemaka na-enyocha ma na-akọwa usoro adịghị ike ama ama. Ebumnuche: ịmara ihe ọghọm ndị a na-ahụkarị na omimi ma mata ebe AI nwere ntụkwasị obi na ebe ezughị oke na nyocha ha.

Nyocha dị nhịahụ na ike

Nyocha bụ ụdị abụọ. Nyocha dị iche iche - nyochaa koodu ahụ na-ejighị ya: Ngwa ndị dị ka Slither na Mythril nyochaa koodu nkwekọrịta na ọkọlọtọ amaara ụkpụrụ. Ntụle dị omimi / ihe atụ (na-agba ọsọ koodu na ntinye dị iche iche ma ọ bụ nyochaa ya na mgbakọ na mwepụ): fuzzing (bombarding na random input) na ihe atụ ogbugbu (ịchọgharị ụzọ niile kwere omume) dabara n'ime otu a.

AI anaghị edochi ngwaọrụ ndị a, ọ na-emeju ha: mgbe ụgbọ ala na-enye ịdọ aka ná ntị, AI na-akọwa ịdọ aka ná ntị n'asụsụ dị larịị; AI nwere ike icheta mgbe ngwá ọrụ na-atụfu ụkpụrụ; Mana AI naanị enweghị ike ikwe nkwa ole ọ na-enyocha. Usoro ọrụ ziri ezi: ngwá ọrụ + AI + mmadụ.

NDỤMỌDỤ: Nye AI mmepụta nke ngwá ọrụ nyocha static (dịka Slither akụkọ) wee jụọ "kọwapụta ọkwa ọ bụla n'asụsụ dị larịị, nke bụ ihe egwu dị adị na nke nwere ike ịbụ ihe dị mma?" juo. AI bara uru n'ime ka mmepụta ngwa ọrụ dị mfe nghọta ma bụrụ ndị mmadụ na-ebute ụzọ.

Ụdị adịghị ike kachasị

1. Nlaghachi. Ọ bụrụ na ọrụ na-akpọ nkwekọrịta mpụga na-emeliteghị steeti ya, nkwekọrịta a na-akpọ nwere ike ịlaghachi azụ, kpalite otu ọrụ ahụ ọzọ wee wepụ ego ahụ ọtụtụ oge. Ngwọta: usoro nlele-mmetụta-usoro mmekọrịta yana nche nnabata.

2. Enweghị njikwa ohere. A na-eme ka ọhaneze na mberede rụọ ọrụ dị oke egwu (mwepu, nkwụsị, nkwalite). Ọ bụ otu n'ime mmejọ ndị a na-ahụkarị ma dị oke ọnụ.

3. Oracle aghụghọ. Nkwekọrịta kpuru ìsì dabere na isi iyi ọnụahịa mpụga (oracle). Onye na-awakpo ahụ na-emegharị ọnụ ahịa ahụ ozugbo wee duhie usoro ahụ. Ngwọta: Nkezi ọnụahịa oge (TWAP), isi iyi ọtụtụ.

4. Integer na-erubiga ókè / ọdịda. Mgbe ọnụọgụ karịrị oke anabatara ma laghachi na mmalite. Solidity ọgbara ọhụrụ na-ejide ọtụtụ n'ime ya na-akpaghị aka, mana ihe egwu dị na koodu obere ọkwa (mgbakọ).

5. N'ihu na-agba ọsọ. Azụmahịa na-apụta na ọdọ mmiri ọha (mempool) tupu akwadoro ha; Onye na-awakpo ahụ nwere ike ịhụ azụmahịa gị wee tinye azụmahịa nke ya n'ihu ya. MEV (Uru a na-ewepụ nke ukwuu - uru e nwetara site na usoro azụmahịa) bụ aha izugbe nke isiokwu a.

6. Deal of Service (DoS). Akara aka na-adị oke ọnụ ma mee ka ọrụ ahụ ghara ịrụ ọrụ, ma ọ bụ ịdabere na adreesị na-akpọchi.

7. Nweta nkwalite. Nkwekọrịta nchekwa na iji ikike eme ihe na nkwekọrịta nkwalite.

adịghị ike

ntụkwasị obi nyocha AI

Ntak

nnabata

elu

Ụkpụrụ amaara nke ọma, doro anya

njikwa ohere

elu

Enwere ike inyocha ebu

Ọrụ ọnụọgụgụ

elu

njikwa ọkọlọtọ

Ntugharị Oracle

ọkara

Achọrọ okirikiri

Na-agba ọsọ n'ihu/MEV

Ọkara- Ala

protocol kpọmkwem

njehie mgbagha azụmahịa

ala

Ezigbo, ihe gbasara okwu

Ngwa ngwa adịghị ike / Ike siri ike

Ngwa ngwa adịghị ike:

Enwere oghere na koodu a?

Mgbasa ozi siri ike:

Ọrụ gị: onye enyemaka nyocha nchekwa. Nyochaa nkwekọrịta dị n'okpuru maka ụkpụrụ ndị a ama ama yana "n'ihe ize ndụ / enweghị / amaghị" maka onye ọ bụla: nlọghachi azụ, njikwa ohere, ọrụ integer, oracledependency, n'ihu na-agba ọsọ, DoS, kwalite nchekwa. Jikọọ mkpebi ọ bụla na ahịrị dị mkpa ma kọwaa ihe kpatara enwere ihe ize ndụ. Ndị a bụ echiche ndị a ga-eji ngwa nyocha na onye nyocha nyocha. Rịba ama na enwere ike ịnwe echiche ụgha.

Ndebiri anọ enwere ike iṅomi

1) Nkọwapụta ngwa ọrụ:

N'okpuru ebe a bụ akụkọ nke ngwá ọrụ nyocha static (Slither). Kọwaa mkpu ọ bụla n'asụsụ doro anya: gịnị ka ọ pụtara, ọ bụ ihe ize ndụ n'ezie ma ọ bụ ihe ga-ekwe omume ụgha, gịnị kwesịrị ịbụ ihe kacha mkpa? Emela mkpebi siri ike; Nye ụzọ maka nkwenye onye nyocha.

2) Nleba anya nlọghachi azụ:

Chọta ọrụ niile na-eme oku mpụga na nkwekọrịta a. Nyochaa ma a na-agbaso usoro nlele-mmetụta-mmekọrịta maka onye ọ bụla n'ime ha yana ma ọ nwere onye nche nloghachi. Gosi ndị dị ize ndụ nwere ahịrị. Kaa akara ma ọ bụrụ na ị maghị; Na-emepụta koodu nrigbu.

3) Maapụ njikwa ohere:

Depụta ọrụ niile dị na mpụga/ọha na nkwekọrịta a wee kọwapụta “onye nwere ike ịkpọ” (onye ọ bụla/onye nwe/ọrụ) maka nke ọ bụla. Mee ọrụ dị oke egwu (wepụ, bipụta, kwalite) ma kaa ndị nwere njikwa ohere adịghị ike. Were okpokoro weta ya.

4) Mwepu nke ọma ụgha:

Tụlee ihe kpatara ịdọ aka ná ntị nyocha a nwere ike ọ gaghị abụ ihe egwu dị adị (ezigbo ụgha): kedu ihe gbara ya gburugburu ma ọ bụ ọnọdụ koodu ga-emebi ịdọ aka ná ntị a? Ma asịla "enweghị nsogbu ọ bụla"; Depụta isi ihe ndị chọrọ nkwenye.

Obere ikpe atọ (na ọnụọgụgụ)

Ikpe 1 - Ụgbọ ala + AI ji okpukpu abụọ rụọ ọrụ. Otu ìgwè gbara Slither n'ọrụ nkwekọrịta iri na abụọ ma nweta ịdọ aka ná ntị 140. Ozugbo anyị nwere AI kọwapụta ma na-ebute ọkwa ndị ahụ ụzọ, ọ tụgharịrị na 95 nke ọkwa 140 bụ ụgha ụgha; Ndị otu ahụ lekwasịrị anya na 45 ezigbo ndị na-aga ime. Oge ntanye belatara site na ụbọchị 2 ruo awa 5. Ihe nkuzi: AI dị ike na mmepụta ụgbọ ala mmadụ.

Ikpe 2 - AI jidere MEV. N'ime nkwekọrịta DEX (mgbanwe a na-ekewaghị ekewa), AI hụrụ ụkpụrụ ọkọlọtọ dị ọcha mana ọ naghị achọpụta adịghị ike na-aga n'ihu; n'ihi na nke a bụ kpọmkwem maka usoro ọrụ nke protocol. E jidere onye nyocha mmadụ na ịme anwansị. Ihe nkuzi: Ihe egwu akọwapụtara nke protocol dị ka MEV/n'ihu na-agba ọsọ bụ mpaghara AI na-adịghị ike.

Ikpe nke 3 - Zere igbu oge na ezigbo ụgha. E chebere ndị otu ahụ idegharị na-enweghị isi mgbe AI kọwara na ịdọ aka ná ntị ịlaghachi azụ bụ n'ezie ihe dị mma (a na-echekwa ọrụ ahụ). Mana otu ahụ ka ji otu ule gosi ya. Ihe nkuzi: AI na-ebute ụzọ; Nkwenye ọzọ na-abịa na nnwale.

Oke nke nyocha

Nyocha ahụ na-achọpụta ụkpụrụ amaara. Agaghị ekwe nkwa na ngwaọrụ ahụ ma ọ bụ AI ga-achọpụta adịghị ike ọhụrụ, pụrụ iche ma ọ bụ protocol akọwapụtara. Ya mere, nyocha bụ akụkụ nke nyocha; ọ bụghị onwe ya. Echiche nke na "nyocha ahụ dị ọcha, ya mere ọ pụtara na ọ dị mma" bụ otu n'ime echiche na-ezighị ezi kachasị dị ize ndụ na mpaghara a. Ihichapu na-eburu mkpụrụ osisi dị ala; Maka ihe egwu dị omimi na nke pụrụ iche, nka nke mmadụ, nnwale, fuzzing na nyocha nkịtị dị mkpa.

Kpachara anya: Akụkọ “dị ọcha” nke ngwa nyocha ma ọ bụ AI abụghị asambodo nchekwa. Igosi ya otú ahụ - karịsịa nye ndị ọchụnta ego - bụ ihe na-eduhie eduhie na enweghị ụkpụrụ.

Mmejọ ndị nkịtị

  • Dochie nyocha maka nyocha. Nyocha bụ otu oyi akwa, ọ bụghị dum.
  • Iji AI na-enweghị ngwaọrụ. Static analysis + AI + mmadụ na-arụkọ ọrụ ọnụ.
  • Na-ekpochapụ ụgha ụgha na-enweghị nkwenye. A na-anwale ihuenyo ọ bụla/nnwapụta mmadụ.
  • Ịgafe ihe egwu-kpọmkwem protocol (MEV) site na ịdabere na AI. Mpaghara AI adịghị ike.
  • Na-eche "nyocha ọcha" = "nchekwa". Ọ nweghị ike ịhụ ihe amaghị.
  • Na-emepụta koodu nrigbu. Naanị nkọwa ihe egwu nchekwa bụ ihe ziri ezi.

Na nchịkọta

  • Nyocha nke adịghị ike na-achọ ụkpụrụ adịghị ike ama ama na ụgbọ ala + AI + mmadụ.
  • AI dị ike n'ịkọwa na ịkwado mmepụta ngwá ọrụ nyocha static.
  • Kwesịrị ntụkwasị obi na ụkpụrụ doro anya dị ka ịbanye na njikwa ohere; Adịghị ike na MEV na mgbagha azụmahịa.
  • Ọbụna ikpochapụ ụgha ụgha chọrọ nkwenye.
  • "Nyocha dị ọcha" abụghị akwụkwọ nchekwa; Ọ bụghị ihe nnọchi anya nlekọta.

Ọrụ ngwa

Gbaa ngwa nyocha static na nkwekọrịta nlele (ọ bụrụ na ọ ga-ekwe omume) ma ọ bụ chọta akụkọ Slither emebere ya. Tinye "nkọwa mmepụta ngwá ọrụ" ngwa ngwa na AI. Nyochaa ma AI: (1) kọwara ịdọ aka ná ntị n'ụzọ ziri ezi, (2) nwere ezi uche n'ịmata ọdịiche dị n'etiti echiche ụgha, na (3) na-atụfu ihe ize ndụ akọwapụtara nke ọma. Dejupụta kọlụm "ụgbọ ala achọtara / AI kọwara / mmadụ kwadoro" na tebụl.

ndetu

  • [] Etinyere m oghere ahụ dị ka oyi akwa nke njikwa.
  • [ ] Eji m ngwá ọrụ nyocha static + AI + mmadụ ọnụ.
  • [ ] Achọkwara m udi site na otu maka usoro amaara.
  • [] M wepụrụ ụgha ụgha na nkwenye.
  • [ ] M tụkwasịrị obi na ụmụ mmadụ na mpaghara adịghị ike dị ka MEV / azụmahịa mgbagha.
  • [ ] E nyeghị m "ịzacha dị ọcha" dị ka mmesi obi ike.
  • M na-arụ ọrụ naanị maka nchekwa nchekwa; Ọ bụghị m ike ịkpagbu.