Bölüm 8 / 11

Resminamalar we tehniki ýazuw: Ak kagyz, NatSpec we ulanyjy gollanmasy

Girdeji:

  • Ak kagyz, NatSpec, tehniki-ýönekeý terjime we töwekgelçiligi aýan etmek we munuň iň öndürijilikli ugruna düşünmekde emeli intellekti ygtybarly ulanmak.
  • Her bir tehniki talapy hakyky kod bilen barlamak we nädogry resminamalar töwekgelçiliginiň öňüni almak üçin ulaltmak we kepillik dilini aýyrmak ukyby
  • Töwekgelçilikleri dogruçyl kabul etmek ukyby, 'maliýe maslahaty däl' duýduryşy we resminama-kod yzygiderliligi

Web3-de resminamalaşdyrmak kaşaň däl, howpsuzlyk we ynam meselesidir. Akylly şertnama bilen täsirleşip, ulanyjy hakyky puluna töwekgelçilik edýär; Näme edýändigine düşünmese, aldanmaga açykdyr. Auditor gowy resminama berilmedik kody arkaýyn gözden geçirip bilmeýär. Bu bölümde, AI-iň iň ygtybarly we täsirli ýerini gurşap alýarys: resminamalar we tehniki ýazuw. Ak kagyzdan koddaky düşündirişlere, ulanyjy gollanmasyndan başlap, töwekgelçiligi aýan etmeklige çenli, AI bu ýerde hakyky güýç köpeldiji - takyklygy adam tarapyndan gözegçilik edilýänçä.

Web3 resminamalarynyň görnüşleri

  • Witepaper / litepaper: Taslamanyň görüşini, mehanizmini we tokenomikasyny beýan edýän esasy resminama.
  • Tehniki resminamalar: Şertnama interfeýsleri, döredijiler üçin integrasiýa gollanmasy.
  • NatSpec (Ethereum tebigy dil spesifikasiýasy - funksiýalaryň ýerine ýetirilişini düşündirýän Solidity-de standart kodly düşündiriş formaty): Kodda ýerleşdirilen resminamalar, adam we gural tarapyndan okalýar.
  • Ulanyjy gollanmasy: Ahyrky ulanyja "nädip ulanmaly, haýsy töwekgelçilikler bar" diýýän açyk tekst.
  • Düşündiriş: Kanuny we ahlak taýdan talap edilýän duýduryşlar.

Bu görnüşler bilen umumy mesele: döredijiler ýazmagy halamaýarlar we köplenç iň soňky pursata goýýarlar. AI bu boşlugy doldurýar.

Näme üçin resminamalar AI-iň iň ygtybarly sebitidir

Resminamalardaky ýalňyşlygyň bahasy auditden has pes: bir nädogry söz düzülýär, pul ýok (göni). Mundan başga-da, AI dil önümçiliginde tebigy taýdan güýçlidir. Şonuň üçin AI bu ýerde hem täsirli, hem-de birneme howpsuz. Emma iki möhüm töwekgelçilik galýar:

  1. Sealňyş tehniki talap: AI koduň edýänini nädogry görkezip biler; Bu ulanyjyny azdyrýar we howpsuzlygyň gowşak tarapyna öwrülip biler ("bu funksiýa siziň serişdeleriňizi goraýar" diýmese we ýok).
  2. Giperbole / marketing dili: AI taslamany howpsuz ýa-da girdejili ýaly edip görkezýän dil öndürip biler; Bu hem ahlak taýdan, hem kanuny mesele.
Üns beriň: Resminamalar kody düşündirýär; Kodyň özi däl. AI-iň ýazýan her bir tehniki tassyklamasy ("bu bolýar", "goldaýar") hakyky kody tassyklamaly. Nädogry resminamalar, dogry koddan has howply bolup biler, sebäbi ulanyjy resminamalara ynanýar.

Resminamalarda AI ulanmagyň gatlaklary

1. NatSpec nesli. AI bar bolan funksiýany okaýar we NatSpec düşündirişini taýýarlaýar: näme edýär, parametrleri näme, yzyna gaýdyp gelýär. Bu barlagy we tehniki hyzmaty ýönekeýleşdirýär.

