Vitengo
1. Utangulizi wa Akili Bandia katika Blockchain na Web3: Majukumu, Mipaka, Uthibitishaji na Usalama-Umuhimu. 2. Usaidizi wa Kuandika Mkataba Mahiri: Rasimu ya Mshikamano/Vyper na Uzalishaji wa Msimbo Salama 3. Usaidizi Mahiri wa Ukaguzi wa Mkataba: Mapitio ya Usalama na Matokeo ya Rasimu 4. Uchanganuzi wa Athari: Miundo ya Kawaida ya Athari na Uchanganuzi wa Kiotomatiki 5. Uchanganuzi wa Data ya Mtandaoni: Kuelewa Kuzuia, Muamala na Data ya Wallet 6. Uchambuzi wa DeFi na Itifaki: Ukwasi, MEV na Mashambulizi ya Kiuchumi 7. Uundaji wa Tokenomic: Ugavi, Usambazaji, Motisha na Uigaji 8. Uandishi na Uandishi wa Kiufundi: Whitepaper, NatSpec na Mwongozo wa Mtumiaji 9. Ulaghai, Rug-Vuta na Hatari kugundua: On-Chain Red Bendera 10. Ukaguzi Muhimu wa Usalama, Uidhinishaji wa Mtaalamu na Matumizi Yanayowajibika 11. Mtiririko wa Kazi wa Mwisho-Mwisho, Utawala, Uthibitishaji na Maadili
Kitengo 8 / 11

Uandishi na Uandishi wa Kiufundi: Whitepaper, NatSpec na Mwongozo wa Mtumiaji

Faida:

  • Kuwa na uwezo wa kutumia akili bandia kwa usalama katika kutengeneza karatasi nyeupe, NatSpec, tafsiri rahisi ya kiufundi na ufichuzi wa hatari na kuelewa kwamba hii ndiyo nyanja yenye tija zaidi.
  • Uwezo wa kuthibitisha kila dai la kiufundi kwa kutumia msimbo halisi na kuondoa lugha ya chumvi na udhamini ili kuepuka hatari ya hati zisizo sahihi.
  • Uwezo wa kukumbatia hatari kwa uaminifu, 'si ushauri wa kifedha' na uthabiti wa kanuni za hati

Hati katika Web3 sio anasa, lakini ni suala la usalama na uaminifu. Kwa kuingiliana na mkataba mzuri, mtumiaji huhatarisha pesa zake halisi; Ikiwa haelewi anachofanya, yuko wazi kwa kudanganywa. Mkaguzi hawezi kukagua kwa usalama msimbo ambao haujarekodiwa vizuri. Katika kitengo hiki, tunashughulikia eneo ambalo AI ni ya kuaminika zaidi na yenye ufanisi: nyaraka na maandishi ya kiufundi. Kuanzia karatasi nyeupe hadi maoni ya msimbo, kutoka kwa mwongozo wa mtumiaji hadi ufichuzi wa hatari, AI ni kizidishi cha nguvu hapa - mradi tu usahihi ufuatiliwe kwa njia ya kibinadamu.

Aina za nyaraka za Web3

  • Karatasi nyeupe / litepaper: Hati ya msingi inayoelezea maono, utaratibu na tokenomics ya mradi.
  • Nyaraka za kiufundi: Miingiliano ya mikataba, mwongozo wa ujumuishaji kwa wasanidi programu.
  • NatSpec (Ainisho ya Lugha Asilia ya Ethereum — Muundo wa kawaida wa maoni katika msimbo katika Solidity unaofafanua utendaji kazi): Hati iliyopachikwa katika msimbo, inayosomwa na binadamu na zana.
  • Mwongozo wa mtumiaji: Maandishi ya wazi yanayomwambia mtumiaji wa mwisho "jinsi ya kutumia, kuna hatari gani".
  • Kanusho: Maonyo yanayohitajika kisheria na kimaadili.

Tatizo la kawaida na aina hizi: watengenezaji hawapendi kuandika na mara nyingi huiacha hadi wakati wa mwisho. AI inajaza pengo hili haswa.

Kwa nini hati ni eneo salama zaidi la AI

Gharama ya makosa katika nyaraka ni ya chini kuliko katika ukaguzi: hukumu moja isiyo sahihi inasahihishwa, hakuna fedha nzi (moja kwa moja). Zaidi ya hayo, AI ina nguvu kiasili katika utayarishaji wa lugha. Kwa hivyo AI ni nzuri na salama hapa. Lakini hatari mbili muhimu zinabaki:

  1. Dai la uwongo la kiufundi: AI inaweza kuwakilisha vibaya kile kanuni hufanya; Hii inapotosha mtumiaji na inaweza kuwa hatarini kwa usalama (isipokuwa inasema "utendaji huu hulinda pesa zako" na sivyo).
  2. Lugha ya hyperbole/masoko: AI inaweza kutoa lugha inayofanya mradi uonekane kuwa salama au wenye faida; Hili ni tatizo la kimaadili na kisheria.
