Cardano, la séptima criptomoneda más grande del mundo por capitalización bursátil , lanzó silenciosamente su primer testnet de contrato inteligente el 28 de mayo de 2018, y los desarrollos tienen una gran visión de futuro.
Construyendo confianza en proyectos Blockchain
De acuerdo con un funcionario de liberación por IOHK, organización matriz de Cardano, el blockchain proyecto lanzó su testnet Kevin, una versión “correcta por la construcción” de la máquina virtual Etereum ( EVM ), en el marco K de Cardano - un lenguaje de programación permissioned.
IOHK colaboró con Runtime Verification para construir la tecnología, y el lanzamiento es la primera vez que se produce la famosa semántica del sistema.
Para los no iniciados, Cardano es un proyecto que permite a los desarrolladores construir proyectos revisados por pares en su blockchain. Usando K Framework, los desarrolladores pueden presentar su proyecto a los miembros de la comunidad de programación blockchain, y especificar secciones de su código en solo lectura, edición solamente y partes restringidas. El marco garantiza que los proyectos hayan sido investigados por codificadores experimentados y altamente educados, y proporciona legitimidad y confianza.
Por lo tanto, el lanzamiento de testnet representa un desarrollo importante en la construcción de blockchains de tercera generación y criptomonedas.
Los técnicos
Según el comunicado, los desarrolladores Cardano serán capaces de construir aplicaciones que se ejecutan encima de la EVM y desplegarlos en el marco K . IOHK alienta a los desarrolladores a "probar rigurosamente" los dos marcos, en un intento por demostrar la solidez del sistema.
El lanzamiento explica el sistema:
"Esto se hace especificando formalmente las propiedades deseadas de un contrato en K, combinando el contrato con la especificación KEVM y luego usando el marco K para verificar esas propiedades".
The K Framework es un producto del Formal System Lab de la Universidad de Illinois y, según los informes, fue construido en 15 años por el jefe del proyecto, Grigore Rosu. El K Framework utiliza el diseño de mecanismo de última generación y el lenguaje de programación y busca verificar formalmente el código blockchain de proyectos renderizados.
IOHK declaró:
"Los contratos inteligentes deben ser verificados formalmente, por lo que se ejecutan exactamente como se especifica y están libres de errores o fallas. Solo entonces pueden ser ampliamente adoptados como una infraestructura financiera en la que pueden confiar miles de millones de personas ".
Segundo testnet en las obras
IOHK pretende lanzar la segunda testnet actualmente en fase de desarrollo, la IELE, en julio de 2018. En contraste con el Kevin, el IELE es un sistema basado en registros, lo que permite a los desarrolladores para producir “un número ilimitado de registros, que soporta sin límites enteros ".
Usando el IELE, los codificadores pueden compilar, escribir y ejecutar sus proyectos con un mayor grado de seguridad y rendimiento, en relación con el testnet KEVM.
Actualmente, ambos sistemas funcionan con Solidity, un lenguaje de contrato inteligente desarrollado por el equipo central de Ethereum . Sin embargo, IOHK está construyendo su propio lenguaje de producción, Plutus , y tiene la intención de alejarse de Solidity en el futuro cercano.
La noticia de los contratos inteligentes testnet continuación de alcance de Cardano en África según lo informado por BTCManager , en el que el proyecto blockchain firmado memorandos de entendimiento con los ministerios gubernamentales en Etiopía y Ruanda, y el lanzamiento de una herramienta de realidad virtual para explorar la blockchain Bitcoin.