El muy esperado KEVM Testnet para Cardano ha sido lanzado hace unas horas. K-EVM es una máquina basada en pila que es una forma ejecutable de semántica en la máquina virtual Ethereum [EVM]. Este es el primer contrato inteligente Cardano corregido por un EVM, especificado en el marco K.
Tweet por IOHK:
“El primer contrato inteligente de Cardano testnet se lanza hoy, el testnet KEVM. Esta es la primera vez que se produce una semántica formal completa del EVM y es importante primero en criptomonedas que es un paso hacia la construcción de blockchains de tercera generación: https://buff.ly/2ktR7PR “
Charles Hoskinson, el CEO de Cardano tuiteó:
“Yo Dog, ¿escuché que te gustan los contratos inteligentes? Así que pusimos un contrato inteligente en sus contratos inteligentes en un blockchain https://testnet.iohkdev.io/goguen/ El primer testnet de Cardano CL ha sido lanzado “.
Todos los desarrolladores pueden tomar cualquier aplicación que se ejecute en EVM y probarla en KEVM para probar el funcionamiento completo de los contratos inteligentes. Testnet se ejecuta especificando la propiedad deseada del contrato en K y combinando el contrato con la especificación KEVM. Además, el marco K se puede usar para verificar todas las propiedades existentes.
La tecnología es producida por Runtime Verification con el apoyo de IOHK. IOHK afirma que este es un paso importante hacia la promesa de blockchains de tercera generación.
Un usuario de Reddit dice:
” Lo que les importa es luna, y piensan que cada actualización los llevará allí”
Dennison Collard, un Twitterati dice:
” ¿Por qué se presta tan poca atención a este proyecto? Es literalmente el único que vale la pena “
Matt Stanislaw, un entusiasta de la criptomoneda dice:
“Para la mejor criptomoneda en 12 meses … ejecútalo Cardano #Ada to the moon … #HODL “
La próxima prueba de Cardano está programada para el mes de julio, que es una nueva máquina virtual llamada IELE. IELE dará a los desarrolladores el poder para escribir, compilar y ejecutar contratos inteligentes, con una seguridad y un rendimiento mejorados en comparación con KEVM Testnet.
Todo el mercado de criptomonedas es testigo de una baja bajista en el tiempo de impresión con todas las monedas sangrando en rojo. Cardano [ADA] se encuentra actualmente en la octava posición y cotiza a $ 0.182 con una capitalización de mercado de $ 4.7 mil millones. La moneda ha disminuido un 27.17% en los últimos 7 días y es la mayor perdedora entre las 20 criptomonedas más importantes del mercado.