Programski jezici sprječavaju mainstream DeFi

Decentralizirane financije (DeFi) brzo raste. Ukupna zaključana vrijednost, mjera novca kojom upravljaju DeFi protokoli, narasla je s 10 milijardi dolara na nešto više od 40 milijardi dolara u posljednje dvije godine nakon što je dosegla vrhunac od 180 milijardi dolara.

Slon u sobi? Bilo je više od 10 milijardi dolara izgubljen zbog hakiranja i iskorištavanja samo u 2021. Hranjenje tog slona: Današnji programski jezici za pametne ugovore ne pružaju odgovarajuće značajke za stvaranje i upravljanje imovinom — također poznate kao "tokeni". Kako bi DeFi postao mainstream, programski jezici moraju pružiti značajke usmjerene na sredstva kako bi razvoj DeFi pametnih ugovora bio sigurniji i intuitivniji.

Trenutačni DeFi programski jezici nemaju koncept imovine

Rješenja koja bi mogla pomoći u smanjenju DeFi-jevih višegodišnjih hakiranja uključuju revizijski kod. U određenoj mjeri, revizije funkcioniraju. Od 10 najvećih DeFi hakiranja u povijesti (manje ili više), devet projekata nije revidirano. Ali bacanje više resursa na problem je kao stavljanje više motora u automobil s četvrtastim kotačima: može ići malo brže, ali u igri je temeljni problem.

Problem: Programski jezici koji se danas koriste za DeFi, kao što je čvrstoća, nemaju pojma što je imovina. Sredstva kao što su tokeni i nezamjenjivi tokeni (NFT) postoje samo kao varijabla (brojevi koji se mogu mijenjati) u pametnom ugovoru kao što je Ethereumov ERC-20. Zaštite i provjere valjanosti koje definiraju kako bi se varijabla trebala ponašati, npr. da se ne bi trebala potrošiti dvaput, da je ne bi trebao isprazniti neovlašteni korisnik, da bi prijenosi uvijek trebali biti uravnoteženi i neto na nuli — sve to treba implementirati programer od nule, za svaki pojedini pametni ugovor.

Povezano: Programeri su mogli spriječiti hakiranje kriptovalute 2022. da su poduzeli osnovne sigurnosne mjere

Kako pametni ugovori postaju složeniji, tako su i potrebne zaštite i provjere valjanosti. Ljudi su ljudi. Greške se događaju. Greške se događaju. Novac se gubi.

Primjer: Compound, jedan od najistaknutijih DeFi protokola, iskorišten je u iznosu od 80 milijuna dolara u rujnu 2021. Zašto? Pametni ugovor sadržavao je “>” umjesto “>=.”

Posljedični učinak

Kako bi pametni ugovori međusobno komunicirali, kao što je korisnik koji mijenja token s drugim, poruke se šalju svakom od pametnih ugovora kako bi se ažurirao njihov popis internih varijabli.

Rezultat je složeno balansiranje. Osiguravanje da se sve interakcije s pametnim ugovorom ispravno obrađuju u potpunosti je na DeFi programeru. Budući da nema urođenih zaštitnih ograda ugrađenih u Solidity i Ethereum Virtual Machine (EVM), DeFi programeri moraju sami dizajnirati i implementirati sve potrebne zaštite i provjere valjanosti.

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

Stoga DeFi programeri provode gotovo sve svoje vrijeme osiguravajući sigurnost svog koda. I dvostruka provjera - i trostruka provjera - do te mjere da neki programeri navode da troše do 90% svog vremena na provjere valjanosti i testiranje, a samo 10% svog vremena na izgradnju značajki i funkcionalnosti.

Budući da većinu vremena programeri provode boreći se s nesigurnim kodom, uz manjak programera, kako je DeFi tako brzo rastao? Očigledno postoji potražnja za samostalnim, automatiziranim i automatiziranim oblicima programabilnog novca, unatoč izazovima i rizicima njegovog današnjeg pružanja. Sada zamislite koliko bi se inovacija moglo pokrenuti kada bi DeFi programeri mogli usmjeriti svoju produktivnost na značajke, a ne na kvarove. Vrsta inovacije koja bi novonastaloj industriji od 46 milijardi dolara mogla omogućiti da poremeti tako veliku industriju kao što je, dobro, 468 bilijuna dolara vrijedno globalno financiranje.

Inovativnost i sigurnost

Ključ za inovativnost i sigurnost DeFi-ja proizlazi iz istog izvora: dajte programerima jednostavan način za stvaranje i interakciju s imovinom i učinite imovinu i njihovo intuitivno ponašanje prirodnom značajkom. Svaka stvorena imovina uvijek bi se trebala ponašati predvidljivo iu skladu sa zdravim financijskim načelima.

U programskoj paradigmi orijentiranoj na sredstva, stvaranje sredstva jednostavno je kao pozivanje izvorne funkcije. Platforma zna što je imovina: .initial_supply_fungible(1000) stvara zamjenjivi token s fiksnom zalihom od 1000 (osim ponude, dostupne su i mnoge druge opcije konfiguracije tokena), dok funkcije kao što su .take i .put preuzimaju tokene odnekud i staviti ih na drugo mjesto.

Umjesto da programeri pišu složenu logiku koja upućuje pametne ugovore da ažuriraju popise varijabli sa svim provjerama pogrešaka koje podrazumijevaju, u programiranju usmjerenom na imovinu, operacije koje bi svatko intuitivno očekivao kao temeljne za DeFi izvorne su funkcije jezika. Tokeni se ne mogu izgubiti ili isprazniti jer programiranje orijentirano na imovinu jamči da to ne može.

Ovako dobivate i inovaciju i sigurnost u DeFi-ju. I ovo je način na koji mijenjate percepciju glavne javnosti od one u kojoj je DeFi divlji zapad u onu u kojoj je DeFi mjesto gdje morate staviti svoju ušteđevinu, jer u suprotnom gubite.

Autor, koji je Cointelegraphu otkrio svoj identitet, za ovaj se članak koristio pseudonimom. Ovaj članak je u svrhu općeg informiranja i nije namijenjen i ne bi se trebao smatrati pravnim ili investicijskim savjetom. Stavovi, misli i mišljenja izraženi ovdje isključivo su autorovi i ne odražavaju nužno niti predstavljaju stavove i mišljenja Cointelegrapha.