28. maja je zaznamoval začetek prvega Cardanovega testnega omrežja “KEVM” za pametne pogodbe. Testna mreža je bila razporejena v pravilno zasnovani različici navideznega računalnika Ethereum (EVM) v okolju K. Ta tehnologija je bila izdelana v sodelovanju Preverjanje izvajanja s podporo IOHK.

Bilo je prvič, da je bila kdajkoli izdelana formalna shema navideznega omrežja Ethereum (EVM).

To je velika stvar.

Razvijalci že desetletja poskušajo razviti takšen okvir; prve formalne študije iz leta 2007 60. in 70. leta. Sprostitev okvira K kaže, da to ni le teoretično, ampak je mogoče. Prof. Grigore Rosul, ki je zadolžen za razvoj KEVM, sam že več kot 15 let dela na okviru K.

Ko govorimo o testni izdaji KEVM, je Rosul izjavil da “zveni kot sanje, vendar ne več.”

Kaj je KEVM?

The K okvir definira formalno definicijo pravil, ki vam omogoča, da to semantiko definirate v svojem programskem jeziku. Ko v programu K določite jezik za programiranje, boste imeli na voljo vrsto orodij za svojo uporabo. To bo omogočilo, da se bo kateri koli jezik, opredeljen v okviru K, obnašal enotno in zagotovil, da se bo jezik vedno obnašal pravilno in predvidljivo.

Ko v jeziku K definirate jezik ali VM, boste imeli dostop do vseh orodij, ki jih ponuja ogrodje. Drugi razvijalci in ekipe so že večkrat poskušali narediti nekaj podobnega temu, toda K je prvi uspešen delovni model, ki so ga kdajkoli izdelali.

Zato KEVM preprosto pomeni, da je bil EVM formalno opredeljen v okviru K.

Preko KEVM bodo razvijalci lahko zagnali katero koli aplikacijo, zasnovano za EVM, poleg tega pa bodo imeli dostop do cele vrste novih funkcij in varnosti, ki jih ponuja KEVM..

Testni mreži KEVM in IELE, kot je razvidno iz načrta Cardano

KEVM je uspešno formaliziral druge jezike, kot sta C ali Java, orodja, ustvarjena iz teh jezikov, pa so po lastnostih in zmogljivosti primerljiva z orodji, ki so bila posebej izdelana za take jezike..

Skozi K ogrodje lahko Cardano zdaj iz svoje specifikacije ustvari navidezni stroj s pravilno konstrukcijo – kar pomeni, da programi, ki se izvajajo skozi K okvir, matematično zagotavljajo, da ustrezajo originalni specifikaciji programskega jezika.

KEVM tega ne more samo storiti, vendar je VM dovolj hiter za izvajanje dejanskih programov.

Zakaj nas briga?

Prof. Grigore RosuI izjavil, da to je velik korak naprej ne samo za Cardano, ampak tudi “k obljubi blokov verig tretje generacije.”

The pametne pogodbe napisan z ogrodjem K, vključno z obstoječimi pametnimi pogodbami na osnovi Ethereuma, bo izkoristil močne varnostne prednosti, ki jih ponuja KEVM, poleg tega pa bo omogočil enostavne faze optimizacije in analize, ki bodo na koncu naredile kode bolj varne.

Napake pametnih pogodb nenehno pestijo kripto svet. V preteklosti je bilo več odmevnih težav, na primer zloglasna DOA kramp, toda še danes hekerji izkoriščajo slabosti, ki jih povzroča slabo napisana koda.

Vzemimo za primer prejšnji teden, ko je bila možna napaka izpostavljeno na glavnem omrežju EOS, kar bi, če ne bi bilo ujeto, hekerjem omogočilo, da prevzamejo omrežno povezana vozlišča. Ali pa poglejte Verge, ki je bil v zadnjem mesecu tarča hekerjev vsaj trikrat.

Preko okvira K se pametna pogodba preveri z uporabo KEVM-ovih zmožnosti pravilne gradnje. Z izvajanjem samo najbolj varnih funkcij EVM se odstranijo številne potencialne varnostne težave in napake, ki jih v pametnih pogodbah Ethereum opazimo, še preden se pojavijo. 

Cardano: Ena izmed Crypto’s Shining Stars

To je prva od dveh večjih predstavitev testne mreže, načrtovane za Cardano. Predviden bo drugi – poimenovan IELE začela julija. Ker KEVM temelji na že uveljavljenem programskem jeziku, se bo hitreje dvignil na profesionalno industrijsko kakovost in bo ekipi omogočil tudi dokončanje omrežne in komunikacijske strukture, ki bo uporabljena tudi na IELE po uvedbi.

Ta testna mreža pomeni velik dosežek ne samo za ekipo Cardano, temveč tudi za skupnost blockchain kot celoto.

Tovrstne tehnološke izboljšave moramo pričakovati od Cardanove ekipe. Brez kakršnega koli večjega tehnološkega zastoja bodo KEVM in kasneje navidezni stroji IELE vstavljeni v glavno mrežo Cardano. To bo Cardano še bolj potisnilo naprej kot glavnega igralca na dirki s pametnimi pogodbami.

Za več informacij o platformi Cardano in njeni skupini glejte: Načrt Cardano in kaj prinaša prihodnost in Kaj je Cardano?