Gjuhët e programimit parandalojnë DeFi të zakonshme

Financa e Decentralizuar (DeFi) po rritet shpejt. Vlera totale e bllokuar, një masë parash e menaxhuar nga protokollet DeFi, është rritur nga 10 miliardë dollarë në pak më shumë se 40 miliardë dollarë gjatë dy viteve të fundit pasi arriti kulmin në 180 miliardë dollarë.

Vlera totale e kyçur në DeFi që nga nëntori 2022. Burimi: DefiLlama

Elefanti në dhomë? Ishte më shumë se 10 miliardë dollarë humbur nga hakimet dhe shfrytëzimet vetëm në vitin 2021. Ushqyerja e atij elefanti: Gjuhët e sotme të programimit të kontratave inteligjente dështojnë të ofrojnë veçori adekuate për të krijuar dhe menaxhuar asetet - të njohura gjithashtu si "tokena". Që DeFi të bëhet i zakonshëm, gjuhët e programimit duhet të ofrojnë veçori të orientuara drejt aseteve për ta bërë zhvillimin e kontratës inteligjente DeFi më të sigurt dhe intuitiv.

Gjuhët aktuale të programimit DeFi nuk kanë koncept të aseteve

Zgjidhjet që mund të ndihmojnë në reduktimin e hakimeve shumëvjeçare të DeFi përfshijnë kodin e auditimit. Në një masë, auditimet funksionojnë. Nga 10 hakimet më të mëdha të DeFi në histori (jep ose merr), nëntë nga projektet nuk u audituan. Por hedhja e më shumë burimeve ndaj problemit është si të vendosësh më shumë motorë në një makinë me rrota katrore: mund të ecë pak më shpejt, por ka një problem thelbësor në lojë.

Problemi: Gjuhët e programimit që përdoren sot për DeFi, si p.sh fortësi, nuk kanë asnjë koncept se çfarë është një aktiv. Asete të tilla si tokenat dhe tokenët e pandryshueshëm (NFT) ekzistojnë vetëm si një variabël (numra që mund të ndryshojnë) në një kontratë inteligjente si p.sh. me ERC-20 të Ethereum. Mbrojtjet dhe vlefshmëritë që përcaktojnë se si duhet të sillet variabla, p.sh., që ajo nuk duhet të shpenzohet dy herë, nuk duhet të zbrazet nga një përdorues i paautorizuar, që transferimet duhet të jenë gjithmonë të balancuara dhe neto në zero - të gjitha duhet të zbatohen nga zhvilluesi nga e para, për çdo kontratë të vetme inteligjente.

Related: Zhvilluesit mund të kishin parandaluar hakimet e kriptove në vitin 2022 nëse do të merrnin masat bazë të sigurisë

Ndërsa kontratat inteligjente bëhen më komplekse, po ashtu janë edhe mbrojtjet dhe vërtetimet e nevojshme. Njerëzit janë njerëz. Gabimet ndodhin. Ndodhin gabime. Paratë humbasin.

Një rast i tillë: Compound, një nga protokollet më blu-çip të DeFi, u shfrytëzua në shumën prej 80 milionë dollarësh në shtator 2021. Pse? Kontrata inteligjente përmbante një ">" në vend të një ">=".

Efekti i goditjes

Që kontratat inteligjente të ndërveprojnë me njëra-tjetrën, si p.sh. një përdorues që ndërron një token me një tjetër, mesazhet i dërgohen secilës prej kontratave inteligjente për të përditësuar listën e tyre të variablave të brendshëm.

Rezultati është një veprim kompleks balancues. Sigurimi që të gjitha ndërveprimet me kontratën inteligjente të trajtohen në mënyrë korrekte bie tërësisht mbi zhvilluesin e DeFi. Meqenëse nuk ka parmakë mbrojtëse të lindura të integruara në Solidity dhe Makinën Virtuale Ethereum (EVM), zhvilluesit e DeFi duhet të hartojnë dhe zbatojnë vetë të gjitha mbrojtjet dhe vërtetimet e kërkuara.

Related: Zhvilluesit duhet të ndalojnë hakerat e kriptove ose të përballen me rregullimin në vitin 2023

