Hoy, Blockstream anunció que ha lanzado Simplicity, un nuevo lenguaje de contratos inteligentes diseñado para la Red Liquid en Bitcoin, según un comunicado de prensa enviado a Bitcoin Magazine. Simplicity se basa en el modelo UTXO de Bitcoin, lo que lo hace compatible con la verificación formal, permitiendo que los contratos sean probados matemáticamente como correctos antes de su ejecución.
"La simplicidad le da a Bitcoin el poder de contratos inteligentes expresivos, pero sin los problemas de seguridad asociados con las cadenas basadas en VM", dijo el Co-Fundador y CEO de Blockstream, Dr. Ad
Ver originales