ትርፍ፡
- እንደ ኤኤምኤም ፣ ፈሳሽ ገንዳ ፣ ኦራክል እና ፍላሽ ብድር ያሉ የዴፊ ግንባታ ብሎኮችን የመረዳት ችሎታ እና አርቴፊሻል ኢንተለጀንስ በሜካኒካል ማብራሪያ እና በሁኔታዎች መቅረጽ ላይ።
- አብዛኞቹ የዴፊ አደጋዎች ኢኮኖሚያዊ/የንግድ አመክንዮ ተጋላጭነቶች እንጂ የኮድ ሳንካዎች እንዳልሆኑ እና አርቴፊሻል ኢንተለጀንስ ከመጀመሪያው የኢኮኖሚ ተጋላጭነት ደካማ መሆኑን መለየት መቻል።
- የኢኮኖሚ ደህንነት የሚረጋገጠው በማስመሰል ሳይሆን በማሰብ መሆኑን እና የቃል ሱስ በጣም ደካማ ነጥብ መሆኑን መረዳት መቻል።
DeFi (ያልተማከለ ፋይናንስ) ከፍተኛው እሴት እና በጣም የተጠቃ የWeb3 ጎራ ነው። ልውውጦች፣ የብድር ፕሮቶኮሎች፣ የፈሳሽ ገንዳዎች—ሁሉም እንደ ኮድ ይሰራሉ፣ እና ሁሉም በሚሊዮን የሚቆጠር ዶላር በጠላት አካባቢ ይንቀሳቀሳሉ። በዚህ ክፍል ውስጥ AI እንደ ፕሮቶኮል ትንተና ረዳት እንጠቀማለን; ፈሳሽነትን፣ ዋጋ አወጣጥን፣ MEV እና ኢኮኖሚያዊ ጥቃቶችን እና AI አጋዥ የሆነበት እና በዚህ አውድ አካባቢ በቂ አለመሆኑን ለመረዳት እንማራለን።
የ DeFi መሰረታዊ የግንባታ ብሎኮች
- ኤኤምኤም (አውቶሜትድ ገበያ ሰሪ)፡ ከገዢዎችና ሻጮች ጋር ከማዛመድ ይልቅ በቀመር (ለምሳሌ x·y=k) ዋጋዎችን የሚያወጣ የመለዋወጫ ዘዴ።
- ፈሳሽ ገንዳ፡ ተጠቃሚዎች ቶከኖችን የሚያስቀምጡበት እና የንግድ ልውውጥ የሚካሄድበት የጋራ ፈንድ።
- የአበዳሪ ፕሮቶኮል፡ በዋስትና መበደር; የዋስትና እሴቱ ሲቀንስ ፈሳሽ ይከሰታል.
- Oracle፡ የውጪውን ዓለም ዋጋ ወደ ፕሮቶኮሉ የሚያመጣው የውሂብ ምንጭ - የDeFi በጣም ወሳኝ እና በጣም ደካማ ጥገኝነት።
- የፍላሽ ብድር፡ በአንድ ግብይት ያለ መያዣ የተወሰደ እና በተመሳሳይ ግብይት የተመለሰ ብድር፤ እሱ ሁለቱም ህጋዊ አጠቃቀሞች እና የጥቃት መሣሪያ አለው።
MEV እና የኢኮኖሚ ጥቃቶች
MEV (ከፍተኛ ሊወጣ የሚችል እሴት - ግብይቶችን ለማዘዝ/ለመጨመር/ማስወገድ በባለሥልጣኑ የሚወጣው እሴት) ለDeFi የተወሰነ የአደጋ ክፍል ነው። በመጠባበቅ ላይ ያሉ ግብይቶች በሕዝብ ገንዳ (ሜምፑል) ውስጥ ይታያሉ; ይህ ታይነት ለሚከተሉት ጥቃቶች በር ይከፍታል፡
- ፊት ለፊት መሮጥ፡- ትርፋማ ግብይት ማየት እና የራሱን ግብይት ከፊት ለፊት ማስገባት።
- የሳንድዊች ጥቃት፡- ተጎጂው ከመግዛቱ በፊት እና በኋላ ግብይቶችን ማድረግ እና ከዋጋ ልዩነት ትርፍ ማግኘት።
- ኦራክል ማጭበርበር፡- የመዋኛ ገንዳ ዋጋን ወዲያውኑ በመቀየር ፕሮቶኮሉን ማታለል፣ ብዙ ጊዜ በፍላሽ ብድር።
እነዚህ ጥቃቶች የሚነሱት ከኮዱ "ሳንካ" ሳይሆን ከኢኮኖሚያዊ ዲዛይን ብዝበዛ ነው። AI በጣም የሚከብደው እዚህ ላይ ነው፡- ቴክኒካል ኮድን በመቃኘት ጥሩ የሆነው AI ብዙውን ጊዜ ፕሮቶኮል-ተኮር ኢኮኖሚያዊ ተጋላጭነትን መለየት አይችልም።
ትኩረት፡ አብዛኛው የDeFi ተጋላጭነቶች "የኮድ ስህተቶች" ሳይሆኑ ኢኮኖሚያዊ/የንግድ ሎጂክ ተጋላጭነቶች ናቸው። የ AI መደበኛ ኮድ ቅኝት እነዚህን ያመልጣል; ይህ በጣም የሰውን እውቀት፣ማስመሰል እና ሞዴሊንግ የሚያስፈልገው መስክ ነው።
በዲፋይ ትንተና ውስጥ የ AI ሚና
1. የሜካኒዝም መግለጫ. AI ውስብስብ ፕሮቶኮል (ለምሳሌ ከርቭ ላይ የተመሰረተ ኤኤምኤም) እንዴት እንደሚሰራ በግልፅ ቋንቋ በማብራራት ሃይለኛ ነው። ይህ በፍጥነት ወደ ትንተና መግባትን ያቀርባል.
2. ሁኔታ/አጸፋዊ መላምት መፍጠር። "ይህ የዕዳ ፕሮቶኮል በምን አይነት የዋጋ እንቅስቃሴ ወደ ፈሳሽ ቀውስ ውስጥ ይገባል?" AI ከመሳሰሉት ጥያቄዎች ጋር የሁኔታ ረቂቆችን ያዘጋጃል; እነዚህ በሲሙሌሽን የተፈተኑ ናቸው።
3. የታወቁ የጥቃት ቅጦችን ማስታወስ. AI እንደ የማረጋገጫ ዝርዝር ያለፉ የዴፊ ጥቃቶችን (የቃል ማጭበርበር፣ ዳግም መግባት፣ ፈሳሽ ጠመዝማዛ) ቅጦችን ያነሳሳል።
4. የማስመሰል እቅድ ረቂቅ. AI የትኛውን ሁኔታዎች ለመፈተሽ እቅድ ማውጣት ይችላል; ነገር ግን ማስመሰል በራሱ በመሳሪያው (Foundry, Tenderly) ይከናወናል.
ደካማ ጥያቄ / ጠንካራ ጥያቄ
ደካማ ጥያቄ፡
ይህ የDeFi ፕሮቶኮል ደህንነቱ የተጠበቀ ነው?
ኃይለኛ ጥያቄ፡-
የእርስዎ ሚና፡ የDeFi ፕሮቶኮል ተንታኝ ከዚህ በታች ያለውን የፕሮቶኮል ዘዴን መርምር። የሚከተሉትን የኢኮኖሚ ጥቃት ቬክተሮች አንድ በአንድ አስቡባቸው፡ የቃል ማጭበርበር (በፍላሽ ብድር)፣ ሳንድዊች/የፊት ሩጫ፣ የፈሳሽ ጠመዝማዛ፣ የፈሳሽ ማስወገጃ ውጤት። ለእያንዳንዱ ቬክተር: እንዴት እንደሚቀሰቀስ, ምን ዓይነት ሁኔታ እንደሚያስፈልግ, ሊከሰት የሚችል ተጽእኖ. እነዚህ በ SIMULATION የሚፈተኑ መላምቶች ናቸው; በእርግጠኝነት "አስተማማኝ/አስተማማኝ" አትበል። አመንጪ ትክክለኛ የጥቃት ኮድ; አደጋን ለመከላከያ ዓላማዎች ብቻ ይግለጹ።
አራት ሊገለበጡ የሚችሉ አብነቶች
1) የሜካኒዝም መግለጫ;
ግልጽ በሆነ ቋንቋ ፣ ደረጃ በደረጃ ፣ የዚህ ፕሮቶኮል የዋጋ አወጣጥ / ፈሳሽ ዘዴን ያብራሩ-አንድ ተጠቃሚ ግብይት ሲያደርግ ምን ይከሰታል ፣ ዋጋው እንዴት እንደሚወሰን ፣ ምን ውጫዊ ጥገኛዎች አሉ? ያልገባህውን ክፍል ምልክት አድርግ ወይም ግልጽ ያልሆነውን ተወው።
2) የኢኮኖሚ ጥቃት ወለል;
የዚህን ፕሮቶኮል የኢኮኖሚ ጥቃት ገጽታ ካርታ፡ በቃል፣ በፈሳሽነት፣ በዋስትና፣ በፈሳሽ፣ በአስተዳደር ምን ዓይነት ግምቶች ሊጠቀሙበት ይችላሉ? እያንዳንዱን አደጋ ከአንድ ሁኔታ ጋር ይፃፉ ("ምን ከሆነ")። በማስመሰል ለመረጋገጥ እንደ መላምት ያቅርቡ።
3) የጭንቀት ሁኔታ;
የሚከተሉትን ሁኔታዎች አስቡበት፡ የዋስትና ማስመሰያው በ50% ቢቀንስ፣ የቃል ዋጋው በ30% ለጊዜው ቢቀንስ፣ 80% ፈሳሹ ከተወገደ ፕሮቶኮሉ ምን ይሆናል? የእያንዳንዱን ሁኔታ ማንኳኳት ውጤት ይፃፉ። የቁጥር ትክክለኛነትን አትጠይቅ; ማስመሰል እንደሚያስፈልግ ይግለጹ።
4) የታሪክ ጥቃት ጥለት ማዛመድ፡-
የዚህ ፕሮቶኮል ዲዛይን ከየትኞቹ የDeFi ጥቃት ቅጦች (ለምሳሌ ነጠላ ምንጭ ኦራክል፣ የፍላሽ ብድር ክፍት ዋጋ) ጋር ተመሳሳይ ሁኔታዎችን ይይዛል? ለመከላከያ ዓላማዎች ተመሳሳይነት ይጠቁሙ; የብዝበዛ እርምጃ አይውሰዱ, ትኩረትን ብቻ ያመጣል.
ሶስት ጥቃቅን ጉዳዮች (በቁጥር)
ጉዳይ 1 - የ Oracle አደጋ ቀደም ብሎ ታይቷል። አንድ ቡድን አዲስ የብድር ፕሮቶኮል ነድፎ ነበር። በሜካኒካል ማብራሪያው ወቅት YZ "ዋጋው ከአንድ ገንዳ የተወሰደ እና በፍላሽ ብድሮች ሊተገበር ይችላል" የሚለውን መላምት ምልክት አድርጓል። ቡድኑ ይህንን በሲሙሌሽኑ ውስጥ አረጋግጦ ወደ TWAP + multi-sourcing ተንቀሳቅሷል። የተገመተው ኪሳራ ቀርቷል፡ የፕሮቶኮሉ ሙሉ የተቆለፈ እሴት። ትምህርት፡ AI የታወቁ ቅጦችን በማንሳት ጠቃሚ ነው።
ጉዳይ 2 - AI የመጀመሪያውን ተጋላጭነት አምልጦታል። በሌላ ፕሮቶኮል ውስጥ፣ ተጋላጭነቱ የሁለት ስልቶች መስተጋብር (ሽልማት + ፈሳሽ) ልዩ የሆነ ኢኮኖሚያዊ ስህተት ነበር። AI እያንዳንዱን ዘዴ “እንከን የለሽ” አንድ በአንድ አገኘ ። መስተጋብርን ማየት አልተቻለም። የሰው ሞዴል እና ማስመሰል ተያዘ። ትምህርት፡ ክፍሎቹ ትክክል ሲሆኑ የጠቅላላው ኢኮኖሚክስ የ AI ዓይነ ስውር ቦታ ነው።
ጉዳይ 3 - የማስመሰል እቅድ ጊዜን ይቆጥባል. አንድ ተንታኝ በእጃቸው ከማቀድ ይልቅ 15 የተለያዩ የጭንቀት ሁኔታዎችን ወደ AI አዘጋጅቷል ። ከዚያም ፎውንድሪ ላይ አሂድ. እቅድ ማውጣት ከ 1 ቀን ወደ 2 ሰአታት ወርዷል; ግን የውጤቱ ትርጓሜ እና ውሳኔው የሰው ነበር። ትምህርት: AI እቅዶች, የተሽከርካሪ መለኪያዎች, የሰው ልጅ ይወስናል.
የማስመሰል አስፈላጊነት
በ DeFi ውስጥ, ደህንነት "በማሰብ" አልተረጋገጠም; በሲሙሌሽን ነው የሚፈተነው። የፕሮቶኮልን ኢኮኖሚያዊ ጥንካሬ በቁጥር የተለያዩ የዋጋ ፣የልቀት እና የጥቃት ሁኔታዎችን በማካሄድ መረዳት ይቻላል። AI የእነዚህን ተምሳሌቶች ኮድ ማቀድ እና ማዘጋጀት ይችላል; ነገር ግን ውጤቱን የሚያመርቱ እና የሚተረጉሙ መሳሪያዎች እና ሰዎች ናቸው. በ AI የተሰራው "ምናልባት ዘላቂ" የሚለው መግለጫ የማስመሰል ውጤት አይደለም እናም እንደዚያ ሊቀርብ አይችልም።
ጠቃሚ ምክር፡ ከ AI የDeFi ስጋት ግምገማ ሲቀበሉ፣ እያንዳንዱን መላምት “ይህን በምን ዓይነት ማስመሰል እፈትሻለሁ?” ብለህ መጠየቅ አለብህ። ወደ ጥያቄ ቀይር። ሊሞከር የማይችል የደህንነት ይገባኛል ጥያቄ በDeFi ውስጥ ዋስትና አይሆንም።
የተለመዱ ስህተቶች
- የኢኮኖሚ ድክመቱን እንደ ኮድ ስህተት በመቃኘት ላይ። የDeFi አደጋዎች በአብዛኛው በንግድ ሎጂክ ውስጥ ናቸው።
- “አስተማማኝ” ለማለት AIን ማመን እና ማስመሰልን መዝለል። መሞከር ያስፈልጋል።
- ክፍሎችን አንድ በአንድ ማረጋገጥ እና መስተጋብርን መዝለል። የጠቅላላው ኢኮኖሚ ወሳኝ ነው.
- Oracleን ከአንድ ምንጭ ማመን። በጣም የተለመደው የDeFi አደጋ።
- MEV/የፊት ሩጫን ችላ ማለት። የህዝብ አባልነት እውነታን መርሳት።
- የብዝበዛ ኮድ በማመንጨት ላይ። የመከላከያ ትንተና ብቻ ህጋዊ ነው.
በማጠቃለያው
- DeFi ከፍተኛ ዋጋ ያለው እና የጥላቻ ቦታ ነው; አደጋዎቹ በአብዛኛው በኢኮኖሚ/በቢዝነስ አመክንዮ ላይ ናቸው።
- MEV፣ ፊት ለፊት መሮጥ፣ ሳንድዊች እና ኦራክል ማጭበርበር ለDeFi የተወሰኑ የጥቃት ክፍሎች ናቸው።
- AI በአሰራር ማብራሪያ እና በሁኔታዎች ረቂቅ ላይ ጠንካራ ነው; የመጀመሪያው የኢኮኖሚ ጉድለት ደካማ ነው.
- የኢኮኖሚ ደኅንነት በማሰብ ሳይሆን በማስመሰል የተረጋገጠ ነው; AI እቅዶች, የተሽከርካሪ መለኪያዎች.
- Oracle ጥገኝነት በጣም ተጋላጭ የ DeFi ነጥብ ነው; በርካታ ሀብቶች እና TWAP ያስፈልጋል።
የመተግበሪያ ተግባር
ኤኤምኤም ወይም የብድር ፕሮቶኮልን ይምረጡ (ከግልጽ ሰነድ ጋር)። የ"ሜካኒዝም መግለጫ" እና "የኢኮኖሚ ጥቃት ወለል" ጥያቄዎችን ወደ AI ተግብር። ለእያንዳንዱ የአደጋ መላምት አይአይ ያመነጫል፣ “ይህን በምን አይነት ማስመሰል ልፈትነው?” ጥያቄውን መልሱ። ከዚያ የዚያን ፕሮቶኮል ትክክለኛ የኦዲት ሪፖርት ያግኙ እና ግኝቶቹን በ AI ከተጠቆሙት አደጋዎች ጋር ያወዳድሩ፡ AI ምን ያዘ፣ ምን አመለጠው?
የማረጋገጫ ዝርዝር
- [] ስጋቶቹን በሁለት አቅጣጫዎች ተወያይቻለሁ፡ ኮድ + ኢኮኖሚ።
- [] MEV/የፊት ሩጫን ገምግሜአለሁ።
- [] የ Oracle ጥገኝነትንም መርምሬአለሁ።
- [] የንጥረ ነገሮችን (የጠቅላላውን ኢኮኖሚ) መስተጋብር ጠየኳቸው።
- [] እያንዳንዱን መላምት ከአንድ የማስመሰል ዕቅድ ጋር አገናኘኋቸው።
- [] የ AIን "አስተማማኝ" በሲሙሌሽን ተክቻለሁ።
- [] የተተነተነው ለመከላከያ ዓላማ ብቻ ነው።