Liquidez

La liquidez es un lenguaje de contrato inteligente de alto nivel para Tezos que cumple estrictamente con las restricciones de seguridad de Michelson. Se está elaborando un marco formal de verificación para él. Se está elaborando un marco formal de método para la Liquidez, para demostrar la exactitud de los contratos inteligentes escritos en Liquidez. El lenguaje Liquidity proporciona las siguientes características: cobertura completa del idioma Michelson: Cualquier cosa que se pueda escribir en Michelson se puede escribir en Liquidez; variables locales en lugar de manipulaciones de pila: los valores se pueden almacenar en variables locales; tipos de alto nivel: tipos como tipos de suma y tipos de registro se pueden definir y utilizar en programas de liquidez. La liquidez ya cubre el 100% de las características de Michelson, y los contratos generados con Liquidez se pueden presentar en la red principal actual y ceronet.