Kuinka kauan älykkäiden sopimusten tarkastaminen kestää | DeFi

Lähes puolet Ethereumin ekosysteemin älykkäistä sopimuksista on tilintarkastamattomia, mikä johtaa kasvavaan hakkerien määrään. 

Älykäs sopimusauditointi on yleensä viimeinen vaihe älykkään sopimuksen tai DeFi-sovelluksen matkalla, ja se jätetään usein pois. Kun otetaan huomioon älykkäiden sopimusten merkitys DeFi-maailmassa tai missä tahansa Blockchain-sovelluksessa, älykkäiden sopimusten tarkastaminen on ratkaiseva osa sovellusta. 

Olipa kyse taloudellisesta vallankumouksesta, omaisuuden merkinnästä tai minkä tahansa käyttötapauksen toteuttamisesta Blockchain-alustan päällä, älykkäät sopimukset ovat välttämättömiä. Pohjimmiltaan älykkäät sopimukset ovat vain muutama koodirivi, jota käytetään ehdon suorittamiseen. Esimerkiksi, jos otat lainaa DeFi-sovelluksesta, kuten Aave ja Compound, tarjoamalla jonkin verran vakuuksia ja maksamalla määritetyn koron lainasta, kaikki ehdot määritellään joukolla älykkäitä sopimuksia. 

Tässä skenaariossa on useita älykkäitä sopimuksia, jotka liittyvät digitaalisen taloudellisen vuorovaikutuksen ekosysteemin luomiseen. Tässä on ymmärrettävä, että nämä useat älykkäät sopimukset ovat riippuvaisia ​​toisistaan. Yksi pieni virhe missä tahansa koodirivissä mistä tahansa älykkäästä sopimuksesta voi johtaa dramaattisiin tuloksiin. 

On yleinen väärinkäsitys, että älykäs sopimusauditointi vie kohtuuttoman paljon aikaa. Tämä on yleinen näkemys, vaikka todellisuudessa älykkään sopimusauditoinnin aika riippuu käyttötapauksen monimutkaisuudesta ja monista muista tekijöistä. Tarkastusaikaa koskevan tiedon puute on yksi merkittävimmistä syistä, miksi monet älykkäät sopimukset ovat tilintarkastamattomia.

Kuinka kauan älykkäiden sopimusten tarkastus kestää

Alla mainitaan muutama mahdollisuus älykkääseen sopimusauditointiin kuluvassa ajassa:

1. Yleisin tarkastuksessa huomioon otettava tekijä on projektin koko. Hankkeen monimutkaisuudella on myös merkitystä, mutta hankkeen koosta tulee ensisijainen ominaisuus määritettäessä tarkastuksen kesto.

Yleensä yksinkertainen älykäs sopimus, kuten ERC20-tokenien tunnussopimus, voi viedä pari päivää, mikä tarkoittaa, että tällaisten sopimusten tarkastusaika voi kestää 24-48 tuntia. Tämä riippuu jälleen hankkeen monimutkaisuudesta. Jos ERC20: ta käytetään Dappin sisällä, tarkastus voi kestää lähes yhden kuukauden. 

Toinen sopimustyyppi on merkkikauppasopimus. Nämä voidaan määritellä edistyneiksi ERC20-sopimuksiksi, joissa on määritetty tokenomiikka ja lisäominaisuudet. Toiminnot, kuten panostus ja vaihtaminen, voivat myös olla osa tällaisia ​​sopimuksia. Tällaisten sopimusten täydellinen tarkastus voi viedä yhdestä kahteen viikkoon verrattuna ERC20-perussopimuksen pariin päivään.

2. Kuten edellä mainittiin, auditointien aika riippuu myös hankkeen monimutkaisuudesta. Jos esimerkiksi rakennat hajautettua valuutanvaihtoa tai hajautettuja rahamarkkinoita, kuten Aave, tarkastus vaatii asiantuntijatilintarkastajan ja laajan aikataulun sen varmistamiseksi, ettei takaovia ole. Tällöin jopa oraakelit on tarkastettava yhdessä automatisoitujen markkinatakaajien ja muiden ekosysteemin osien kanssa.

Joissakin tapauksissa protokollan tai älykkäiden sopimusten riippuvuus ulkoisista tekijöistä altistaa sen valtaville haavoittuvuuksille, jotka voivat johtaa käsittämättömin menetyksiin. 

Siksi tällainen sovellus vaatii jopa kuukauden mittaisen tarkastuksen. 

Muita tähän luokkaan kuuluvia projekteja ovat muun muassa lainat, lainat, insurtech ja johdannaiset. 

3. Tarkastustyypeillä on myös tärkeä rooli vaaditun ajan määrittelemisessä. Jos älykäs sopimuksesi on koodattu parhaisiin kehitysohjeisiin ja olet varma sen eheydestä, sinun tulisi valita välitarkastus. 

Välitarkastuksessa asiantuntija osoitetaan projektille rakenteen tarkastelemiseksi ja mahdollisten haavoittuvuuksien analysoimiseksi. Välitarkastus auttaa varmistamaan, että projekti etenee oikeaan suuntaan ja mahdollinen haavoittuvuus, joka saattaa muuttaa sovelluksen koko rakennetta myöhemmin, tunnistetaan mahdollisimman varhaisessa vaiheessa. Tämän tarkastuksen suorittaminen kestää yleensä yhden päivän. 