2. Tehniki-ýönekeý terjime. AI çylşyrymly mehanizmi ahyrky ulanyjynyň düşünip biljek diline terjime edýär - Web3-iň iň uly zerurlyklaryndan biri.

3. Sahypanyň görnüşi we gurluşy. AI skeleti we ak kagyzyň bölümlerini öndürýär; Mazmunyň takyklygy adamdyr.

4. Köp dilli we derejäni sazlamak. AI türk we iňlis dillerinde tehniki we gönümel birmeňzeş mazmuny öndürip biler.

Gowşak haýyş / Güýçli haýyş

Gowşak haýyş:

Bu taslama üçin ak kagyz ýazyň.

AI hakyky mehanizmi bilmän çişirilen, ähtimal ýalan we marketing bilen doldurylan göçürmäni düzýär.

Güýçli haýyş:

Siziň roluňyz: Web3 tehniki ýazyjy. Aşakda REAL mehanizmi, tokenomika we taslamanyň kody. Diňe şu maglumatlara esaslanýan ak kagyzyň taslamasyny ýazyň. Düzgünler: - Çişirmäň, "kepillendirilen girdeji", "doly howpsuz" we ş.m. ýaly sözlemleri ulanmaň- Her tehniki talapy meniň berýän mehanizmime esaslaň; Galplaşdyrma goşmaň.- Töwekgelçilikleri aýdyň görkezýän "Töwekgelçilikler" bölümini goşuň.- Duýduryş goşuň "Bu maliýe maslahaty däl." Özüňiziň bilmeýän ýa-da mende ýok maglumatlaryňyzy belläň.

Göçürip boljak dört şablon

1) NatSpec nesli:

Adaty funksiýa NatSpec düşündirişlerini ýazyň: @notice (näme edýär, ýönekeý), @dev (tehniki bellik), @param we @return. Diňe koduň ACTUALLY näme edýändigini ýazyň; Kodda bolmadyk özüni alyp barmak. Özüňizi anyk bilmeýän effektiňizi belläň.

2) Tehniki-ýönekeý terjime:

Kripto täze ulanyjynyň düşünip bilýän aç-açan türk dilinde bu mehanizmi düşündiriň: ol näme edýär, ulanyjy näme etmeli, HOWPSUZLYK bar? Çişirmek; howpsuzlygynyň kepilligi ýok. Töwekgelçilikleri gizlemäň, olary öňe sürüň.

3) Töwekgelçilik / duýduryş bölümi:

Bu taslama üçin dogruçyl "Töwekgelçilikler we gowaklar" bölümini ýazyň: akylly şertnama töwekgelçiligi, bazar töwekgelçiligi, likwidlik töwekgelçiligi, kadalaşdyryjy näbellilik, esasy ýitgi. Her töwekgelçiligi sada dilde düşündiriň. Töwekgelçiliklere baha bermäň; "bu maliýe maslahaty däl" bilen gutar.

4) Resminamalar-kod yzygiderliligini barlamak:

Aşakda bir funksiýa we elýeterli resminamalar bar. Resminamanyň koduň ACTUAL häsiýetine ters gelýän ýa-da taşlaýan ýerlerini belläň. Jemleýji karar bermek; "Döredijini barlamak" üçin iberiň.

Üç sany kiçi ýagdaý (san boýunça)

1-nji waka - NatSpec barlagy güýçlendirdi. Bir topar düşündiriş bermezden 25 funksiýaly şertnama tabşyrdy; Auditor logika düşünmek üçin goşmaça wagt sorady. Topar AI bilen NatSpec garalamalaryny öndürdi we hersini kod bilen tassyklady; Audit taýýarlygy 1 güne golaý gysgaldyldy. Sapak: gowy resminamalar auditiň bahasyny peseldýär.

2-nji waka - sealňyş talap tutuldy. YZ-nyň öndüren ulanyjy gollanmasynda “serişdäňiz islendik wagt yzyna alynyp bilner” diýilýär; şertnamada 7 günlük gulp bardy. Tehniki syn muny özüne çekdi. Neşir edilen bolsa, ulanyjylar ýalňyşarlar we pidalar bolarlar. Sapak: her tehniki talap kod bilen tassyklanýar.