Pra, zhvilluesit e DeFi shpenzojnë pothuajse të gjithë kohën e tyre duke u siguruar që kodi i tyre të jetë i sigurt. Dhe kontrollimi i dyfishtë - dhe kontrollimi i trefishtë - deri në masën që disa zhvillues raportojnë se shpenzojnë deri në 90% të kohës së tyre në vërtetime dhe testime dhe vetëm 10% të kohës së tyre duke ndërtuar veçori dhe funksionalitet.

Me shumicën e kohës së shpenzuar nga zhvilluesit për të luftuar kodin e pasigurt, të shoqëruar me mungesën e zhvilluesve, si është rritur kaq shpejt DeFi? Me sa duket, ka kërkesa për forma vetë-sovrane, pa leje dhe të automatizuara të parave të programueshme, pavarësisht sfidave dhe rreziqeve të sigurimit të saj sot. Tani, imagjinoni se sa risi mund të nxirren nëse zhvilluesit e DeFi mund të fokusojnë produktivitetin e tyre në veçori dhe jo në dështime. Lloji i inovacionit që mund të lejojë një industri të re prej 46 miliardë dollarësh të prishë një industri aq të madhe sa financat globale prej 468 trilion dollarësh.

Totali i aktiveve të institucioneve financiare globale nga viti 2002 deri në vitin 2020. Burimi: Statista

Inovacioni dhe siguria

Çelësi që DeFi të jetë njëkohësisht inovativ dhe i sigurt buron nga i njëjti burim: Jepuni zhvilluesve një mënyrë të thjeshtë për të krijuar dhe ndërvepruar me asetet dhe për t'i bërë asetet dhe sjelljen e tyre intuitive një veçori origjinale. Çdo aktiv i krijuar duhet të sillet gjithmonë në mënyrë të parashikueshme dhe në përputhje me parimet financiare të arsyeshme.

Në paradigmën e programimit të orientuar drejt aseteve, krijimi i një aseti është po aq i lehtë sa thirrja e një funksioni vendas. Platforma e di se çfarë është një aktiv: .initial_supply_fungible(1000) krijon një token të këmbyeshëm me një furnizim fiks prej 1000 (përtej furnizimit, janë të disponueshme edhe shumë opsione të tjera të konfigurimit të tokenit) ndërsa funksione të tilla si .take dhe .put marrin argumente nga diku dhe vendosini ato diku tjetër.

Në vend që zhvilluesit të shkruajnë logjikë komplekse që udhëzojnë kontrata inteligjente të përditësojnë listat e variablave me të gjithë kontrollin e gabimeve që përfshin, në programimin e orientuar drejt aseteve, operacionet që çdokush do t'i priste intuitivisht si thelbësore për DeFi janë funksione amtare të gjuhës. Shenjat nuk mund të humbasin ose të kullohen, sepse programimi i orientuar drejt aseteve garanton që nuk munden.

Kjo është mënyra se si ju merrni inovacion dhe siguri në DeFi. Dhe kjo është mënyra se si ju ndryshoni perceptimin e publikut të zakonshëm nga ai ku DeFi është perëndimi i egër në një ku DeFi është vendi ku duhet të vendosni kursimet tuaja, pasi përndryshe, ju jeni duke humbur.

Ben Far është kreu i partneriteteve në RDX Works, zhvilluesi kryesor i protokollit Radix. Para RDX Works, ai mbante pozicione menaxheriale në PwC dhe Deloitte, ku u shërbeu klientëve për çështje që lidhen me qeverisjen, auditimin, menaxhimin e rrezikut dhe rregullimin e teknologjisë financiare. Ai ka një diplomë të arteve në gjeografi dhe ekonomi dhe një diplomë master në softuer hartash dhe analitikë nga Universiteti i Leeds.

Autori, i cili zbuloi identitetin e tij për Cointelegraph, përdori një pseudonim për këtë artikull. Ky artikull është për qëllime të përgjithshme informacioni dhe nuk synohet të konsiderohet dhe nuk duhet të merret si këshillë ligjore ose investimi. Pikëpamjet, mendimet dhe opinionet e shprehura këtu janë vetëm të autorit dhe nuk pasqyrojnë ose përfaqësojnë domosdoshmërisht pikëpamjet dhe opinionet e Cointelegraph.

Burimi: https://cointelegraph.com/news/programming-languages-prevent-mainstream-defi