Awọn anfani:
- Agbara lati ṣe idanimọ awọn ilana ailagbara ti o wọpọ gẹgẹbi isọdọtun, iṣakoso iwọle, ifọwọyi oracle ati ṣiṣiṣẹ iwaju ati ṣayẹwo wọn pẹlu ohun elo itupalẹ aimi + oye atọwọda + eniyan
- Agbara lati ṣe iyatọ laarin awọn agbara AI ni ṣiṣe alaye iṣelọpọ ọpa ati iṣaju awọn rere eke ati awọn ailagbara ni MEV ati ọgbọn iṣowo
- Loye pe 'ọlọjẹ mimọ' kii ṣe ijẹrisi aabo, ọlọjẹ naa jẹ ipele iṣakoso kan
A rii ibawi pipe ti iṣatunwo ni ẹyọ ti iṣaaju. Ninu ẹyọ yii, a dojukọ koko-ọrọ imọ-ẹrọ diẹ sii: wíwo ailagbara - wiwa eleto fun awọn ilana ailagbara ti a mọ ni koodu. Nibi a yoo lo AI, papọ pẹlu awọn irinṣẹ itupalẹ aimi, bi oluranlọwọ ti o ṣe ayẹwo ati ṣapejuwe awọn ilana ailagbara ti a mọ. Ibi-afẹde: lati mọ awọn ailagbara ti o wọpọ julọ ni ijinle ati iyatọ nibiti AI jẹ igbẹkẹle ati nibiti ko pe ni ọlọjẹ wọn.
Aimi ati ki o ìmúdàgba Antivirus
Ṣiṣayẹwo jẹ ti awọn oriṣi meji. Onínọmbà aimi - ṣe ayẹwo koodu naa laisi ṣiṣiṣẹ rẹ: Awọn irinṣẹ bii Slither ati Mythril ṣe ọlọjẹ koodu adehun ati awọn ilana ti a mọ asia. Yiyi to / aami onínọmbà (nṣiṣẹ awọn koodu pẹlu o yatọ si awọn igbewọle tabi ṣawari o mathematiki): fuzzing (bombarding pẹlu ID input) ati AMI ipaniyan (iwakiri gbogbo awọn ti ṣee ipa ọna) ṣubu sinu egbe yi.
AI ko rọpo awọn irinṣẹ wọnyi, o ṣe afikun wọn: nigbati ọkọ ba ṣe ikilọ, AI ṣe alaye ikilọ ni ede mimọ; AI le leti nigbati ọpa ba padanu ilana kan; Ṣugbọn AI nikan ko le ṣe iṣeduro iye ti o ṣawari. Ṣiṣan iṣẹ ti o tọ: ọpa + AI + eniyan.
Imọran: Fun AI ni abajade ti ohun elo itupalẹ aimi (fun apẹẹrẹ ijabọ Slither) ki o beere “ṣalaye titaniji kọọkan ni ede itele, eyiti o jẹ awọn eewu gidi ati eyiti o le jẹ awọn idaniloju eke?” beere. AI ṣe pataki ni ṣiṣe iṣelọpọ ohun elo aise ni oye ati pataki si eniyan.
Awọn ilana ailagbara ti o wọpọ julọ
1. Reentrancy. Ti iṣẹ kan ba pe iwe adehun ita lai ṣe imudojuiwọn ipo rẹ, adehun ti a pe le pada sẹhin, fa iṣẹ kanna lẹẹkansi ki o yọ owo naa kuro ni igba pupọ. Solusan: sọwedowo-awọn ipa-ibaraṣepọ aṣẹ ati oluso iwọle.
2. Aini iṣakoso wiwọle. Iṣẹ pataki kan (yiyọkuro, yiyọ kuro, igbesoke) jẹ lairotẹlẹ ni gbangba. O jẹ ọkan ninu awọn aṣiṣe ti o wọpọ julọ ati gbowolori.
3. Ifọwọyi Oracle. Igbẹkẹle afọju iwe adehun lori orisun idiyele ita (oracle). Olukọni naa ṣe afọwọyi idiyele lẹsẹkẹsẹ ati tan ilana naa jẹ. Solusan: iye owo iwọn-akoko (TWAP), orisun-pupọ.
4. Odidi aponsedanu / underfall. Nigbati nọmba kan ba kọja iye ti o pọju ti o gba laaye ati pada si ibẹrẹ. Solidity Modern mu pupọ julọ rẹ laifọwọyi, ṣugbọn eewu naa wa ni koodu ipele kekere (apejọ).
5. Iwaju-nṣiṣẹ. Awọn iṣowo han ni gbangba pool (mempool) ṣaaju ki o to ti wa ni timo; Olukọni le rii idunadura rẹ ki o fi sii idunadura tirẹ ni iwaju rẹ. MEV (Iye Iyọkuro ti o pọju - iye ti a fa jade lati ọna idunadura) jẹ orukọ gbogbogbo ti koko-ọrọ yii.
6. Kiko Iṣẹ (DoS). Lupu kan di gbowolori pupọ ati pe yoo jẹ ki iṣẹ naa ko ṣee lo, tabi igbẹkẹle lori adirẹsi di titiipa.
7. Awọn ewu igbesoke. Ijamba ibi ipamọ ati ilokulo aṣẹ ni awọn adehun igbegasoke.
ailagbara
igbekele Antivirus AI
Kí nìdí
reentrancy
ga
Ti a mọ daradara, apẹrẹ ti o han gbangba
wiwọle Iṣakoso
ga
Mimu le ṣe ayẹwo
Awọn iṣẹ odidi
ga
boṣewa Iṣakoso
Ifọwọyi Oracle
alabọde
Nbeere ọrọ-ọrọ
Iwaju-nṣiṣẹ / MEV
Alabọde-Kekere
Ilana pato
owo kannaa aṣiṣe
kekere
Òtítọ́, àyíká ọ̀rọ̀
Ailagbara kiakia / Alagbara kiakia
Ibere ailagbara:
Ṣe nibẹ a loophole ni yi koodu?
Ibere ti o lagbara:
Rẹ ipa: aabo waworan Iranlọwọ. Ṣe ayẹwo iwe adehun ni isalẹ fun awọn ilana ti a mọ ni atẹle ati “ni eewu/ko si/aidaniloju” fun ọkọọkan: isọdọtun, iṣakoso iwọle, awọn iṣẹ odidi, oracledependency, ṣiṣe iwaju, DoS, aabo igbesoke. Ṣe asopọ ipinnu kọọkan si laini ti o yẹ ki o ṣalaye idi ti eewu kan wa. Iwọnyi jẹ awọn idawọle ti YOO jẹri pẹlu ohun elo itupalẹ aimi ati oluyẹwo. Ṣe akiyesi pe o le jẹ awọn idaniloju eke.
Mẹrin daakọ awọn awoṣe
1) Apejuwe igbejade irinṣẹ:
Ni isalẹ ni ijabọ ti ohun elo itupalẹ aimi (Slither). Ṣe alaye gbigbọn kọọkan ni ede itele: kini o tumọ si, o jẹ eewu gidi tabi rere eke ti o ṣeeṣe, kini o yẹ ki o jẹ pataki rẹ? Maṣe ṣe ipinnu iduroṣinṣin; Ni ayo fun ìmúdájú ẹniti nṣe ayẹwo iwe-owo.
2) Ṣiṣayẹwo idojukọ ifọkansi pada:
Wa gbogbo awọn iṣẹ ti o ṣe awọn ipe ita ni adehun yii. Ṣayẹwo boya aṣẹ awọn iṣayẹwo-awọn ipa-ibaraẹnisọrọ tẹle fun ọkọọkan wọn ati boya oluso atunwọle wa. Ṣe afihan awọn eewu pẹlu laini kan. Samisi ti o ko ba ni idaniloju; Ti o npese lo nilokulo koodu.
3) Maapu iṣakoso wiwọle:
Ṣe atokọ gbogbo awọn iṣẹ ita/gbangba ninu adehun yii ki o pato “ẹniti o le pe” (gbogbo eniyan/oni/ipa) fun ọkọọkan. Ṣe awọn iṣẹ ṣiṣe pataki (yọkuro, tẹjade, igbesoke) ati samisi awọn ti o ni iṣakoso iwọle alailagbara. Gbekalẹ pẹlu tabili kan.
4) Imukuro rere eke:
Wo idi ti ikilọ ọlọjẹ yii le ma jẹ eewu GIDI (daadaa eke): agbegbe wo tabi ipo koodu yoo sọ ikilọ yii di asan? Ṣugbọn maṣe sọ pe "ko si iṣoro rara"; Ṣe atokọ awọn aaye ti o nilo ijẹrisi.
Awọn ọran kekere mẹta (ni awọn nọmba)
Ọran 1 - Ọkọ + AI ti ilọpo meji ṣiṣe. Ẹgbẹ́ kan sáré Slither lórí iṣẹ́ àdéhùn méjìlá kan, wọ́n sì gba ìkìlọ̀ 140. Ni kete ti a ni AI ṣe alaye ati ṣe pataki awọn titaniji, o yipada pe 95 ti awọn itaniji 140 jẹ awọn idaniloju eke; Ẹgbẹ naa dojukọ awọn oludije gidi 45. Akoko ipinya dinku lati awọn ọjọ 2 si awọn wakati 5. Ẹkọ: AI jẹ alagbara ni iṣelọpọ ọkọ eniyan.
Ọran 2 - AI jija MEV. Ninu iwe adehun DEX kan (paṣipaarọ ti a ti sọtọ), AI rii awọn ilana boṣewa ti o mọ ṣugbọn kuna lati rii ailagbara ti nṣiṣẹ iwaju; nitori eyi jẹ pato si ilana ilana ti awọn iṣẹ ṣiṣe. Human ẹniti nṣe ayẹwo iwe-owo ati kikopa sile. Ẹkọ: Awọn ewu-pataki Ilana bi MEV/Ṣiṣe iwaju jẹ agbegbe ailera AI.
Ọran 3 - Yago fun jafara akoko lori rere eke. A gba ẹgbẹ naa kuro ni atunkọ ti ko wulo nigbati AI ṣe alaye pe ikilọ atunkọ jẹ otitọ otitọ eke (iṣẹ naa ti ni aabo tẹlẹ). Ṣugbọn ẹgbẹ naa tun jẹrisi pẹlu idanwo kan. Ẹkọ: AI ṣe pataki; Ijẹrisi lẹẹkansi wa pẹlu idanwo.
Awọn ifilelẹ ti awọn Antivirus
Ayẹwo naa wa awọn ilana ti a mọ. Bẹni ọpa tabi AI ko ni iṣeduro lati rii tuntun, alailẹgbẹ tabi ailagbara-pataki kan. Nitorina, ibojuwo jẹ apakan ti iṣayẹwo; kii ṣe funrararẹ. Imọran pe “ọlọjẹ naa jẹ mimọ, nitorinaa o tumọ si pe o wa ni ailewu” jẹ ọkan ninu awọn aburu ti o lewu julọ ni aaye yii. Dredging gbe soke ni kekere-ike eso; Fun awọn eewu ti o jinlẹ ati alailẹgbẹ, imọran eniyan, idanwo, iruju ati iṣayẹwo deede jẹ pataki.
Išọra: Ijabọ “mimọ” ti ohun elo ọlọjẹ tabi AI kii ṣe ijẹrisi aabo. Fifihan ni ọna yẹn - paapaa si awọn oludokoowo - jẹ ṣina ati aiṣedeede.
Awọn aṣiṣe ti o wọpọ
- Fidipo ibojuwo fun ayewo. Ṣiṣayẹwo jẹ ipele kan, kii ṣe gbogbo.
- Lilo AI laisi awọn irinṣẹ. Ayẹwo aimi + AI + iṣẹ eniyan papọ.
- Imukuro awọn idaniloju eke laisi idaniloju. Iboju kọọkan jẹ idanwo / idaniloju eniyan.
- Nipasẹ awọn eewu-pataki ilana-iṣe (MEV) nipa gbigbekele AI. Agbegbe ailera AI.
- Lerongba "ayẹwo mimọ" = "ailewu". Ko le ri aimọ.
- Ti o npese lo nilokulo koodu. Apejuwe eewu igbeja nikan jẹ ẹtọ.
Ni akojọpọ
- Ṣiṣayẹwo ailagbara n wa awọn ilana ailagbara ti a mọ pẹlu ọkọ + AI + eniyan.
- AI lagbara ni ṣiṣe alaye ati iṣaju iṣaju ohun elo itupalẹ aimi.
- Gbẹkẹle ni awọn ilana ti o han gbangba gẹgẹbi isọdọtun ati iṣakoso wiwọle; Alailagbara ni MEV ati oye iṣowo.
- Paapaa imukuro awọn idaniloju eke nilo ijẹrisi.
- “Ayẹwo mimọ” kii ṣe ijẹrisi aabo; Kii ṣe aropo fun abojuto.
Ohun elo iṣẹ-ṣiṣe
Ṣiṣe ohun elo itupalẹ aimi lori iwe adehun ayẹwo (ti o ba ṣeeṣe) tabi wa ijabọ Slither ti o ti ṣetan. Waye “apejuwe igbejade irinṣẹ” tọ si AI. Ṣe ayẹwo boya AI: (1) ṣe alaye awọn ikilọ ni deede, (2) ni oye ni iyatọ laarin awọn idaniloju eke, ati (3) padanu eewu kan pato ti ilana. Fọwọsi awọn ọwọn “ọkọ ti a rii / AI ṣe alaye / idaniloju eniyan” ninu tabili kan.
akojọ ayẹwo
- [] Mo ti gbe awọn niyeon bi Layer ti Iṣakoso.
- [] Mo ti lo aimi onínọmbà ọpa + AI + eda eniyan jọ.
- [] Mo wa ẹka nipasẹ ẹka fun awọn ilana ti a mọ.
- [] Mo ti yọkuro awọn idaniloju eke pẹlu ìmúdájú.
- [] Mo gbarale eniyan ni awọn agbegbe alailagbara gẹgẹbi MEV/ ọgbọn-ọrọ iṣowo.
- [] Emi ko funni ni “fifẹ mimọ” bi idaniloju.
- [] Mo ṣiṣẹ nikan fun awọn idi aabo; Emi ko ṣẹda exploits.