3-nji hadysa - Çişirmek arassalandy. AI ilkinji kagyz ýüzünde "töwekgelçiliksiz ýokary girdeji" ýaly aňlatmalary ulandy. Topar bulary aýyrdy we dogruçyl töwekgelçilik bölümini goşdy. Bu taslama etiki we kanuny taýdan gorady. Sapak: AI-iň marketing taraplary barlanmalydyr.

Resminamalaryň etiki ýükleri

Web3 resminamalary, ulanyjynyň puluna töwekgelçilik edýän kontekstde okalýar. Şonuň üçin:

  • Dogruçyllyk: Töwekgelçilikleri gizläp bolmaz we ulaldyp wada berip bolmaz.
  • Takyklyk: Tehniki talaplar koda laýyk bolmaly; "Resminama şeýle diýýär" goranmak däl-de, nädogry maglumat.
  • Elýeterlilik: Ulanyjynyň hakykatdanam düşünýän dilinde ýazmak howpsuzlyk çäresi; Düşünmedik resminama aldaw çakylygydyr.
  • Jogapkärçilik: Munuň maliýe maslahaty we kadalaşdyryjy näbellilik däldigini aç-açan aýtmaly.
Maslahat: Web3 resminamasynyň dogruçyl synagy: "Ulanyjy diňe şu resminama ynanmak üçin pul goýsa, hakykat bilen ýüzbe-ýüz bolanda özüni aldap bilermi?" AI elmydama töwekgelçilik bölegini görkezmeli, ahyrynda jaýlamaň.

Adaty ýalňyşlyklar

  • Tehniki talaplary kod bilen tassyklamaýar. Nädogry resminama ulanyjyny azdyrýar.
  • Hype / marketing dilini taşlamak. Etiki we kanuny töwekgelçilik.
  • Töwekgelçilikleri azaltmak ýa-da gizlemek. Ynamyň bozulmagy
  • AI-e hakyky mehanizmi bermezden ak kagyz çap etmek. Galp önüm öndürýär.
  • "Maliýe maslahaty däl" duýduryşyna ähmiýet bermezlik. Hukuk borçnamasy.
  • Resminamalary kod bilen sinhron saklamazlyk. Kod üýtgese, resminama ýalňyş bolýar.

Gysgaça

  • Resminamalar, Web3-de howpsuzlyk we ynam meselesidir; AI-iň iň öndürijilik ugry.
  • Erroralňyşlygyň bahasy birneme pes, ýöne ýalan tehniki talaplar we ulaltmak çynlakaý töwekgelçilikdir.
  • Her tehniki talap hakyky kod bilen tassyklanmalydyr; Resminama kody çalyşmaýar.
  • Töwekgelçilikler dogruçyl we görnükli ýazylmalydyr; Çişirmek we kepillik dili aýrylmaly.
  • "Bu maliýe maslahaty däl" we kadalaşdyryjy duýduryşlar hökmanydyr.

Programma meselesi

Akylly şertnama funksiýasyny alyň. AI-e “NatSpec dörediň” haýyşyny beriň we döredilen düşündiriş setirini koduň hakyky özüni alyp barşy bilen deňeşdiriň - düşünişmezlikler barmy? Soňra şol bir funksiýa üçin "tehniki-ýönekeý terjime" we "töwekgelçilik / duýduryş bölümi" dörediň. AI-iň iň bolmanda bir ulaldylan ýa-da koda ters gelýän sözlemini tapyň we düzediň.

gözegçilik sanawy

  • [] Her tehniki talapy hakyky kod bilen tassykladym.
  • [] Çişirmek / kepillikleri aýyrdym.
  • [] Töwekgelçilikleri dogruçyl ýazdym we belledim.
  • [] AI-a hakyky mehanizmi berdim; Men muny düzetmäge rugsat bermedim.
  • [] "Bu maliýe maslahaty däl" duýduryşyny goşdum.
  • [] NatSpec-i ulag we gözegçilik üçin doly ýazdym.
  • [] Resminamalary kod bilen sinhron saklamagy meýilleşdirdim.