Cardano lancerer KEVM Testnet: Hvad det betyder, og hvorfor det er en big deal

28. maj markerede lanceringen af Cardanos første smarte kontrakter “KEVM” testnet. Testnet implementeret i en korrekt bygningsversion af Ethereum Virtual Machine (EVM) i K-rammen. Denne teknologi blev produceret i samarbejde med Kørselstidskontrol med støtte fra IOHK.

Det var første gang nogensinde, at et formelt skema over Ethereum Virtual Network (EVM) nogensinde er blevet produceret.

Dette er en big deal.

I årtier har udviklere forsøgt at udvikle en ramme som denne; de første formelle studier, der går tilbage til 60’erne og 70’erne. Udgivelsen af ​​K-rammen viser, at dette ikke kun er teoretisk, men muligt. Prof. Grigore Rosul, der er ansvarlig for KEVM’s udvikling, har selv arbejdet med K-rammen i over 15 år.

Når vi taler om testnetudgivelsen af ​​KEVM, Rosul angivet at det “lyder som en drøm, men ikke længere.”

Hvad er KEVM?

Det K ramme definerer en formel definition af regler, der giver dig mulighed for at definere denne semantik til dit eget programmeringssprog. Når du har defineret dit programmeringssprog i K, har du en række værktøjer til rådighed til din brug. Dette vil få ethvert sprog, der er defineret i K-rammen, til at opføre sig ensartet og sikre, at sproget altid opfører sig på en korrekt og forudsigelig måde.

Når du først har defineret et sprog eller en VM i K, har du adgang til alle de værktøjer, rammen har at tilbyde. Der har været adskillige forsøg fra andre udviklere og teams på at gøre noget lignende, men K er den første succesrige arbejdsmodel, der nogensinde er konstrueret.

Derfor betyder KEVM simpelthen, at EVM er formelt defineret i K-rammen.

Gennem KEVM vil udviklere være i stand til at starte ethvert program designet til EVM, men derudover vil de have adgang til en hel række nye funktioner og sikkerhed, som KEVM har at tilbyde.

KEVM- og IELE-testnettet, som det ses på Cardano-køreplanen

KEVM har med succes formaliseret andre sprog såsom C eller Java, og de værktøjer, der genereres fra disse sprog, kan sammenlignes i funktioner og ydeevne med de værktøjer, der er specielt designet til sådanne sprog.

Via K-rammen er Cardano nu i stand til at generere en virtuel maskine med korrekt konstruktion ud fra dens specifikation – hvilket betyder, at de programmer, der køres gennem K-rammen, er matematisk garanteret at opfylde den originale programmeringsspecifikation.

Ikke kun kan KEVM gøre dette, men VM er hurtig nok til at køre faktiske programmer.

Hvorfor er vi interesserede??

Prof. Grigore RosuI sagde, at dette er et kæmpe skridt fremad ikke kun for Cardano, men “mod løftet om tredje generationens blockchains.”

Det smarte kontrakter skrevet med K-rammen, herunder eksisterende Ethereum-baserede smarte kontrakter, vil drage fordel af de stærke sikkerhedsfordele, der tilbydes af KEVM og derudover give mulighed for nem optimeringsfaser og analyse, der i sidste ende vil gøre koder mere sikre.

Smart-kontrakt bugs har konstant plaget kryptoverdenen. Der har været en række højt profilerede problemer i fortiden, såsom de berygtede DOA hack, men selv i dag udnytter hackere svaghedsårsager ved dårligt skrevet kode.

Tag for eksempel sidste uge, hvor en potentiel fejl var eksponeret på EOS mainnet, som, hvis de ikke blev fanget, kunne have tilladt hackere at overtage netværksforbundne noder. Eller se på randen, som den sidste måned har været målrettet af hackere mindst tre gange.

Gennem K-rammen verificeres en smart kontrakt ved hjælp af KEVMs korrekte bygningsfunktioner. Ved kun at implementere de mest sikre funktioner i EVM fjernes mange potentielle sikkerhedsproblemer og mangler, der ofte ses i Ethereum Smart Contracts, før de opstår. 

Cardano: En af Cryptos skinnende stjerner

Dette er den første af to store testnet-lanceringer, der er planlagt til Cardano. Den anden – kaldet IELE – er planlagt til at være lanceret i juli. Da KEVM er baseret på et allerede etableret programmeringssprog, vil det hurtigere blive bragt op til en professionel industriel kvalitet og vil også give teamet mulighed for at færdiggøre netværket og kommunikationsstrukturen, der også vil blive brugt på IELE, når den først er lanceret..

Dette testnet markerer en stor præstation, ikke kun for Cardano-teamet, men også blockchain-samfundet som helhed.

Disse typer af teknologiske forbedringer er, hvad vi må forvente af Cardanos team. Uden nogen større teknologisk tilbageslag vil KEVM og senere IELE virtuelle maskiner blive rullet ind i Cardanos mainnet. Dette vil yderligere skubbe Cardano frem som en stor spiller i det smarte kontraktplatformløb.

For mere læsning på Cardano-platformen og dens team, se: Cardano køreplan og hvad fremtiden rummer og Hvad er Cardano?