Programski jezici sprečavaju mainstream DeFi

Decentralizirano financiranje (DeFi) brzo raste. Ukupna zaključana vrijednost, mjera novca kojim upravljaju DeFi protokoli, porasla je sa 10 milijardi dolara na nešto više od 40 milijardi dolara u posljednje dvije godine nakon što je dostigla vrhunac od 180 milijardi dolara.

Slon u sobi? Bilo je više od 10 milijardi dolara izgubljen zbog hakova i eksploatacije samo u 2021. Hranjenje tog slona: Današnji programski jezici pametnih ugovora ne pružaju adekvatne karakteristike za kreiranje i upravljanje imovinom – također poznate kao „tokeni“. Da bi DeFi postao mainstream, programski jezici moraju da obezbede karakteristike orijentisane na sredstva kako bi razvoj DeFi pametnih ugovora bio sigurniji i intuitivniji.

Trenutni DeFi programski jezici nemaju koncept sredstava

Rešenja koja bi mogla pomoći u smanjenju DeFi-jevih višegodišnjih hakova uključuju revizijski kod. U određenoj mjeri, revizije rade. Od 10 najvećih DeFi hakova u istoriji (dati ili uzeti), devet projekata nije revidirano. Ali bacanje više resursa na problem je poput stavljanja više motora u automobil sa četvrtastim točkovima: može ići malo brže, ali postoji fundamentalni problem.

Problem: Programski jezici koji se danas koriste za DeFi, kao npr Soliditet, nemaju pojma šta je imovina. Sredstva kao što su tokeni i nezamenljivi tokeni (NFT) postoje samo kao varijabla (brojevi koji se mogu promijeniti) u pametnom ugovoru kao što je Ethereum ERC-20. Zaštite i validacije koje definišu kako bi se varijabla trebala ponašati, npr. da se ne treba trošiti dvaput, da je ne bi trebao isprazniti neovlašteni korisnik, da bi prijenosi uvijek trebali biti u ravnoteži i neto na nulu - sve to treba implementirati od strane programer od nule, za svaki pametni ugovor.

Povezano: Programeri su mogli spriječiti kripto hakove 2022. da su poduzeli osnovne sigurnosne mjere

Kako pametni ugovori postaju složeniji, tako su i potrebne zaštite i validacije. Ljudi su ljudi. Greške se dešavaju. Bugovi se dešavaju. Novac se gubi.

Primer: Compound, jedan od najmodernijih DeFi protokola, eksploatisan je u iznosu od 80 miliona dolara u septembru 2021. Zašto? Pametni ugovor je sadržavao “>” umjesto “>=”.

Efekat udarca

Da bi pametni ugovori međusobno komunicirali, kao što je korisnik koji mijenja token drugim, poruke se šalju svakom pametnom ugovoru kako bi se ažurirala njihova lista internih varijabli.

Rezultat je složen čin ravnoteže. Osiguravanje da se sve interakcije s pametnim ugovorom obrađuju ispravno u potpunosti pada na DeFi programera. Budući da ne postoje urođene zaštitne ograde ugrađene u Solidity i Ethereum Virtual Machine (EVM), DeFi programeri moraju sami dizajnirati i implementirati sve potrebne zaštite i validacije.

Povezano: Programeri moraju zaustaviti kripto hakere ili se suočiti s regulacijom 2023

Dakle, DeFi programeri provode gotovo sve svoje vrijeme pazeći da je njihov kod siguran. I dvostruku provjeru — i trostruku provjeru — do te mjere da neki programeri navode da troše do 90% svog vremena na validacije i testiranje i samo 10% svog vremena na izgradnju funkcija i funkcionalnosti.

Kako je DeFi tako brzo rastao s većinom vremena koje su programeri proveli u borbi protiv nesigurnog koda, uz nedostatak programera? Očigledno, postoji potražnja za samo-suverenim, nedozvoljenim i automatizovanim oblicima programabilnog novca, uprkos izazovima i rizicima da ih se danas obezbedi. Sada zamislite koliko bi se inovacija moglo osloboditi kada bi DeFi programeri mogli usredotočiti svoju produktivnost na karakteristike, a ne na kvarove. Vrsta inovacije koja bi mogla omogućiti novonastaloj industriji vrijednoj 46 milijardi dolara da poremeti industriju veliku poput 468 biliona dolara globalnih finansija.

Inovacija i sigurnost

Ključ da DeFi bude inovativan i siguran proizlazi iz istog izvora: Omogućite programerima jednostavan način za kreiranje i interakciju sa sredstvima i učinite sredstva i njihovo intuitivno ponašanje izvornom funkcijom. Bilo koja stvorena imovina uvijek treba da se ponaša predvidljivo iu skladu sa finansijskim principima zdravog razuma.

U paradigmi programiranja orijentiranog na sredstva, kreiranje sredstva je jednostavno kao i pozivanje izvorne funkcije. Platforma zna šta je sredstvo: .initial_supply_fungible(1000) stvara zamjenjivi token sa fiksnim zalihama od 1000 (osim opskrbe, dostupno je i mnogo više opcija konfiguracije tokena), dok funkcije kao što su .take i .put uzimaju tokene odnekud i stavite ih na drugo mesto.

Umjesto da programeri pišu složenu logiku koja upućuje pametne ugovore da ažuriraju liste varijabli sa svim provjerama grešaka koje podrazumijevaju, u programiranju orijentiranom na sredstva, operacije koje bi bilo ko intuitivno očekivao kao fundamentalne za DeFi su izvorne funkcije jezika. Tokeni se ne mogu izgubiti ili isprazniti jer programiranje orijentirano na sredstva garantuje da ne mogu.

Na ovaj način dobijate i inovaciju i sigurnost u DeFi-ju. I na ovaj način mijenjate percepciju mainstream javnosti sa one gdje je DeFi divlji zapad u onu gdje je DeFi gdje morate uložiti svoju ušteđevinu, jer inače gubite.

Autor, koji je Cointelegraphu otkrio svoj identitet, koristio je pseudonim za ovaj članak. Ovaj članak je u svrhu općeg informisanja i nije namijenjen i ne treba ga smatrati pravnim ili investicijskim savjetom. Stavovi, misli i mišljenja izneseni ovdje su isključivo autorovi i ne odražavaju nužno ili predstavljaju stavove i mišljenja Cointelegrapha.