28 maj markerade lanseringen av Cardanos första smarta kontrakt ”KEVM” testnät. Testnätet distribueras i en korrekt byggversion av Ethereum Virtual Machine (EVM) i K-ramverket. Denna teknik producerades i samarbete av Runtime Verification med stöd av IOHK.

Det var första gången någonsin som ett formellt schema över Ethereum Virtual Network (EVM) någonsin har producerats.

Det här är en stor sak.

I årtionden har utvecklare försökt utveckla ett ramverk som detta; de första formella studierna som går tillbaka till 60- och 70-talet. Lanseringen av K-ramverket visar att detta inte bara är teoretiskt utan möjligt. Prof. Grigore Rosul, som ansvarar för KEVMs utveckling, har själv arbetat med K-ramverket i över 15 år.

När vi pratar om testnet-utgåvan av KEVM, Rosul anges att det “låter som en dröm, men inte längre.”

Vad är KEVM?

De K-ramverk definierar en formell definition av regler som låter dig definiera denna semantik till ditt eget programmeringsspråk. När du väl har definierat ditt programmeringsspråk i K kommer du att ha en rad verktyg tillgängliga för dig. Detta gör att alla språk som definieras i K-ramverket beter sig enhetligt, vilket säkerställer att språket alltid beter sig på ett korrekt och förutsebart sätt.

När du väl har definierat ett språk eller en virtuell dator i K har du tillgång till alla verktyg som ramverket har att erbjuda. Det har gjorts många försök från andra utvecklare och team att göra något liknande detta, men K är den första framgångsrika arbetsmodellen som någonsin konstruerats.

Därför betyder KEVM helt enkelt att EVM har formellt definierats i K-ramverket.

Genom KEVM kommer utvecklare att kunna starta alla applikationer som är utformade för EVM, men dessutom har de tillgång till en hel rad nya funktioner och säkerhet som KEVM har att erbjuda.

KEVM- och IELE-testnät som visas på Cardano-färdplanen

KEVM har framgångsrikt formaliserat andra språk som C eller Java, och verktygen som genereras från dessa språk är jämförbara i funktioner och prestanda med de verktyg som specifikt utformats för sådana språk.

Genom K-ramverket kan Cardano nu generera en virtuell maskin med korrekt konstruktion från dess specifikation – vilket innebär att programmen som körs genom K-ramverket matematiskt garanteras att uppfylla den ursprungliga programmeringsspråksspecifikationen.

Inte bara kan KEVM göra detta, men den virtuella datorn är snabb nog att köra faktiska program.

Varför bryr vi oss?

Professor Grigore RosuI konstaterade att detta är ett stort steg framåt inte bara för Cardano, utan “mot löftet från tredje generationens blockchains.”

De smarta kontrakt skriven med K-ramverket, inklusive befintliga Ethereum-baserade smarta kontrakt, kommer att dra nytta av de starka säkerhetsfördelarna som erbjuds av KEVM och dessutom möjliggöra enkla optimeringsfaser och analyser som i slutändan kommer att göra koder säkrare.

Smart-contract buggar har ständigt plågat kryptovärlden. Det har förekommit ett antal högprofilerade problem tidigare, såsom de ökända DOA hack, men även idag utnyttjar hackare svagheter orsakade av dåligt skriven kod.

Ta till exempel förra veckan när en potentiell bugg var exponerad på EOS mainnet, som om de inte fångats kunde ha gjort det möjligt för hackare att ta över nätverksanslutna noder. Eller titta på Verge, som den senaste månaden har varit riktade av hackare minst tre gånger.

Genom K-ramverket verifieras ett smart kontrakt med hjälp av KEVM: s rätt-till-bygg-funktioner. Genom att bara implementera de säkraste funktionerna i EVM, tas många potentiella säkerhetsproblem och brister som vanligt förekommer i Ethereum Smart Contracts bort innan de inträffar. 

Cardano: En av Cryptos lysande stjärnor

Detta är den första av två stora testnettlanseringar som planeras för Cardano. Den andra – kallad IELE – är planerad att vara lanserades i juli. Eftersom KEVM är baserad på ett redan etablerat programmeringsspråk kommer det snabbare att tas upp till en professionell industriell kvalitet och kommer också att göra det möjligt för teamet att slutföra nätverket och kommunikationsstrukturen som också kommer att användas på IELE en gång lanserat..

Detta testnät markerar en fantastisk prestation, inte bara för Cardano-teamet utan blockchain-communityn som helhet.

Dessa typer av tekniska förbättringar är vad vi måste förvänta oss av Cardanos team. Uteslutande stora tekniska bakslag kommer KEVM och senare IELE virtuella maskiner att rullas in i Cardano’s mainnet. Detta kommer att ytterligare driva Cardano framåt som en viktig aktör i det smarta kontraktets plattformslopp.

För mer läsning på Cardano-plattformen och dess team, se: Cardano Roadmap And What the Future Holds och Vad är Cardano?