O Que É Marlowe?
Vamos descobrir o significado de Marlowe, sua definição no mundo Cripto, o Que É Marlowe e todos os outros fatos relacionados.
Marlowe é uma linguagem de programação fácil de usar desenvolvida pela Input-Output Hong Kong (IOHK), que é a empresa de desenvolvimento e pesquisa de blockchain por trás do Cardano. Marlowe é usado para contratos financeiros, como derivativos, empréstimos e outros acordos.
Marlowe é uma ferramenta de modelagem financeira fácil e poderosa. Sua sintaxe foi feita o mais básica possível para que possa ser usada por programadores e não-programadores. Ele opera em um ambiente sandbox, permitindo que qualquer tipo de desenvolvedor crie um contrato inteligente.
Marlowe faz parte das tentativas da IOHK de trazer métodos formais para o desenvolvimento de contratos inteligentes, mas difere das abordagens anteriores por ser especializada em aplicações financeiras. Para fazer isso, seus criadores analisaram a teoria das finanças, particularmente o trabalho do Prêmio Nobel Kenneth Arrow, que foi pioneiro em grande parte do pensamento matemático que sustenta as finanças modernas.
Isso resultou em um conjunto de abstrações incorporadas baseadas em noções financeiras do mundo real, como tempo e dinheiro, em vez dos conceitos mais genéricos presentes em outras linguagens de programação, como listas, funções e variáveis.
Marlowe é construído sobre uma teoria de contratos financeiros que foi definida no provador de teoremas de Isabelle. Por isso, o Marlowe possui alguns recursos diferentes de outras linguagens de contrato. Esses recursos incluem:
- A capacidade de verificar formalmente as propriedades dos contratos.
- A capacidade de raciocinar sobre as expectativas de valor do contrato.
Além disso, no momento, os contratos Marlowe só podem ser realizados na blockchain Cardano. Os usuários podem testá-lo em tempo real no Playground, o que permite modelar e executar contratos sem ter nenhum conhecimento prévio de blockchain ou contratos inteligentes.
No entanto, observe que, embora Marlowe esteja atualmente rodando no Cardano, não é apenas exclusivo dele. Será possível usar Marlowe para construir contratos inteligentes em diferentes blockchains no futuro.
Existem vários processos para os quais o Marlowe pode ser usado. Seguem os principais:
- Simulando processos de negócios, que envolvem finanças ou seguros
- Definindo jogos e protocolos para processos de tomada de decisão
- Modelagem de mercados financeiros
- Construindo contratos financeiros interativos
- Explorando ideias na teoria dos jogos