Програмски језици спречавају маинстреам ДеФи

Децентрализоване финансије (ДеФи) брзо расте. Укупна закључана вредност, мера новца којим управљају ДеФи протоколи, порасла је са 10 милијарди долара на нешто више од 40 милијарди долара у последње две године након што је достигла врхунац од 180 милијарди долара.

Укупна вредност закључана у ДеФи од новембра 2022. Извор: ДефиЛлама

Слон у соби? Било је више од 10 милијарди долара изгубљен због хакова и експлоата само у 2021. Храњење тог слона: Данашњи програмски језици паметних уговора не успевају да обезбеде адекватне функције за креирање и управљање имовином — такође познате као „токени“. Да би ДеФи постао мејнстрим, програмски језици морају да обезбеде карактеристике оријентисане на средства како би развој паметних уговора ДеФи учинио сигурнијим и интуитивнијим.

Тренутни ДеФи програмски језици немају концепт средстава

Решења која би могла да помогну у смањењу ДеФи-јевих вишегодишњих хакова укључују ревизијски код. У извесној мери, ревизије функционишу. Од 10 највећих ДеФи хакова у историји (дајте или узмите), девет пројеката није ревидирано. Али бацање више ресурса на проблем је као ставити више мотора у аутомобил са четвртастим точковима: може ићи мало брже, али постоји фундаментални проблем.

Проблем: Програмски језици који се данас користе за ДеФи, као нпр Солитуда, немају појма шта је имовина. Средства као што су токени и незаменљиви токени (НФТ) постоје само као променљива (бројеви који се могу променити) у паметном уговору као што је Етхереум ЕРЦ-20. Заштите и валидације које дефинишу како треба да се понаша променљива, нпр. да не треба да се троши два пута, да је не сме да испразни неовлашћени корисник, да трансфери увек треба да буду у равнотежи и нето на нули – све то треба да имплементира програмер од нуле, за сваки паметни уговор.

Релатед: Програмери су могли да спрече крипто хакове 2022. да су предузели основне мере безбедности

Како паметни уговори постају сложенији, тако су и потребне заштите и валидације. Људи су људи. Грешке се дешавају. Догађају се грешке. Новац се губи.

Пример: Цомпоунд, један од најмодернијих ДеФи протокола, искоришћен је у износу од 80 милиона долара у септембру 2021. Зашто? Паметни уговор је садржао „>“ уместо „>=“.

Ефекат ударца

Да би паметни уговори међусобно комуницирали, као што је корисник који замени токен другим, поруке се шаљу сваком од паметних уговора како би се ажурирала њихова листа интерних варијабли.

Резултат је сложен чин равнотеже. Осигуравање да се све интеракције са паметним уговором правилно обрађују у потпуности пада на ДеФи програмера. Пошто не постоје урођене заштитне ограде уграђене у Солидити и Етхереум виртуелну машину (ЕВМ), ДеФи програмери морају сами да дизајнирају и имплементирају све потребне заштите и валидације.

Релатед: Програмери треба да зауставе крипто хакере или да се суоче са прописима 2023

Дакле, ДеФи програмери проводе скоро све своје време пазећи да је њихов код сигуран. И то двапут провера — и троструку проверу — до те мере да неки програмери наводе да троше до 90% свог времена на валидације и тестирање и само 10% свог времена на изградњу функција и функционалности.

Са већином времена које су програмери провели у борби против несигурног кода, уз недостатак програмера, како је ДеФи тако брзо порастао? Очигледно, постоји потражња за само-сувереним, недозвољеним и аутоматизованим облицима програмабилног новца, упркос изазовима и ризицима који се данас доносе. Сада замислите колико би се иновација могло ослободити када би ДеФи програмери могли да фокусирају своју продуктивност на функције, а не на неуспехе. Врста иновације која би могла дозволити новонасталој индустрији од 46 милијарди долара да поремети индустрију велику као што је 468 билиона долара глобалних финансија.

Укупна актива глобалних финансијских институција од 2002. до 2020. Извор: Статиста

Иновација и безбедност

Кључ да ДеФи буде и иновативан и безбедан потиче из истог извора: Омогућите програмерима једноставан начин да креирају средства и комуницирају са њима и учините средства и њихово интуитивно понашање изворном функцијом. Свако створено средство треба увек да се понаша предвидљиво иу складу са финансијским принципима здравог разума.

У парадигми програмирања оријентисаног на средства, креирање средства је лако као и позивање изворне функције. Платформа зна шта је средство: .инитиал_суппли_фунгибле(1000) креира заменљиви токен са фиксним залихама од 1000 (осим снабдевања, доступно је и много више опција конфигурације токена), док функције као што су .таке и .пут таке токене однекуд и ставите их на друго место.

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

На овај начин добијате и иновацију и сигурност у ДеФи-ју. И овако мењате перцепцију мејнстрим јавности са оне где је ДеФи дивљи запад у ону где је ДеФи где морате да уложите своју уштеђевину, јер иначе губите.

Бен Фар је шеф партнерства у РДКС Воркс-у, језгру програмера Радик протокола. Пре РДКС Воркс-а, био је на руководећим позицијама у ПвЦ-у и Делоитте-у, где је пружао услуге клијентима о питањима која се односе на управљање, ревизију, управљање ризицима и регулисање финансијске технологије. Дипломирао је географију и економију и магистрирао софтвер за мапирање и аналитику на Универзитету у Лидсу.

Аутор, који је Цоинтелеграпху открио свој идентитет, користио је псеудоним за овај чланак. Овај чланак је у опште информативне сврхе и није намењен и не треба да се сматра правним или инвестиционим саветом. Ставови, мисли и мишљења изнесени овде су искључиво ауторови и не одражавају нужно или представљају ставове и мишљења Цоинтелеграпха.

Извор: хттпс://цоинтелеграпх.цом/невс/программинг-лангуагес-превент-маинстреам-дефи