Juvix

Juvix sintetiza una sintaxis de interfaz de alto nivel, un lenguaje central de tipo lineal dependiente, un sistema de optimización de todo el programa y un modelo de ejecución intercambiable en el backend en una sola pila unificada para escribir contratos inteligentes formalmente verificables y ejecutables de manera eficiente que se pueden implementar en una variedad de libros de contabilidad. Juvix está diseñado para abordar los problemas que hemos experimentado al intentar escribir e implementar aplicaciones descentralizadas y que observamos en el ecosistema en general: la dificultad de la verificación efectiva, el techo de la complejidad de la composición, la ilegibilidad de los costos de ejecución y el bloqueo de motores particulares. Para hacerlo, Juvix se basa en y tiene como objetivo producir una gran reserva de investigación académica previa en diseño de lenguajes de programación y teoría de tipos que creemos que tiene un alto grado de aplicabilidad a estos problemas. La arquitectura del compilador de Juvix está diseñada específicamente desde cero para los requisitos particulares y las compensaciones económicas del caso de uso de contratos inteligentes: prioriza la verificabilidad del comportamiento, la precisión semántica y la eficiencia del código de salida sobre la velocidad de compilación, la familiaridad sintáctica y hacia atrás compatibilidad con máquinas virtuales blockchain existentes.