28. mája označil spustenie prvého testovacieho protokolu „KEVM“ spoločnosti Cardano v oblasti inteligentných zmlúv. Testnet nasadený do verzie Ethereum Virtual Machine (EVM) v rámci verzie K. Túto technológiu vyrobil v spolupráci Overenie za behu s podporou IOHK.

Bolo to vôbec prvýkrát, čo bola vyrobená formálna schéma virtuálnej siete Ethereum (EVM).

Toto je veľká vec.

Po celé desaťročia sa vývojári snažili vyvinúť taký rámec; prvé formálne štúdie siahajúce do roku 2006 60. a 70. roky. Uvoľnenie rámca K ukazuje, že je to nielen teoretické, ale možné. Grigore Rosul, ktorý je zodpovedný za vývoj KEVM, sám pracuje na rámci K viac ako 15 rokov.

Keď sme hovorili o vydaní testovacej siete KEVM, Rosul uviedol že „to znie ako sen, ale už nie.“

Čo je KEVM?

The Rámec K. definuje formálnu definíciu pravidiel, ktorá vám umožňuje definovať túto sémantiku do vášho vlastného programovacieho jazyka. Po definovaní programovacieho jazyka v jazyku K budete mať k dispozícii celý rad nástrojov. Toto umožní, aby sa akýkoľvek jazyk definovaný v rámci K choval jednotne, čím sa zabezpečí, že sa jazyk bude správať vždy správnym a predvídateľným spôsobom.

Po definovaní jazyka alebo virtuálneho počítača v jazyku K budete mať prístup ku všetkým nástrojom, ktoré rámec ponúka. Existuje veľa pokusov iných vývojárov a tímov urobiť niečo podobné, ale K je prvý úspešný pracovný model, aký bol kedy vyrobený.

KEVM preto jednoducho znamená, že EVM bol formálne definovaný v rámci K..

Prostredníctvom KEVM budú môcť vývojári spustiť ľubovoľnú aplikáciu určenú pre EVM, okrem toho však budú mať prístup k celému radu nových funkcií a zabezpečenia, ktoré KEVM ponúka.

KEVM a IELE Testnets, ako je vidieť na pláne Cardano

KEVM úspešne formalizoval ďalšie jazyky ako C alebo Java a nástroje generované z týchto jazykov sú porovnateľné čo do vlastností a výkonu s nástrojmi, ktoré boli špeciálne vyvinuté pre tieto jazyky.

Cez rámec K je Cardano teraz schopné vygenerovať zo svojej špecifikácie virtuálny stroj podľa konštrukcie – čo znamená, že programy, ktoré sú spustené cez rámec K, sú matematicky zaručené tak, aby vyhovovali špecifikácii pôvodného programovacieho jazyka..

Nielen KEVM to dokáže, ale VM je dosť rýchly na spustenie skutočných programov.

Prečo nás to zaujíma?

Grigore RosuI uviedol, že toto je obrovský krok vpred nielen pre Cardano, ale „smerom k prísľubu blockchainov tretej generácie.“

The inteligentné zmluvy napísané v rámci K, vrátane existujúcich inteligentných zmlúv založených na ethereu, využijú silné bezpečnostné výhody, ktoré ponúka KEVM, a navyše umožnia ľahké optimalizačné fázy a analýzy, ktoré v konečnom dôsledku zvýšia bezpečnosť kódov.

Chyby v inteligentných kontraktoch kryptový svet neustále trápili. V minulosti sa vyskytlo množstvo významných problémov, napríklad neslávne známe DOA hack, ale aj dnes hackeri využívajú príčiny slabostí zle napísaným kódom.

Vezmime si napríklad minulý týždeň, keď bola potenciálna chyba vystavené na hlavnej sieti EOS, ktoré, ak nebudú chytené, by mohlo umožniť hackerom prevziať sieťové uzly. Alebo sa pozrite na Verge, ktorá za posledný mesiac bola zameraný hackermi najmenej trikrát.

Prostredníctvom rámca K sa inteligentná zmluva overuje pomocou schopností správnej konštrukcie od spoločnosti KEVM. Implementáciou iba najbezpečnejších funkcií EVM sa odstráni veľa potenciálnych bezpečnostných problémov a chýb, ktoré sa bežne vyskytujú v inteligentných kontraktoch Ethereum, skôr ako sa vyskytnú.. 

Cardano: Jedna z žiariacich hviezd Crypto

Toto je prvý z dvoch veľkých testnetov naplánovaných pre Cardano. Druhá – dabovaná IELE – má byť spustená v júli. Pretože KEVM je založený na už zavedenom programovacom jazyku, rýchlejšie sa dostane do profesionálnej priemyselnej kvality a umožní tiež tímu dokončiť sieťovú a komunikačnú štruktúru, ktorá sa po spustení IELE bude tiež používať..

Táto testnet predstavuje veľký úspech nielen pre tím Cardano, ale aj pre blockchainovú komunitu ako celok.

Od tímu Cardano musíme očakávať tieto typy technologických vylepšení. Okrem akýchkoľvek väčších technologických neúspechov sa KEVM a neskôr IELE virtuálny stroj zavedú do mainnetu spoločnosti Cardano. To ďalej posunie Cardano vpred ako významného hráča v pretekoch platforiem inteligentných zmlúv.

Ďalšie informácie o platforme Cardano a jej tíme nájdete na tejto stránke: Plán Cardano a budúcnosť a Čo je Cardano?