Seuraava on täydellinen turvatarkastus. Vaikka välitarkastus voidaan tehdä älykkään sopimuksen kehittämisen aikana, täysi tietoturvatarkastus tulee esiin sovelluksen valmistuttua. Tämä on yleensä viimeinen vaihe, joka vaaditaan ennen sovelluksen käyttöönottoa pääverkossa. Jos sovellus otetaan käyttöön ilman täydellistä tietoturvatarkastusta, mainnet-virheiden ja haavoittuvuuksien todennäköisyys on suuri. Täyden turvatarkastuksen aika riippuu projektin monimutkaisuudesta, kuten kohdassa 1 selitetään. 

Älykkään sopimusauditoinnin suorittaminen voi olla manuaalista tai automaattista. Automaattinen tarkastus sisältää älykkään sopimuskoodin testaamisen erilaisiin ennalta määritettyihin toimintoihin ja testaustyökaluihin. Tämä tarjoaa älykästä sopimusta koskevan yleisen haavoittuvuusarvion. Tämän tyyppinen tarkastus ei kuitenkaan kata koodin ja muiden haavoittuvuuksien, kuten takaovien, perusteellista analysointia. Tätä varten on tehtävä manuaalinen tarkastus. Manuaalisissa tarkastuksissa asiantuntijaryhmä määrittelee joitain mukautettuja testitapauksia ja tarkastaa koodin eri näkökohdat. 

Automaattinen tarkastus voi kestää jopa yhden päivän erc20 / bep20-sopimuksissa, kun manuaaliset tarkastukset kestävät yleensä 3-5 päivää erc20 / bep20-sopimuksissa, kun taas monimutkaisissa protokollissa tarkastuksen aika riippuu koodista. Saadaksesi mukautetun tarkistuksen siitä, kuinka kauan tarkastus kestää protokollallesi ja minkä tyyppinen tarkastus on paras, ota yhteyttä QuillAuditsin asiantuntijoihin saadaksesi ilmaisen kuulemisen.

Tarkasteltaessa vaadittavaa aikaa erityyppisille älykkäille sopimuksille ja DeFi-sovelluksille, monet ihmiset menevät markkinoille innovatiivisten tuotteidensa kanssa ilman auditointia. Tärkein syy tähän on innostus tai FOMO joku muu, joka esittelee samanlaisen projektin markkinoilla. Toinen syy voi olla lisäkustannuksia, joita henkilö ei halua maksaa. 

Älykkään sopimusauditoinnin saamisen merkitystä ei kuitenkaan voida korostaa tarpeeksi. Vain vähän ylimääräistä aikaa ja rahaa älykkääseen sopimusauditointiin voi säästää käyttäjille miljoonia. 

Jotta saataisiin parempi näkökulma älykkään sopimusauditoinnin tarpeeseen, jäljempänä mainitaan tärkeimmät DeFi-hakkeroinnit, jotka tapahtuivat yhden yksinkertaisen virheen takia, että auditointia ei saatu.

Suosituimmat DeFi-hakkeroinnit

• DAO-hakkerointi

DAO on hajautettu autonominen organisaatio, josta on tulossa uusi standardi minkä tahansa sovelluksen hallintamallin määrittelemiseksi. Pohjimmiltaan DAO tekee päätökset sovelluksesta älykkäillä sopimuksilla. Siksi älykkäillä sopimuksilla on ratkaiseva rooli tällaisessa ympäristössä. 

Yhdessä tällaisessa tapauksessa, jossa DAO oli vastuussa Ethereum-prosessin rahoitusprosessin demokratisoinnista, hakkeri hyödynsi älykkään sopimuksen varatoiminnon haavoittuvuutta. Käyttämällä uudelleenkäynnistyshyökkäystä hän varasti 3.6 miljoonaa protokollaa. 

• Pariteettihyökkäys

Parity esitteli useiden allekirjoitusten käsitteen eetterien siirron todentamiseksi. Se otti tämän prosessin läpi useilla älykkäillä sopimuksilla, jotka edellyttivät useampaa kuin yhtä digitaalista allekirjoitusta eetterisiirron todentamiseksi. 

Koska hakkereita ei tarkastettu asianmukaisesti, hakkeri pystyi hyödyntämään älykkäiden sopimusten lähetyspuhelut ja varatoiminnot ja varastamaan jopa 30 miljoonaa dollaria eettereissä.

Yhteenveto

Edellä mainitut hakkeroinnit ovat vain jäävuoren huippu. DeFi-ekosysteemissä on ollut lukemattomia hakkereita. DeFi: n kasvun myötä myös nämä hakkeroinnit kasvavat räjähdysmäisesti. Yksi tärkeimmistä syistä kasvuun on tilintarkastamattomat älykkäät sopimukset tai huonosti tarkastetut älykkäät sopimukset. 

Älykkäiden sopimusten tarkastaminen ei takaa sen turvallisuutta, mutta sillä on merkitystä, kun hankit sen kokeneelta ja alan tunnustetulta tiimiltä, ​​kuten Quillaudits. 

Vaikka se vie aikaa ja rahaa, kokeneiden tiimien tarkastamat älykkäät sopimukset voivat auttaa sinua rakentamaan kestävän projektin ja saavuttamaan sen menestyksen huipun.

Tavoita QuillHash

Alalla on ollut vuosia QuillHash on toimittanut yritysratkaisuja ympäri maailmaa. QuillHash asiantuntijaryhmän kanssa on johtava blockchain-kehitysyritys, joka tarjoaa erilaisia ​​teollisuuden ratkaisuja, mukaan lukien DeFi-yritys. Jos tarvitset apua älykkäiden sopimusten tarkastuksessa, ota rohkeasti yhteyttä asiantuntijoihimme täällä!

Seuraa QuillHashia saadaksesi lisää päivityksiä

Twitter | LinkedIn | Facebook

Lähde: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/