Programméiere Sprooche verhënneren Mainstream DeFi

Dezentraliséierten Finanzen (DeFi) wiisst séier. Gesamtwäert gespaart, eng Moossnam vu Suen, déi duerch DeFi Protokoller geréiert gëtt, ass vun 10 Milliarden Dollar op e bësse méi wéi 40 Milliarden Dollar an de leschten zwee Joer gewuess nodeems se op 180 Milliarden Dollar eropgaang sinn.

Den Elefant am Raum? Méi wéi $ 10 Milliarde war verluer fir Hacks an Exploiten eleng am Joer 2021. Deen Elefant fidderen: Déi heuteg Smart Kontrakt Programméierungssprooche versoen net adäquat Features ze bidden fir Verméigen ze kreéieren an ze managen - och bekannt als "Tokens." Fir DeFi Mainstream ze ginn, musse Programméierungssproochen assetorientéiert Feature ubidden fir DeFi Smart Kontrakt Entwécklung méi sécher an intuitiv ze maachen.

Aktuell DeFi Programméierungssproochen hu kee Konzept vu Verméigen

Léisungen déi hëllefe kéinte reduzéieren DeFi's méijähreg Hacks enthalen Auditcode. Zu engem gewësse Mooss funktionnéieren Auditen. Vun den 10 gréissten DeFi Hacks an der Geschicht (ginn oder huelen), néng vun de Projete goufen net iwwerpréift. Awer méi Ressourcen op de Problem werfen ass wéi méi Motoren an en Auto mat quadrateschen Rieder setzen: et kann e bësse méi séier goen, awer et ass e fundamentale Problem um Spill.

De Problem: Programméierungssprooche benotzt fir DeFi haut, wéi z Solitär, hu kee Konzept wat e Verméigen ass. Verméigen wéi Tokens an nonfungible Tokens (NFTs) existéieren nëmmen als Variabel (Zuelen déi kënne änneren) an engem Smart Kontrakt wéi mam Ethereum's ERC-20. D'Protectiounen a Validatiounen déi definéieren wéi d'Variabel sech soll behuelen, zB datt se net zweemol ausginn sollt, se sollt net vun engem onerlaabten Benotzer drainéiert ginn, datt Transfere sollen ëmmer balancéieren an net op Null - all mussen ëmgesat ginn duerch den Entwéckler vun Null, fir all eenzel Smart Kontrakt.

Verbonnen: D'Entwéckler hätten d'Crypto's 2022 Hacks verhënnert wa se Basis Sécherheetsmoossname getraff hunn

Wéi intelligent Kontrakter méi komplex ginn, sou sinn och déi erfuerderlech Schutz a Validatiounen. D'Leit si Mënsch. Feeler geschéien. Bugs geschéien. Geld geet verluer.

E Fall am Punkt: Compound, ee vun de blo-Chip vun DeFi-Protokoller, gouf am September 80 op $ 2021 Milliounen exploitéiert. Firwat? De Smart Kontrakt enthält en ">" amplaz vun engem ">=."

Den Knock-on Effekt

Fir Smart Kontrakter mateneen ze interagéieren, sou wéi e Benotzer en Token mat engem aneren austauscht, gi Messagen un all de Smart Kontrakter geschéckt fir hir Lëscht vun internen Variablen ze aktualiséieren.

D'Resultat ass e komplexe Gläichgewiicht. Garantéieren datt all Interaktioune mam Smart Kontrakt richteg gehandhabt ginn fällt ganz op den DeFi Entwéckler. Well et keng gebierteg Schutzschirmer a Solidity an der Ethereum Virtual Machine (EVM) agebaut sinn, mussen DeFi Entwéckler all erfuerderlech Schutz a Validatioune selwer designen an ëmsetzen.

Verbonnen: D'Entwéckler musse Krypto-Hacker stoppen oder Reguléierung am Joer 2023 maachen

Also DeFi Entwéckler verbréngen bal all hir Zäit fir sécher ze stellen datt hire Code sécher ass. A duebel-iwwerpréift et - an dräifach iwwerpréift - an deem Mooss datt e puer Entwéckler berichten datt se bis zu 90% vun hirer Zäit op Validatiounen an Tester verbréngen an nëmmen 10% vun hirer Zäit fir Features a Funktionalitéit ze bauen.

Mat der Majoritéit vun der Entwécklerzäit, déi mat onséchere Code kämpft, zesummegesat mat engem Mangel un Entwéckler, wéi ass DeFi sou séier gewuess? Anscheinend gëtt et Nofro fir selbstsouverän, permissionslos an automatiséiert Forme vu programméierbare Suen, trotz den Erausfuerderungen a Risiken fir se haut ze bidden. Stellt Iech elo vir wéi vill Innovatioun kéint entlooss ginn wann DeFi Entwéckler hir Produktivitéit op Features konzentréieren an net Feeler. D'Aart vun Innovatioun, déi eng nei Industrie vun 46 Milliarden Dollar erlaabt eng Industrie esou grouss ze stéieren wéi, gutt, déi $ 468 Billioun weltwäit Finanzen.

Innovatioun a Sécherheet

De Schlëssel fir datt DeFi souwuel innovativ a sécher ass staamt aus der selwechter Quell: Gitt Entwéckler en einfache Wee fir Verméigen ze kreéieren an ze interagéieren an Verméigen an hiren intuitive Verhalen eng gebierteg Feature ze maachen. All Verméigen erstallt soll ëmmer prévisibel behuelen an am Aklang mat gesondem Mënscheverstand finanzielle Prinzipien.

Am Asset-orientéierte Programméierungsparadigma ass e Verméigen ze kreéieren sou einfach wéi eng gebierteg Funktioun ze nennen. D'Plattform weess wat e Verméigen ass: .initial_supply_fungible(1000) erstellt e fungibelen Token mat enger fixer Versuergung vun 1000 (iwwert Versuergung sinn och vill méi Tokenkonfiguratiounsoptioune verfügbar) wärend Funktiounen wéi .take an .put huelen Token vun iergendwou a setzen se anzwousch anescht.

Amplaz datt d'Entwéckler komplex Logik schreiwen, déi intelligent Kontrakter instruéieren fir Lëschte vu Variabelen ze aktualiséieren mat all de Fehlerprüfungen, déi an der Asset-orientéierter Programméierung mat sech bréngt, Operatiounen, déi iergendeen intuitiv als fundamental fir DeFi erwaart, sinn gebierteg Funktiounen vun der Sprooch. Tokens kënnen net verluer oder drainéiert ginn, well asset-orientéiert Programméierung garantéiert datt se net kënnen.

Dëst ass wéi Dir souwuel Innovatioun a Sécherheet am DeFi kritt. An dëst ass wéi Dir d'Perceptioun vum Mainstream Public ännert vun engem wou DeFi de wilde Westen ass zu engem wou DeFi ass wou Dir Är Spuere muss setzen, well soss verléiert Dir.

Den Auteur, deen seng Identitéit zu Cointelegraph verroden huet, huet e Pseudonym fir dësen Artikel benotzt. Dësen Artikel ass fir allgemeng Informatiounszwecker an ass net virgesinn a soll net als juristesch oder Investitiounsberodung geholl ginn. D'Meenungen, d'Gedanken an d'Meenungen, déi hei ausgedréckt sinn, sinn dem Auteur eleng a reflektéieren net onbedéngt d'Meenungen an d'Meenungen vum Cointelegraph.