El cofundador de Zilliqa, Amrit Kumar, ha anunciado el lanzamiento de contratos inteligentes en la cadena de bloques.
Gracias a esta nueva característica, los desarrolladores ahora podrán escribir e implementar contratos inteligentes en la cadena de bloques de Zilliqa usando Scilla, que es un lenguaje de programación dedicado, seguro y funcional, creado con el propósito de ofrecer mayores garantías de seguridad a nivel lingüístico.
Scilla, de hecho, está diseñada para lograr tanto expresividad como trazabilidad, al tiempo que permite un razonamiento formal sobre el comportamiento contractual.
Este lenguaje también se ha proporcionado con una serie de analizadores estáticos que verifican posibles errores en el contrato, útil para detectar cualquier problema en los contratos antes de que se conecten.
Además, está diseñado para que varios componentes operativos, como el cálculo y la comunicación (con otros contratos), se manejen de manera muy clara, eliminando así cualquier intercalado complejo para evitar incidentes como DAO y hacks de paridad.
Scilla también viene con un conjunto de bibliotecas estándar, como la que realiza tareas aritméticas de forma segura y, por lo tanto, elimina la necesidad de depender de bibliotecas externas como OpenZeppelin.
Además de Scilla, el equipo de Zilliqa se compromete a proporcionar el apoyo, las herramientas y los recursos necesarios para garantizar el éxito de su plataforma, desde el lanzamiento de un sitio web dedicado al nuevo idioma hasta la implementación de talleres de desarrollo en China, Japón. Rumania, Reino Unido y Estados Unidos.
Durante los últimos seis meses, el equipo lanzó la red principal el 31 de enero, activó las transacciones y firmó numerosas asociaciones, como el Proyecto Proton, la alianza de WPP Mindshare, Mediamath, Rubicon, Integral Ad Science y Underscore CLT, que realizó con éxito la primera prueba de los contratos inteligentes de Zilliqa para PepsiCo, con un aumento de hasta un 28% en la eficiencia de costos para impresiones visibles.
Los proyectos de desarrollo futuros también incluyen fragmentación eficiente, auditorías formales, zk-SNARK y la entrada en la industria de pagos para promover la eficiencia de costos, la transparencia y la seguridad tanto para los clientes como para los usuarios finales.