Tahadhari: Nyaraka zinaelezea kanuni; Sio kanuni yenyewe. Kila madai ya kiufundi ambayo AI huandika ("hii hutokea", "ambayo inadumisha") lazima ithibitishwe dhidi ya msimbo halisi. Hati zisizo sahihi zinaweza kuwa hatari zaidi kuliko msimbo sahihi kwa sababu mtumiaji anaamini hati.

Tabaka za kutumia AI katika nyaraka

1. kizazi cha NatSpec. AI inasoma kazi iliyopo na kuandaa tafsiri ya NatSpec: inafanya nini, vigezo vyake ni nini, inarudisha nini. Hii hurahisisha ukaguzi na matengenezo.

2. Tafsiri ya kiufundi-rahisi. AI hutafsiri utaratibu changamano katika lugha ambayo mtumiaji wa mwisho anaweza kuelewa - mojawapo ya mahitaji makubwa ya Web3.

3. Muhtasari wa karatasi nyeupe na muundo. AI hutoa mifupa na sehemu za karatasi nyeupe; Usahihi wa maudhui ni binadamu.

4. Lugha nyingi na marekebisho ya kiwango. AI inaweza kutoa maudhui sawa, kiufundi na wazi, katika Kituruki na Kiingereza.

Mwongozo dhaifu / Mwongozo thabiti

Agizo dhaifu:

Andika karatasi nyeupe kwa mradi huu.

AI hutengeneza nakala iliyotiwa chumvi, ikiwezekana kuwa ya uwongo, na iliyojaa uuzaji bila kujua utaratibu halisi.

Agizo lenye nguvu:

Jukumu lako: Mwandishi wa kiufundi wa Web3. Chini ni utaratibu wa REAL, tokenomics na kanuni za mradi. Andika rasimu ya karatasi nyeupe kulingana na habari hii pekee. Kanuni:- Usitie chumvi, USITUMIE misemo kama "faida iliyohakikishwa", "salama kabisa" n.k.- Weka kila dai la kiufundi kwenye utaratibu ninaoutoa; Usiongeze uwongo.- Ongeza sehemu ya "Hatari" inayoeleza wazi hatari.- Ongeza onyo "Huu si ushauri wa kifedha." Tia alama taarifa yoyote ambayo huna uhakika nayo au ambayo sina kama [YA KUJAZWA].

Violezo vinne vinavyoweza kunakiliwa

1) kizazi cha NatSpec:

Andika maoni ya kawaida ya NatSpec kwa kazi ifuatayo: @notice (ni nini hufanya, wazi), @dev (noti ya kiufundi), @param na @return. Andika tu kile ambacho msimbo KWELI hufanya; Kuongeza tabia ambayo haiko kwenye msimbo. Ripoti athari ambayo huna uhakika nayo.

2) Tafsiri rahisi ya kiufundi:

Eleza utaratibu huu kwa Kituruki wazi ambacho mtumiaji wa novice wa crypto anaweza kuelewa: inafanya nini, mtumiaji anapaswa kufanya nini, kuna HATARI GANI? Kutia chumvi; hakuna dhamana ya usalama. Usifiche hatari, zilete mbele.

3) Sehemu ya hatari/onyo:

Andika sehemu ya uaminifu ya "Hatari na Mapango" ya mradi huu: hatari ya mikataba ya smart, hatari ya soko, hatari ya ukwasi, kutokuwa na uhakika wa udhibiti, hasara kuu. Eleza kila hatari kwa lugha nyepesi. Usidharau hatari; mwisho na "huu sio ushauri wa kifedha."

4) Ukaguzi wa uthabiti wa msimbo wa hati:

Chini ni kazi na nyaraka zake zinazopatikana. Tia alama mahali ambapo hati inakinzana au inaacha tabia HALISI ya msimbo. Uamuzi wa mwisho; Iwasilishe kwa "uthibitishaji wa msanidi".

Kesi tatu ndogo (kwa nambari)

Kesi ya 1 - NatSpec iliongeza ukaguzi. Timu moja iliwasilisha mkataba wa kazi 25 kwa mapitio bila maoni; Mkaguzi aliomba muda wa ziada ili kuelewa mantiki. Timu ilitoa rasimu za NatSpec na AI na ilithibitisha kila moja kwa nambari; Maandalizi ya ukaguzi yalifupishwa kwa karibu siku 1. Somo: Nyaraka nzuri hupunguza gharama ya ukaguzi.

