Contrato inteligente

Imagem: Leales.org • tu guía animable · PDM · Openverse

Existem os seguintes exemplos de contratos inteligentes:

Imagem: El Criptógrafo · BY · Openverse

Agoric computing foi um movimento nas décadas de 1970 e 1980 para trazer mecanismos de mercado como os leilões para a gestão de recursos computacionais. Enquanto isso, a criptografia de chave pública revolucionou o que era possível em segurança online. A frase "smart contracts" ("contratos inteligentes", em português) foi cunhada pelo cientista da computação Nick Szabo, provavelmente por volta de 1993, para enfatizar o ojetivo de trazer o que ele chama de práticas "altamente evolídas" para o projeto de protocolos de comércio eletrônico entre desconhecidos na Internet. Inspirado por pesquisadores como David Chaum, Szabo também teve uma expectativa mais ampla de que, por especificação em lógica clara, e verificação ou execução via protocolos critográficos e outros mecanismos digitais de segurança, poderia constituir uma forte melhora na lei de contratos tradicional, até para alguns tipos de cláusulas contratuais tradicionais (como empréstimos para automóveis que fornecem reitegração de posse) que poderiam ser comprados no domínio de protocolos de computador. Mark Miller e outros insistiram que capabilities seriam a base de segurança dos contratos inteligentes, ao contrário de Chaum e outros pesquisadores na comunidade de criptografia financeira, que enfatizaram que protocolos criptográficos avançados que irão trazer segurança e privacidade para dinheiro, credenciais, assinaturas de contrato, leilões e outros mecanismos comerciais na forma digital. Entretanto, a maior parte dos exemplos supracitados têm sido provavelmente desenvolvido larga e independentemente dessas linhas de atividade, e de fato alguns proponentes vêem contratos inteligentes como um resultado inevitável dos muitos esforços independentes para melhorar as transações usando tecnologia digital, em várias indústrias.

Imagem: Medellín Ciudad Inteligente · BY-NC-SA · Openverse

A infra-estrutura de um contrato inteligente pode ser implementada por registros de ativos replicados e, a execução dos contratos usando replicação de árvores de dispersão (estrutura que contém um resumo de uma estrutura grande de dados) e tolerante a defeitos bizantinos. Cada nó na rede peer-to-peer funciona como um registro de título e como uma garantia, executando mudanças de propriedade e regras automaticamente verificáveis que governam essas transações, e verificam a mesma atividade dos outros nós. Criptomoedas como o Bitcoin têm implementado casos especiais desses tipos de registros, nos quais a propriedade é o dinheiro. O Bitcoin e boa parte das suas variações possuem mecanismos que possibilitam a execução de contratos e títulos de propriedade mais gerais. O Código que suporta esse tipo de aplicação é uma parte não muito à vista do protocolo bitcoin, baseado na replicação Bizantina probabilística e anônima (proof-of-work). Uma proposta para utilizar bitcoin para execução de contratos e registros de ativos replicados é chamada de "moedas coloridas" Um registro de nome de domínio replicado é implementado em Namecoin; títulos replicados para formas arbitrárias de propriedade, assim como execuções de contratos replicados, são implementados em Crypti, Ripple, Mastercoin, ErisDB e Ethereum. A NXT implementa títulos de propriedade replicados baseado no proof-of-stake na moeda subjacente.

Imagem: Leales.org • tu guía animable · PDM · Openverse

Permanence (2002) pelo autor Karl Schroeder mostra um universo no qual existe uma "economia de direitos", na qual todos os objetos físicos são nano-etiquetados com requisitos contratuais, de forma que é possível fazer cumprir o pagamento para todos os usos de informação de propriedade, como por exemplo, uma nave espacial poderia parar de funcionar após o a missão militar espacial em questão deixar de ser justificada pela razão custo-benefício da mesma.