E Computerwëssenschaftler deen no deiere Mängel am Zyptocode sicht

Virun e puer vun den explosivesten Entwécklungen fir d'Krypto Industrie d'lescht Joer ze beaflossen, am Fréijoer 2022, eng NFT Kënschtler mam Numm Micah Johnson huet sech opgestallt fir eng nei Auktioun vu sengen Zeechnungen ze halen. Den Johnson ass bekannt an der Krypto Gemeinschaft fir seng Biller vum jonke Schwaarze Kand Aku, deen en Astronaut wëll sinn. Fir déi neist Verëffentlechung hunn Sammler eng Linn geformt. Si hunn $ 34 Milliounen op den NFTs um Auktiounsdag ausginn.

Dann, ofhängeg vun Ärer Perspektiv, huet d'Tragödie (oder d'Komedie) geschloen. Fir ze handhaben cryptocurrency Auktioun huet dem Johnson seng Software-Team "Smart Kontrakt" Programméierung erstallt, awer et hat e seriöse Feeler. Johnsons Ofsaz am Ganzen $ 34 Millioune, a si waren all op der geséchert Ethereum blockchain. Den Johnson konnt d'Suen net zréckzéien oder Remboursementer ginn un déi, déi Offeren op NFTs gemaach hunn, awer hir Auktioune verluer hunn. Wéi se soen, war déi virtuell Währung "op Kette gespaart", gefruer an onerreechbar.

Den Johnson hätt vläicht bedauert datt de Ronghui Gu net agestallt huet.

Gu ass ee vun de Matgrënner vu CertiK, de gréisste Smart-Kontrakt Auditor an der onbestänneg an onregelméisseger Welt vu Krypto-Währungen a Web3. Gu, e frëndlechen an erausginn Professer fir Informatik op der Columbia University, iwwerwaacht e Grupp vu méi wéi 250 Leit déi de Kryptografesche Code iwwerpréiwen fir Feeler ze kontrolléieren.

D'Aarbecht vu CertiK wäert Iech net verhënneren datt Dir Sue verléiert am Fall wou eng Krypto-Währung erofgeet. Et wäert och net verhënneren datt e Krypto-Währungsaustausch Är Suen mëssbraucht. Wéi och ëmmer, et kéint fäeg sinn e Softwarefehler ze stoppen fir irreparabele Schued ze verursaachen. E puer vun de gréissten Nimm an der Krypto-Währungsindustrie, wéi de Bored Ape Yacht Club an de Ronin Network, deen e Blockchain verwalt, deen a Spiller benotzt gëtt, gehéieren zu de Clientèle vun der Firma. Nodeems si Honnerte vu Millioune Dollar verluer hunn, wenden d'Clienten sech heiansdo un de Gu an der Hoffnung datt hien et kann verhënneren datt et erëm geschitt.

Gu laacht an erkläert,

Dëst ass eng wierklech komesch Welt.

Perfektioun ass deen eenzege Wee

Am Géigesaz zu konventioneller Software ass kryptografesche Code vill manner verzeien. Wärend Silicon Valley Programméierer typesch beméien hir Systemer sou bug-fräi wéi méiglech ze maachen ier se starten, kann de Code geännert ginn wann en Thema oder Feeler spéider entdeckt gëtt.

Vill Krypto-Initiativen maachen et onméiglech sou ze maachen. Smart Kontrakter - Computercode deen d'Transaktioune kontrolléiert - gi benotzt fir se auszeféieren. (Zum Beispill, wann Dir engem Kënschtler 1 ETH am Austausch fir en NFT wëllt ginn, kann e Smart Kontrakt programméiert ginn fir Iech den NFT Token ze schécken soubal d'Suen de Portemonnaie vum Kënschtler erreecht hunn.) De Problem ass datt Dir net Smart editéiere kënnt -Kontraktcode nodeems et op engem Blockchain live gaang ass. De ganzen Zweck vu Blockchainen ass datt Dir näischt kënnt änneren wat hinnen geschriwwe gouf, also wann Dir e Feeler fannt, ass et ze spéit. De Code, deen op enger Blockchain publizéiert gëtt, ass och ëffentlech zougänglech, wat et méi einfach mécht fir Black-Hat Hacker z'ënnersichen an no Mängel z'exploitéieren.

Et ginn eng absurd grouss Zuel vun Hacks, a si sinn onheemlech rentabel. Iwwer $ 320 Millioune Wäert vun cryptocurrency gouf vum Wormhole Reseau am Ufank vum Joer geklaut. De Ronin Network huet dunn e Krypto Verloscht vu méi wéi $600 Milliounen erlidden.

De Gu rëselt de Kapp, anscheinend schockéiert, a rifft: "Den deiersten Hack an der Geschicht." Och wann Hacker Web3 iessen, behaapten se datt Web3 d'Welt ësst.

Déi lescht Joeren hunn d'Entstoe vun enger bléiender Industrie vun Auditeuren gesinn, mam Gu's CertiK als dee gréisste: d'Geschäft, geschat op $ 2 Milliarde, behaapt 70% vun all Smart-Kontrakt Auditen ofgeschloss ze hunn. Zousätzlech bedreift et e System deen Smart Kontrakter verfollegt a kann direkt all Hacks identifizéieren.

Net ganz schrecklech fir een deen op d'Kopp op den Terrain koum. Gu huet net ugefaang mat Krypto; amplaz, hien exploréiert Techniken Code ze Design dass op eng Manéier Akten déi theoretesch fir seng Dokteraarbecht an bewisen an verifiable Software virausgesot ginn kann. Wéi och ëmmer, dëst Thema huet sech als extrem nëtzlech fir déi haart Welt vu Smart Kontrakter bewisen; am Joer 2018 huet hien zesumme gegrënnt CertiK mat sengem PhD Beroder. Gu lieft elo souwuel an der akademescher wéi an der Krypto Welt. Hien léiert ëmmer nach Columbia Coursen iwwer Compileren an déi formell Verifizéierung vu Systemsoftware, a geréiert e puer Grad Studenten (e vun deenen e Compiler fir Quantecomputer fuerscht) - wärend hien och ronderëm Davos a Morgan Stanley Eventer dréit, a sengem gewéinleche schwaarze Shirt gekleet an schwaarz Jackett wéi hie probéiert Krypto a finanziell Bigwigs ze iwwerzeegen Blockchain Hacks eescht ze huelen.

d' Zesummebroch vun der FTX Austausch am November war just de leschte Schlag; cryptocurrency ass berühmt fir Boom-Bust Zyklen ze erliewen. De Gu ass awer zouversiichtlech datt hien nach eng Zäit beschäftegt wäert sinn. Hie behaapt datt etabléiert Geschäfter wéi Banken an "eng grouss Sichmotor" hir eege Blockchain-Léisungen anzeféieren an CertiK astellen fir alles ënner Kontroll ze halen. Blockchains wäerten ëmmer méi Hacker zéien, dorënner Nationalstaat Akteuren, wann etabléiert Entreprisen ufänken méi Code op hinnen ze verëffentlechen. Hie behaapt dat

D'Gefore, déi mir konfrontéiert hunn, sinn ëmmer méi haart.

Verbonnen

FightOut (FGHT) - Beweegt fir am Metaverse ze verdéngen

• CertiK iwwerpréift & CoinSniper KYC Verifizéiert
• Fréi Stage Virverkaaf Live Elo
• Verdéngt Gratis Krypto & Trefft Fitnessziler
• LBank Labs Project
• Partner mat Transak, Block Media
• Staking Belounungen & Bonus