La plate-forme de blockchain universitaire Cardano, a lancé la première itération de son réseau de test KEVM, catalysant une reprise de prix ADA de plus de 13% au cours des dernières 24 heures.
Annoncé le 28 mai, le nouveau testnet est la première version correcte par construction de la machine virtuelle Ethereum - KEVM est conçu pour définir la sémantique formelle de l'EVM dans le cadre de K d'une manière cohérente avec l'approche méthodique et scientifique adoptée par le Cardano équipe dans le développement du projet.
KEVM Testnet devient opérationnel
Le nouveau testnet devrait accélérer la croissance du projet Cardano, car les développeurs pourront prendre n'importe quelle application exécutée sur la machine virtuelle Ethereum et l'exécuter sur la KEVM. Ce processus peut également être utilisé pour déterminer si les contrats intelligents fonctionnent correctement en spécifiant formellement les propriétés souhaitées du contrat dans K, qui est ensuite combiné avec la spécification KEVM. À son tour, le cadre K peut être utilisé pour vérifier les propriétés souhaitées.
Le développement du testnet KEVM est mené par le fondateur de Runtime Verification et le professeur UIUC Grigore RosuI, qui a commenté la sortie du testnet:
Le lancement du testnet KEVM précède le lancement prochain du testnet IELE, qui fonctionnera comme une machine virtuelle Cardano. Contrairement à la machine virtuelle Ethereum, IELE fonctionnera comme une machine basée sur un registre - IELE possédera un nombre illimité de registres et supportera des entiers non bornés.
De manière similaire à l'Ethereum, IELE implémentera une limite de gaz afin de restreindre l'utilisation des ressources et de prévenir les attaques DoS. Ces caractéristiques, bien que difficiles à mettre en œuvre, ont été qualifiées de «rusées mais gérables» par l'équipe de développement de Cardano.
Cardano, actuellement classé 7ème par capitalisation boursière, est en hausse de 13,37% sur les dernières 24 heures. ADA a une capitalisation boursière de 5 328 064 850 $ avec un volume de 178 259 000 $ sur 24 heures.
