Cardano llança KEVM Testnet: què significa això i per què això suposa un gran problema

28 de maig va marcar el llançament del primer testnet “KEVM” de contractes intel·ligents de Cardano. El testnet es va desplegar en una versió correcta per construcció de la màquina virtual Ethereum (EVM) en el marc K. Aquesta tecnologia va ser produïda en col·laboració per Verificació en temps d’execució amb el suport de IOHK.

Era la primera vegada que es produïa un esquema formal de la xarxa virtual Ethereum (EVM).

Això és una gran cosa.

Durant dècades, els desenvolupadors han estat intentant desenvolupar un marc com aquest; els primers estudis formals que es remunten al segle XX Anys 60 i 70. La publicació del marc K demostra que això no només és teòric, sinó possible. Prof. Grigore Rosul, qui s’encarrega del desenvolupament de KEVM, fa més de 15 anys que treballa en el marc K.

Quan parlem de la versió testnet de KEVM, Rosul va afirmar que “sona com un somni, però ja no”.

Què és el KEVM?

El K marc defineix una definició formal de regles que us permet definir aquesta semàntica al vostre propi llenguatge de programació. Un cop definiu el vostre llenguatge de programació en K, tindreu disponible una sèrie d’eines per al vostre ús. Això farà que qualsevol idioma definit en el marc K es comporti de manera uniforme, garantint que l’idioma es comportarà sempre d’una manera correcta i previsible.

Un cop definiu un llenguatge o una màquina virtual a K, tindreu accés a totes les eines que el marc pot oferir. Hi ha hagut nombrosos intents d’altres desenvolupadors i equips per fer alguna cosa similar a això, però K és el primer model de treball reeixit mai construït.

Per tant, KEVM significa simplement que l’EVM s’ha definit formalment en el marc K.

A través del KEVM, els desenvolupadors podran llançar qualsevol aplicació dissenyada per al EVM, però a més tindran accés a tota una sèrie de noves funcions i seguretat que el KEVM ofereix..

Les xarxes de proves KEVM i IELE tal com es veu al full de ruta de Cardano

KEVM ha formalitzat amb èxit altres llenguatges com C o Java, i les eines generades a partir d’aquests llenguatges són comparables en característiques i rendiment a les eines dissenyades específicament per a aquests llenguatges..

A través del marc K, Cardano ara és capaç de generar una màquina virtual correcta per construcció a partir de la seva especificació, és a dir, que els programes que s’executen a través del marc K estan garantits matemàticament perquè compleixin l’especificació original del llenguatge de programació..

KEVM no només pot fer això, però la màquina virtual és prou ràpida per executar programes reals.

Per què ens importa??

Prof. Grigore RosuI va afirmar que aquest és un gran pas endavant no només per a Cardano, sinó “cap a la promesa de blockchains de tercera generació”.

El contractes intel·ligents escrit amb el marc K, inclosos els contractes intel·ligents existents basats en Ethereum, aprofitaran els forts avantatges de seguretat que ofereix KEVM i, a més, permetrà fases i anàlisis fàcils d’optimització que, en última instància, faran que els codis siguin més segurs.

Els errors de contractes intel·ligents han afectat constantment el món criptogràfic. Hi ha hagut una sèrie de problemes de gran perfil en el passat, com ara els infames Hack de DOA, però encara avui els pirates informàtics exploten les causes de la debilitat per un codi mal escrit.

Prenguem per exemple la setmana passada quan hi havia un error potencial exposat a EOS mainnet, que si no es capturés podria haver permès als pirates informàtics fer-se càrrec dels nodes connectats a la xarxa. O mireu Verge, que en el darrer mes ha estat dirigit per pirates informàtics almenys tres vegades.

Mitjançant el marc K, es verifica un contracte intel·ligent mitjançant les funcions de construcció correctes de KEVM. En implementar només les funcions més segures de l’EVM, s’eliminen molts dels possibles problemes de seguretat i defectes que es veuen habitualment als contractes intel·ligents d’Ethereum abans que es produeixin.. 

Cardano: una de les estrelles brillants de Crypto

Aquest és el primer dels dos principals llançaments de testnet previstos per a Cardano. El segon, batejat com a IELE, està previst que sigui llançat al juliol. Atès que el KEVM es basa en un llenguatge de programació ja establert, es convertirà més ràpidament en una qualitat industrial professional i també permetrà a l’equip finalitzar l’estructura de xarxa i comunicació que també s’utilitzarà a IELE un cop llançat.

Aquest testnet marca un gran èxit, no només per a l’equip de Cardano, sinó per a la comunitat blockchain en general.

Aquest tipus de millores tecnològiques són el que hem d’esperar de l’equip de Cardano. Excepte qualsevol revés tecnològic important, la màquina virtual KEVM i posterior IELE es llançaran a la xarxa principal de Cardano. Això impulsarà encara més Cardano com a jugador important en la cursa de plataformes de contractes intel·ligents.

Per obtenir més informació sobre la plataforma Cardano i el seu equip, consulteu: Full de ruta de Cardano i el que ens espera el futur i Què és Cardano?