Ապակենտրոնացված ֆինանսներ (DeFi) արագ աճում է. Արգելափակված ընդհանուր արժեքը՝ DeFi արձանագրությունների կողմից կառավարվող գումարի չափանիշը, վերջին երկու տարվա ընթացքում աճել է 10 միլիարդ դոլարից մինչև 40 միլիարդ դոլարի մի փոքր ավելին՝ 180 միլիարդ դոլարի գագաթնակետին հասնելուց հետո:
Փիղը սենյակում? կազմել է ավելի քան 10 միլիարդ դոլար կորցրած հաքերից և շահագործումներից միայն 2021թ. Սնուցել այդ փղին. այսօրվա խելացի պայմանագրային ծրագրավորման լեզուները չեն ապահովում համապատասխան հնարավորություններ՝ ակտիվներ ստեղծելու և կառավարելու համար, որոնք նաև հայտնի են որպես «tokens»: Որպեսզի DeFi-ը դառնա հիմնական, ծրագրավորման լեզուները պետք է ապահովեն ակտիվների վրա հիմնված հնարավորություններ՝ DeFi-ի խելացի պայմանագրերի մշակումն ավելի անվտանգ և ինտուիտիվ դարձնելու համար:
Ներկայիս DeFi ծրագրավորման լեզուները չունեն ակտիվների հասկացություն
Լուծումները, որոնք կարող են օգնել նվազեցնել DeFi-ի բազմամյա հաքերները, ներառում են աուդիտի կոդը: Որոշ չափով աուդիտներն աշխատում են։ Պատմության մեջ 10 խոշորագույն DeFi հաքերներից (տալ կամ վերցնել), նախագծերից ինը չեն ենթարկվել աուդիտի: Սակայն խնդրին ավելի շատ ռեսուրսներ նետելը նման է քառակուսի անիվներով մեքենայի մեջ ավելի շատ շարժիչներ դնելուն. այն կարող է մի փոքր ավելի արագ ընթանալ, բայց կա մի հիմնարար խնդիր:
Խնդիրը. Ծրագրավորման լեզուներ, որոնք այսօր օգտագործվում են DeFi-ի համար, ինչպիսիք են Հաստատակամություն, չունեն գաղափար, թե ինչ է ակտիվը: Ակտիվները, ինչպիսիք են թոքենները և չփոխարինվող նշանները (NFT) գոյություն ունեն միայն որպես փոփոխական (թվեր, որոնք կարող են փոխվել) խելացի պայմանագրում, ինչպիսին է Ethereum-ի ERC-20-ը: Պաշտպանություններն ու վավերացումները, որոնք սահմանում են, թե ինչպես պետք է վարվի փոփոխականը, օրինակ, որ այն չպետք է երկու անգամ ծախսվի, չլիազորված օգտագործողի կողմից այն չպետք է սպառվի, որ փոխանցումները միշտ պետք է մնացորդային և մաքուր լինեն զրոյի, բոլորը պետք է իրականացվեն մշակողը զրոյից, յուրաքանչյուր խելացի պայմանագրի համար:
Քանի որ խելացի պայմանագրերը դառնում են ավելի բարդ, անհրաժեշտ պաշտպանություններն ու վավերացումները նույնպես բարդանում են: Մարդիկ մարդ են։ Սխալներ լինում են։ Սխալներ են լինում: Փողը կորչում է.
Օրինակ. Compound-ը՝ DeFi արձանագրությունների ամենաերկար չիպերից մեկը, 80 միլիոն դոլարի չափով շահագործվել է 2021 թվականի սեպտեմբերին: Ինչո՞ւ: Խելացի պայմանագիրը պարունակում էր «>»՝ «>=»-ի փոխարեն:
Թակելու էֆեկտը
Որպեսզի խելացի պայմանագրերը փոխգործակցեն միմյանց հետ, օրինակ՝ օգտատերը փոխանակում է նշանը մեկ այլ նշանով, հաղորդագրություններ են ուղարկվում խելացի պայմանագրերից յուրաքանչյուրին՝ թարմացնելու ներքին փոփոխականների ցանկը:
Արդյունքը բարդ հավասարակշռող գործողություն է: Ապահովել, որ խելացի պայմանագրի հետ բոլոր փոխազդեցությունները ճիշտ են վարվում, ամբողջովին ընկնում է DeFi մշակողի վրա: Քանի որ Solidity-ի և Ethereum վիրտուալ մեքենայի (EVM) մեջ ներկառուցված բնածին պահակաձողեր չկան, DeFi-ի մշակողները պետք է իրենք նախագծեն և իրականացնեն բոլոր պահանջվող պաշտպանությունն ու վավերացումները:
Related: Մշակողները պետք է դադարեցնեն ծպտյալ հաքերներին կամ դեմքի կարգավորումը 2023 թվականին
Այսպիսով, DeFi-ի մշակողները ծախսում են գրեթե ամբողջ ժամանակը, որպեսզի համոզվեն, որ իրենց կոդը ապահով է: Եվ կրկնակի ստուգում, և եռակի ստուգում, այնքանով, որ որոշ մշակողներ հայտնում են, որ իրենք ծախսում են իրենց ժամանակի մինչև 90%-ը վավերացումների և փորձարկումների վրա, և իրենց ժամանակի միայն 10%-ը՝ ստեղծելու առանձնահատկություններ և ֆունկցիոնալություն:
Քանի որ մշակողների ժամանակի մեծ մասը ծախսվում է անապահով կոդի դեմ պայքարում, որը զուգորդվում է մշակողների պակասի հետ, ինչպե՞ս է DeFi-ն այդքան արագ աճել: Ըստ երևույթին, ծրագրավորվող փողի ինքնիշխան, անթույլատրելի և ավտոմատացված ձևերի պահանջարկ կա՝ չնայած այսօր դրա տրամադրման մարտահրավերներին և ռիսկերին։ Հիմա պատկերացրեք, թե որքան նորարարություն կարող է սանձազերծվել, եթե DeFi ծրագրավորողները կարողանան կենտրոնացնել իրենց արտադրողականությունը առանձնահատկությունների վրա, այլ ոչ թե ձախողումների: Այնպիսի նորամուծություն, որը կարող է թույլ տալ 46 միլիարդ դոլար արժողությամբ նորաստեղծ արդյունաբերությանը խաթարել 468 տրիլիոն դոլար արժողությամբ համաշխարհային ֆինանսների ծավալը:
Նորարարություն և անվտանգություն
DeFi-ի և՛ նորարարական, և՛ անվտանգ լինելու բանալին բխում է միևնույն աղբյուրից. Տվեք ծրագրավորողներին ակտիվների ստեղծման և փոխազդեցության հեշտ միջոց, և ակտիվներն ու նրանց ինտուիտիվ վարքագիծը դարձրեք բնօրինակ հատկանիշ: Ստեղծված ցանկացած ակտիվ պետք է միշտ իրեն պահի կանխատեսելի և համահունչ ֆինանսական սկզբունքներին համապատասխան:
Ակտիվների վրա հիմնված ծրագրավորման պարադիգմում ակտիվ ստեղծելը նույնքան հեշտ է, որքան բնիկ ֆունկցիա կանչելը: Պլատֆորմը գիտի, թե ինչ է ակտիվը. .initial_supply_fungible(1000) ստեղծում է 1000-ի ֆիքսված մատակարարմամբ փոխարկելի նշան (բացի մատակարարումից, հասանելի են նաև նշանների կազմաձևման շատ այլ տարբերակներ), մինչդեռ այնպիսի գործառույթներ, ինչպիսիք են .take և .put վերցնել նշանները ինչ-որ տեղից: և դրանք դնել այլ տեղ:
Փոխարենը, որ մշակողները բարդ տրամաբանություն գրեն՝ հրահանգելով խելացի պայմանագրեր թարմացնել փոփոխականների ցուցակները բոլոր սխալների ստուգմամբ, ինչը ենթադրում է ակտիվների վրա հիմնված ծրագրավորման մեջ, այն գործողությունները, որոնք ցանկացած ոք ինտուիտիվորեն ակնկալում է DeFi-ի համար որպես հիմնական գործառույթներ, լեզվի բնիկ գործառույթներ են: Նշանները չեն կարող կորցնել կամ չորանալ, քանի որ ակտիվների վրա հիմնված ծրագրավորումը երաշխավորում է, որ դրանք չեն կարող:
Այսպես դուք ստանում եք և՛ նորարարություն, և՛ անվտանգություն DeFi-ում: Եվ այսպես, դուք փոխում եք հիմնական հասարակության ընկալումը մի վայրից, որտեղ DeFi-ը վայրի արևմուտք է, որտեղ DeFi-ն այն է, որտեղ դուք պետք է խնայեք ձեր խնայողությունները, քանի որ հակառակ դեպքում դուք կորցնում եք:
Բեն Ֆար RDX Works-ի գործընկերության ղեկավարն է, որը հանդիսանում է Radix արձանագրության հիմնական մշակողը: Մինչ RDX Works-ը, նա ղեկավար պաշտոններ էր զբաղեցնում PwC-ում և Deloitte-ում, որտեղ սպասարկում էր հաճախորդներին կառավարման, աուդիտի, ռիսկերի կառավարման և ֆինանսական տեխնոլոգիաների կարգավորման հետ կապված հարցերում: Նա արվեստների բակալավրի կոչում ունի աշխարհագրության և տնտեսագիտության մեջ և մագիստրոսի կոչում քարտեզագրման ծրագրերի և վերլուծության ոլորտում Լիդսի համալսարանից:
Հեղինակը, ով հայտնել է իր ինքնությունը Cointelegraph-ին, այս հոդվածի համար օգտագործել է կեղծանուն։ Այս հոդվածը ընդհանուր տեղեկատվական նպատակների համար է և նախատեսված չէ և չպետք է ընկալվի որպես իրավաբանական կամ ներդրումային խորհրդատվություն: Այստեղ արտահայտված տեսակետները, մտքերը և կարծիքները միայն հեղինակինն են և պարտադիր չէ, որ արտացոլեն կամ ներկայացնեն Cointelegraph-ի տեսակետներն ու կարծիքները:
Աղբյուր՝ https://cointelegraph.com/news/programming-languages-prevent-mainstream-defi