Информатичар који тражи скупе недостатке у ципто коду

Пре него што су неки од најексплозивнијих догађаја утицали на крипто индустрију прошле године, у пролеће 2022. NFT уметник по имену Мицах Јохнсон одлучио је да одржи нову аукцију својих цртежа. Џонсон је познат у крипто заједници по својим приказима младог црног детета Акуа, који тежи да буде астронаут. За најновије издање, колекционари су формирали линију. Потрошили су 34 милиона долара на НФТ на дан аукције.

Затим, у зависности од ваше перспективе, догодила се трагедија (или комедија). За руковање цриптоцурренци аукцији, Џонсонов софтверски тим је креирао програмирање „паметних уговора“, али је имао озбиљну ману. Џонсонова продаја износила је 34 милиона долара и сви су били обезбеђени Ethereum блоцкцхаин. Џонсон није могао да повуче новац или да повраћај новца онима који су дали понуде за НФТ, али су изгубили своје аукције. Како кажу, виртуелна валута је била „закључана на ланцу“, замрзнута и недоступна.

Џонсон је можда пожалио што није ангажовао Ронгхуи Гуа.

Гу је један од суоснивача ЦертиК-а, највећег ревизора паметних уговора у променљивом и несталном свету криптовалута и Веб3. Гу, пријатељски расположени професор рачунарства на Универзитету Колумбија, надгледа групу од више од 250 људи који испитују криптографски код како би проверили грешке.

Рад ЦертиК-а вас неће спречити да изгубите новац у случају да се криптовалута сруши. Такође неће спречити размену криптовалута да злоупотреби ваш новац. Међутим, можда ће моћи да спречи да софтверски недостатак нанесе непоправљиву штету. Нека од највећих имена у индустрији криптовалута, као што су Боред Апе Иацхт Цлуб и Ронин Нетворк, која управља блокчеином који се користи у играма, су међу клијентелом компаније. Након губитка стотина милиона долара, клијенти се повремено обраћају Гуу у нади да ће он спречити да се то понови.

Гу се смеје и изјављује,

Ово је заиста чудан свет.

Савршенство је једини начин

За разлику од конвенционалног софтвера, криптографски код је далеко мање опраштајући. Док програмери из Силицијумске долине обично настоје да своје системе учине што без грешака пре покретања, код се може изменити ако се касније открије проблем или недостатак.

Многе крипто иницијативе онемогућавају да се то уради. Паметни уговори — компјутерски код који контролише трансакције — користе се за њихово покретање. (На пример, ако желите да дате уметнику 1 ЕТХ у замену за НФТ, паметни уговор би могао бити програмиран да вам пошаље НФТ токен чим новац стигне у новчаник уметника.) Проблем је у томе што не можете уређивати паметно. -код уговора након што се активира на блокчејну. Читава сврха блокчејна је да не можете да измените ништа што им је написано, тако да ако нађете грешку, прекасно је. Код објављен на блокчејну је такође јавно доступан, што хакерима са црним шеширима олакшава испитивање и тражење недостатака које би требало да искористе.

Постоји апсурдно велики број хакова, и они су невероватно профитабилни. Преко 320 милиона долара криптовалуте је украдено из мреже Вормхоле почетком године. Мрежа Ронин је тада претрпела крипто губитак од више од 600 милиона долара.

Гу одмахује главом, наизглед у шоку, и узвикује: „Најскупљи хак у историји.“ Иако хакери једу Веб3, они тврде да Веб3 једе свет.

Последњих година се појавила напредна индустрија ревизора, а Гу-ов ЦертиК је највећи: посао, вредан 2 милијарде долара, тврди да је завршио 70% свих ревизија паметних уговора. Поред тога, он управља системом који прати паметне уговоре и може одмах да идентификује све хакове.

Није страшно за некога ко је ушао на терен наопачке. Гу није почео са крипто; уместо тога, истраживао је технике за дизајнирање кода који делује на начин који се може теоретски предвидети за његов докторат у доказаном и проверљивом софтверу. Међутим, ова тема се показала изузетно корисном за суров свет паметних уговора; 2018. је суоснивач ЦертиК са својим докторским саветником. Гу сада живи и у академском и у крипто свету. Он још увек предаје на Колумбији курсеве о компајлерима и формалној верификацији системског софтвера, и руководи са неколико студената (од којих један истражује компајлере за квантно рачунарство)—исто тако лутајући догађајима у Давосу и Морган Стенлију, обучен у своју уобичајену црну кошуљу и црну јакну док покушава да убеди крипто и финансијске великане да озбиљно схвате блокчејн хакове.

колапс ФТКС-а размена у новембру била је само последњи ударац; криптовалута је злогласна по томе што доживљава циклусе бум-пропадања. Гу је, међутим, уверен да ће још неко време бити заузет. Он тврди да етаблирана предузећа попут банака и „великог претраживача“ почињу да уводе сопствена блокчејн решења и ангажују ЦертиК да све држи под контролом. Блоцкцхаинс ће привући све више и више хакера, укључујући актере из националне државе, ако етаблирана предузећа почну да пуштају више кода на њих. Он то тврди

Претње са којима се суочавамо су све теже.

Напомена

ФигхтОут (ФГХТ) – Пређите да зарадите у Метаверзуму

• ЦертиК проверен и ЦоинСнипер КИЦ верификован
• Претпродаја у раној фази уживо
• Зарадите бесплатну криптографију и остварите фитнес циљеве
• Пројекат ЛБанк Лабс
• У партнерству са Трансаком, Блоцк Медиа
• Награде и бонуси за улагање