Kesi ya 2 - Dai la uwongo limekamatwa. Mwongozo wa mtumiaji ambao YZ ilitoa ulisema kwamba "fedha zako zinaweza kutolewa wakati wowote"; ilhali kulikuwa na kufuli kwa siku 7 kwenye mkataba. Ukaguzi wa kiufundi ulipata hii. Ikiwa ingechapishwa, watumiaji wangekosea na kudhulumiwa. Somo: kila dai la kiufundi linathibitishwa na msimbo.

Kesi ya 3 - Kuzidisha kumeondolewa. Katika rasimu ya kwanza ya karatasi nyeupe, AI ilitumia misemo kama vile "kurudi kubwa bila hatari". Timu iliondoa hizi na kuongeza sehemu ya hatari ya uaminifu. Hili lililinda mradi kimaadili na kisheria. Somo: Upendeleo wa uuzaji wa AI lazima ukaguliwe.

Mzigo wa kimaadili wa nyaraka

Hati za Web3 husomwa katika muktadha ambapo mtumiaji anahatarisha pesa zake. Kwa hivyo:

  • Uaminifu: Hatari haziwezi kufichwa na ahadi zilizotiwa chumvi haziwezi kufanywa.
  • Usahihi: Madai ya kiufundi lazima yalingane na msimbo; "Waraka unasema hivyo" sio utetezi, bali ni upotoshaji.
  • Ufikivu: Kuandika kwa lugha ambayo mtumiaji anaelewa haswa ni kipimo cha usalama; Hati ambayo haieleweki ni mwaliko wa udanganyifu.
  • Kanusho: Inapaswa kusemwa wazi kwamba sio ushauri wa kifedha na kutokuwa na uhakika wa udhibiti.
Kidokezo: Jaribio la uaminifu wa hati ya Web3: "Ikiwa mtumiaji ataweka pesa katika kuamini hati hii pekee, je, atahisi kudanganywa anapokabiliwa na ukweli?" Daima AI iangazie sehemu ya hatari, sio kuizika mwishoni.

Makosa ya kawaida

  • Kutothibitisha dai la kiufundi kwa kutumia msimbo. Hati isiyo sahihi inapotosha mtumiaji.
  • Kuacha lugha ya hype/masoko. Hatari ya kimaadili na kisheria.
  • Kupunguza au kuficha hatari. Uvunjaji wa uaminifu.
  • Kuchapisha karatasi nyeupe bila kutoa utaratibu halisi kwa AI. Inazalisha uzushi.
  • Kupuuza onyo la "si ushauri wa kifedha". Wajibu wa kisheria.
  • Kutoweka nyaraka katika kusawazisha na msimbo. Wakati msimbo unabadilika, hati inakuwa ya kupotosha.

Kwa muhtasari

  • Hati ni suala la usalama na uaminifu katika Web3; Ni uwanja wenye tija zaidi wa AI.
  • Gharama ya makosa ni ya chini, lakini madai ya uwongo ya kiufundi na kutia chumvi ni hatari kubwa.
  • Kila dai la kiufundi lazima lithibitishwe na msimbo halisi; Hati haibadilishi msimbo.
  • Hatari zinapaswa kuandikwa kwa uaminifu na kwa uwazi; Lugha ya kutia chumvi na kudhamini iondolewe.
  • "Sio ushauri wa kifedha" na maonyo ya udhibiti ni ya lazima.

Jukumu la maombi

Pata utendaji mzuri wa mkataba. Ipe AI upesi wa "Tengeneza NatSpec" na ulinganishe mstari wa tafsiri uliotolewa kwa mstari na tabia halisi ya msimbo - kuna kutokubaliana? Kisha toa "tafsiri ya kiufundi-wazi" na "sehemu ya hatari/onyo" kwa utendaji sawa. Tafuta na urekebishe angalau taarifa moja ya AI ambayo imetiwa chumvi au inapingana na kanuni.

orodha ya ukaguzi

  • [ ] Nilithibitisha kila dai la kiufundi kwa kutumia msimbo halisi.
  • [ ] Niliondoa chumvi/dhamana.
  • [ ] Niliandika hatari hizo kwa uaminifu na kuziangazia.
  • [ ] Niliipa AI utaratibu halisi; Sikumruhusu atengeneze.
  • [ ] Niliongeza onyo "Huu sio ushauri wa kifedha."
  • [ ] Niliandika NatSpec kwa ukamilifu kwa gari na udhibiti.
  • [ ] Nilipanga kuweka hati katika usawazishaji na msimbo.
Iliyotangulia Inayofuata