28. mai markerte lanseringen av Cardanos første smarte kontrakter “KEVM” testnet. Testnettet distribueres i en korrekt byggeversjon av Ethereum Virtual Machine (EVM) i K-rammeverket. Denne teknologien ble produsert i samarbeid av Runtime Verification med støtte fra IOHK.

Det var første gang noensinne at et formelt skjema over Ethereum Virtual Network (EVM) noensinne har blitt produsert.

Dette er en stor avtale.

I flere tiår har utviklere prøvd å utvikle et rammeverk som dette; de første formelle studiene tilbake til 60- og 70-tallet. Utgivelsen av K-rammeverket viser at dette ikke bare er teoretisk, men mulig. Prof. Grigore Rosul, som har ansvaret for KEVMs utvikling, har selv jobbet med K-rammeverket i over 15 år.

Når vi snakker om testnettutgivelsen av KEVM, Rosul oppgitt at det “høres ut som en drøm, men ikke lenger.”

Hva er KEVM?

De K rammeverk definerer en formell definisjon av regler som lar deg definere disse semantikkene til ditt eget programmeringsspråk. Når du har definert programmeringsspråket ditt i K, vil du ha en rekke verktøy tilgjengelig for bruk. Dette vil gjøre at ethvert språk som er definert i K-rammeverket, oppfører seg jevnt, og sikrer at språket alltid vil oppføre seg på en riktig og forutsigbar måte.

Når du har definert et språk eller en VM i K, har du tilgang til alle verktøyene rammeverket har å tilby. Det har vært mange forsøk fra andre utviklere og team på å gjøre noe som ligner på dette, men K er den første vellykkede arbeidsmodellen som noen gang er konstruert.

Derfor betyr KEVM ganske enkelt at EVM har blitt definert formelt i K-rammeverket.

Gjennom KEVM vil utviklere kunne lansere ethvert program designet for EVM, men i tillegg vil de ha tilgang til en hel rekke nye funksjoner og sikkerhet som KEVM har å tilby.

KEVM og IELE Testnets sett på Cardano Roadmap

KEVM har vellykket formalisert andre språk som C eller Java, og verktøyene generert fra disse språkene er sammenlignbare i funksjoner og ytelse med verktøyene som ble spesielt laget for slike språk..

Gjennom K-rammeverket er Cardano nå i stand til å generere en virtuell maskin med riktig konstruksjon ut fra spesifikasjonen – noe som betyr at programmene som kjøres gjennom K-rammeverket matematisk garanteres å oppfylle den originale programmeringsspråkspesifikasjonen.

Ikke bare kan KEVM gjøre dette, men VM er rask nok til å kjøre faktiske programmer.

Hvorfor bryr vi oss?

Prof. Grigore RosuI uttalt at dette er et stort skritt fremover ikke bare for Cardano, men “mot løftet om tredje generasjons blockchains.”

De smarte kontrakter skrevet med K-rammeverket, inkludert eksisterende Ethereum-baserte smarte kontrakter, vil dra nytte av de sterke sikkerhetsfordelene som tilbys av KEVM og i tillegg tillate enkle optimaliseringsfaser og analyser som til slutt vil gjøre koder sikrere.

Smarte kontraktsfeil har stadig plaget kryptoverdenen. Det har vært en rekke høyprofilerte problemer tidligere, for eksempel de beryktede DOA hack, men selv i dag utnytter hackere svakhet forårsaket av dårlig skrevet kode.

Ta for eksempel forrige uke da en potensiell feil var eksponert på EOS mainnet, som, hvis ikke fanget, kunne ha tillatt hackere å overta nettverkstilknyttede noder. Eller se på Verge, som den siste måneden har vært målrettet av hackere minst tre ganger.

Gjennom K-rammeverket verifiseres en smart kontrakt ved bruk av KEVMs muligheter for riktig konstruksjon. Ved å bare implementere de sikreste funksjonene i EVM, blir mange potensielle sikkerhetsproblemer og mangler som ofte sees i Ethereum Smart Contracts fjernet før de oppstår. 

Cardano: En av Crypto’s Shining Stars

Dette er den første av to store testnettlanseringer planlagt for Cardano. Den andre – kalt IELE – er planlagt å være lansert i juli. Siden KEVM er basert på et allerede etablert programmeringsspråk, vil det raskere bringes opp til en profesjonell industriell kvalitet og vil også tillate teamet å fullføre nettverks- og kommunikasjonsstrukturen som også vil bli brukt på IELE en gang lansert..

Dette testnettet markerer en flott prestasjon, ikke bare for Cardano-teamet, men også blockchain-samfunnet.

Denne typen teknologiske forbedringer er det vi må forvente fra Cardanos team. KEVM og senere IELE virtuelle maskiner, utenom store teknologiske tilbakeslag, vil bli rullet inn i Cardanos nettverk. Dette vil presse Cardano videre som en stor aktør i det smarte kontraktplattformløpet.

For mer lesing på Cardano-plattformen og teamet, se: Cardano veikart og hva fremtiden har og Hva er Cardano?