Riba:
- Ikon gane alamun rashin ƙarfi na gama gari kamar sake dawowa, ikon samun dama, magudin magana da gudanar da gaba da duba su tare da kayan aikin bincike na tsaye + hankali na ɗan adam + ɗan adam
- Ability don bambanta tsakanin ƙarfin AI a cikin bayanin fitar da kayan aiki da ba da fifiko ga ingantaccen inganci da rauni a cikin MEV da dabarun kasuwanci
- Yi la'akari da cewa 'clean scan' ba takardar shaidar tsaro ba ce, cewa yin sikanin wani nau'in sarrafawa ne kawai
Mun ga cikakken horo na tantancewa a sashin da ya gabata. A cikin wannan naúrar, muna mai da hankali kan ƙarin batun fasaha: bincikar rashin lahani - bincike na tsari don sanannun alamun rauni a lamba. Anan za mu yi amfani da AI, tare da kayan aikin bincike a tsaye, a matsayin mataimaki wanda ke bincika da kuma bayyana alamun rashin lafiyar da aka sani. Manufar: don sanin mafi yawan lahani na yau da kullum a cikin zurfi da kuma bambanta inda AI ke dogara da inda bai isa ba a bincika su.
A tsaye da tsayayyen bincike
Ana dubawa iri biyu ne. Binciken a tsaye - bincika lambar ba tare da gudanar da shi ba: Kayan aiki kamar Slither da Mythril suna bincika lambar kwangila da tuta sanannun alamu. Bincike mai ƙarfi/tambayi (gudanar da lambar tare da bayanai daban-daban ko bincika ta ta hanyar lissafi): fuzzing (bama-bamai tare da shigar da bazuwar) da aiwatar da kisa na alama (bincike duk hanyoyin da za a iya) sun fada cikin wannan rukunin.
AI baya maye gurbin waɗannan kayan aikin, yana cika su: lokacin da abin hawa ya ba da gargaɗi, AI ya bayyana gargaɗin a cikin harshe mara kyau; AI na iya tunatarwa lokacin da kayan aiki ya rasa tsari; Amma AI kadai ba zai iya ba da garantin nawa ya bincika ba. Gudun aikin da ya dace: kayan aiki + AI + mutum.
Tukwici: Ba wa AI fitar da kayan aikin bincike na tsaye (misali rahoton Slither) kuma tambaya "bayyana kowane faɗakarwa cikin harshe bayyananne, waɗanne haɗari ne na gaske kuma waɗanne na iya zama tabbataccen ƙarya?" tambaya. AI yana da kima wajen samar da albarkatun kayan aiki mai sauƙin fahimta da fifiko ga mutane.
Mafi yawan yanayin lahani na gama gari
1. Maimaitawa. Idan wani aiki ya kira kwangilar waje ba tare da sabunta yanayinsa ba, kwangilar da ake kira zai iya komawa baya, sake kunna wannan aikin kuma ya janye asusun sau da yawa. Magani: duba-sakamakon oda na hulɗa da mai gadin dawowa.
2. Rashin kulawar shiga. Aiki mai mahimmanci (janyewa, cirewa, haɓakawa) ana bayyana shi cikin bazata. Yana daya daga cikin mafi yawan kurakurai da tsada.
3. Maganin Oracle. Makauniyar dogaron kwangilar akan tushen farashin waje (oracle). Maharin yana sarrafa farashin nan take kuma ya yaudari ka'idar. Magani: Matsakaicin farashi mai nauyin lokaci (TWAP), tushe mai yawa.
4. lambatu ambaliya/karkashi. Lokacin da lamba ta wuce iyakar da aka yarda da ita kuma ta koma farkon. Solidity na zamani yana kama mafi yawansu ta atomatik, amma haɗarin ya kasance a cikin ƙaramin matakin (taro) lambar.
5. Gaba-gaba. Ma'amaloli suna bayyana a cikin tafkin jama'a (mempool) kafin a tabbatar da su; Mai hari zai iya ganin cinikin ku kuma ya saka nasa ciniki a gabanta. MEV (Maximal Extractable Value - ƙimar da aka samo daga jerin ma'amala) shine babban sunan wannan batu.
6. Rashin Sabis (DoS). Madauki ya zama mai tsada da yawa kuma yana sa aikin ya zama mara amfani, ko dogaro ga adireshi ya zama kulle.
7. Haɓaka haɗari. Hadarin ajiya da cin zarafin hukuma a cikin kwangilar haɓakawa.
rauni
Amintaccen scanning AI
Me yasa
sake dawowa
babba
Sananniya, bayyanannen tsari
ikon samun damar shiga
babba
Ana iya yin leken asiri
Ayyukan lamba
babba
daidaitaccen iko
Maganin Oracle
matsakaici
Yana buƙatar mahallin
Gaba-gaba/MEV
Matsakaici-Ƙasashe
ƙayyadaddun ƙa'ida
kuskuren dabaru na kasuwanci
ƙananan
Na gaske, mahallin mahallin
Rauni mai ƙarfi / Ƙarfi mai ƙarfi
Rawanin faɗakarwa:
Akwai madogara a cikin wannan lambar?
Ƙarfi mai ƙarfi:
Matsayin ku: mataimakin tantance tsaro. Bincika kwangilar da ke ƙasa don sanannun alamu masu zuwa kuma "a cikin haɗari / babu / rashin tabbas" ga kowannensu: sake dawowa, ikon samun dama, ayyukan ƙididdiga, dogara ga magana, gaba-gaba, DoS, haɓaka tsaro. Haɗa kowane ƙuduri zuwa layin da ya dace kuma bayyana dalilin da yasa akwai haɗari. Waɗannan hasashe ne waɗanda ZA'A TABBATA tare da kayan aikin bincike na tsaye da mai duba. Lura cewa za a iya samun tabbataccen ƙarya.
Samfura huɗu masu kwafi
1) Bayanin fitar da kayan aiki:
A ƙasa akwai rahoton kayan aikin bincike a tsaye (Slither). Bayyana kowane faɗakarwa a cikin harshe bayyananne: menene ma'anarsa, shin haɗari ne na gaske ko kuma yiwuwar tabbataccen ƙarya, menene ya kamata ya zama fifikonsa? Kada ku yanke shawara mai tsauri; Ba da fifiko don tabbatar da mai duba.
2) Nuna mayar da hankali:
Nemo duk ayyukan da ke yin kira na waje a cikin wannan kwangilar. Bincika ko an bi odar-sakamakon-mu'amala ga kowannensu da ko akwai mai gadin dawowa. Nuna masu haɗari tare da layi. Yi alama idan ba ku da tabbas; Ƙirƙirar lambar amfani.
3) Taswirar sarrafawa:
Jera duk ayyukan waje/jama'a a cikin wannan kwangilar kuma saka "wanda zai iya kira" (kowa/mai/mai rawa) ga kowane. Yi ayyuka masu mahimmanci (janye, bugu, haɓakawa) kuma yi alama ga waɗanda ke da raunin ikon samun dama. Gabatar da shi tare da tebur.
4) Kawar da qarya mai kyau:
Yi la'akari da dalilin da ya sa wannan gargaɗin binciken ba zai zama haɗari na GASKIYA ba (ƙarya mai kyau): wane yanayi ko yanayin lamba zai ɓata wannan gargaɗin? Amma kar a ce "babu matsala"; Jera abubuwan da ke buƙatar tabbaci.
Karama guda uku (a cikin lambobi)
Case 1 - Motar + AI ta ninka inganci. Wata ƙungiya ta gudanar da Slither a kan aikin kwangila 12 kuma ta sami gargaɗi 140. Da zarar mun sami AI ya bayyana kuma ya ba da fifiko ga faɗakarwa, ya juya cewa 95 na faɗakarwar 140 sun kasance tabbataccen ƙarya; Tawagar ta mayar da hankali kan 'yan takara 45 na gaske. Lokacin rarrabewa ya ragu daga kwanaki 2 zuwa sa'o'i 5. Darasi: AI yana da ƙarfi wajen fitar da abin hawa.
Shari'a 2 - AI ta sace MEV. A cikin kwangilar DEX (musayar da aka raba), AI ta sami daidaitattun tsarin tsabta amma ta kasa gano raunin gaba-gaba; saboda wannan ya keɓanta da tsarin ƙa'idar aiki. An kama mai binciken ɗan adam da kwaikwayo. Darasi: ƙayyadaddun ƙayyadaddun ƙa'idodi kamar MEV/gudu-gaba sune yanki mai rauni AI.
Hali na 3 - Guji ɓata lokaci akan tabbataccen ƙarya. An kare ƙungiyar daga sake rubutawa da ba dole ba lokacin da AI ta bayyana cewa gargaɗin sake dawowa ya kasance tabbataccen ƙarya (an riga an kiyaye aikin). Amma har yanzu kungiyar ta tabbatar da hakan da gwaji guda. Darasi: AI yana ba da fifiko; Tabbatarwa kuma yana zuwa tare da gwaji.
Iyaka na dubawa
Scan ya samo sanannun alamu. Ba kayan aiki ko AI ba su da tabbacin gano sabon, na musamman ko ƙayyadaddun rauni na yarjejeniya. Don haka, tantancewa wani bangare ne na tantancewa; ba kansa ba. Tunanin cewa "scan ɗin yana da tsabta, don haka yana nufin ba shi da lafiya" yana ɗaya daga cikin kuskuren kuskure mafi haɗari a wannan filin. Dredging yana ɗaukar ƙananan 'ya'yan itace masu rataye; Don haɗari mai zurfi da na musamman, ƙwarewar ɗan adam, gwaji, fuzzing da dubawa na yau da kullun suna da mahimmanci.
Tsanaki: Rahoton "tsabta" na kayan aikin dubawa ko AI ba takaddun tsaro ba ne. Gabatar da shi haka - musamman ga masu zuba jari - yaudara ne da rashin da'a.
Kuskuren gama gari
- Maye gurbin dubawa don dubawa. Ana dubawa Layer ɗaya ne, ba duka ba.
- Yin amfani da AI ba tare da kayan aiki ba. Static analysis + AI + aiki tare.
- Kawar da maganganun karya ba tare da tabbatarwa ba. Ana gwada kowane allo/tabbatar ɗan adam.
- Ketare ƙayyadaddun ƙayyadaddun ƙa'idodi (MEV) ta hanyar dogaro da AI. Yankin rauni na AI.
- Tunanin "clean scan" = "lafiya". Ba zai iya samun wanda ba a sani ba.
- Ƙirƙirar lambar amfani. Bayanin haɗarin tsaro kawai shine halal.
A takaice
- Binciken rashin lahani yana neman sanannun alamun rashin ƙarfi tare da abin hawa + AI + ɗan adam.
- AI yana da ƙarfi wajen yin bayani da ba da fifiko ga fitar da kayan aikin bincike a tsaye.
- Amintacce a cikin bayyanannun alamu kamar sake dawowa da ikon samun dama; Rauni a cikin MEV da dabaru na kasuwanci.
- Ko da kawar da maganganun karya yana buƙatar tabbaci.
- "Tsaftataccen dubawa" ba takardar shaidar tsaro ba; Ba madadin kulawa ba ne.
Aikin aikace-aikace
Gudanar da kayan aikin bincike a tsaye akan kwangilar samfurin (idan zai yiwu) ko nemo rahoton Slither da aka shirya. Aiwatar da "bayanin fitarwa kayan aiki" da sauri zuwa AI. Yi la'akari ko AI: (1) yayi bayanin gargaɗi daidai, (2) yana da ma'ana a bambance tsakanin tabbataccen ƙarya, da (3) ya ɓace takamaiman ƙayyadaddun ƙa'idar. Cika ginshiƙan "motar da aka samo / AI bayyana / ɗan adam ya tabbatar" a cikin tebur.
jerin abubuwan dubawa
- [ ] Na sanya ƙyanƙyashe a matsayin Layer na sarrafawa.
- [ ] Na yi amfani da kayan aikin bincike a tsaye + AI + ɗan adam tare.
- [ ] Na bincika nau'i ta nau'i don sanannun alamu.
- [ ] Na kawar da maganganun karya tare da tabbatarwa.
- [ ] Na dogara ga mutane a wurare masu rauni kamar MEV/maganganun kasuwanci.
- [ ] Ban bayar da "tsabtace share" a matsayin tabbaci ba.
- [ ] Na yi aiki ne kawai don dalilai na tsaro; Ban ƙirƙiri abubuwan amfani ba.