Hoje, a Blockstream anunciou que lançou o Simplicity, uma nova linguagem de contratos inteligentes projetada para a Liquid Network no Bitcoin, de acordo com um comunicado de imprensa enviado à Bitcoin Magazine. O Simplicity é baseado no modelo UTXO do Bitcoin, tornando-o compatível com a verificação formal, permitindo que os contratos sejam matematicamente provados corretos antes da execução.
“A simplicidade confere ao Bitcoin um poder expressivo de contratos inteligentes, mas sem os problemas de segurança associados a cadeias baseadas em VM,” disse o Co-Fundador e CEO da Blockstream, Dr. Adam
Ver original