Contrato Inteligente (eBook)

Acordos Digitais Descentralizados para Transações Autônomas e Execução Sem Confiança

Fouad Sabry (Autor)

eBook Download: EPUB

2025 | 1. Auflage
230 Seiten
Um Bilhão Bem Informado [Portuguese] (Verlag)
978-0-00-100951-6 (ISBN)

Infos

Em uma era impulsionada pela automação, transparência e sistemas sem necessidade de confiança, compreender contratos inteligentes é essencial. Seja navegando em sistemas políticos, explorando inovações em governança ou construindo ferramentas descentralizadas, este livro ilumina como os contratos inteligentes estão moldando nossos cenários digitais e cívicos.

Breve Visão Geral dos Capítulos:

1: Contrato inteligente: Explica os contratos inteligentes e seu papel na automação da confiança e dos acordos digitais.

2: Gavin Wood: Apresenta a visão de Wood e suas contribuições cruciais para o blockchain e os contratos inteligentes.

3: Solidez: Aborda a linguagem que impulsiona a maioria dos contratos inteligentes, com foco na estrutura e na aplicação.

4: Joseph Lubin (empreendedor): Examina o papel de Lubin no crescimento do Ethereum e na adoção de contratos inteligentes.

5: Contraparte (plataforma): Detalha uma plataforma de contratos inteligentes baseada em Bitcoin e sua abordagem única.

6: Título inteligente (finanças): Descreve como os contratos inteligentes estão transformando os instrumentos financeiros tradicionais.

7: Ethereum Classic: Explora a postura original da cadeia Ethereum em relação à imutabilidade e aos contratos inteligentes.

8: Tezos: Destaca o livro-razão automodificável da Tezos e a verificação formal na implantação de contratos inteligentes.

9: Carteira de criptomoedas: Mostra como as carteiras interagem com os contratos inteligentes para proporcionar experiências fluidas ao usuário.

10: Organização autônoma descentralizada: Descreve as DAOs como entidades de governança baseadas em contratos inteligentes.

11: Chainlink (oráculo de blockchain): Explica como os contratos inteligentes acessam dados do mundo real por meio de oráculos descentralizados.

12: Blockchain: Fornece a camada fundamental que permite a execução segura e transparente de contratos inteligentes.

13: Hyperledger: Examina estruturas de blockchain corporativas e contratos inteligentes com permissão.

14: Cardano (plataforma de blockchain): Discute a arquitetura em camadas e a abordagem de contratos inteligentes da Cardano.

15: Aplicação descentralizada: Conecta contratos inteligentes a aplicativos voltados para o usuário, impulsionando experiências Web3.

16: Direito da tecnologia de registro distribuído: Explora perspectivas jurídicas sobre a aplicabilidade de contratos inteligentes.

17: Finanças descentralizadas: Desvenda a dependência do DeFi em contratos inteligentes para automação de serviços financeiros.

18: Ethereum: A plataforma líder para contratos inteligentes, definindo padrões de funcionalidade do setor.

19: Criptoeconomia: Analisa estruturas de incentivos que garantem que os contratos inteligentes funcionem conforme o esperado.

20: A DAO: Investiga a ascensão, queda e influência da primeira grande DAO no design de contratos inteligentes.

21: Criptomoeda: Enquadra os contratos inteligentes no ecossistema cripto mais amplo e na troca de valor digital.

Este livro preenche a lacuna entre teoria e prática, mostrando como a ciência política e os contratos inteligentes se interconectam para moldar a governança, o direito e a tomada de decisões da comunidade. Profissionais, estudantes e amadores obterão não apenas conhecimento, mas também uma estrutura para se envolver criticamente com os sistemas do futuro.

Textauszug

Capítulo 1 :Contrato inteligente

O termo "contrato inteligente" refere-se a um programa de computador ou um protocolo de transação que é projetado para executar, controlar ou documentar automaticamente eventos e age de acordo com as condições de um contrato ou um acordo. A redução da necessidade de intermediários confiáveis, os custos associados à arbitragem e as perdas incorridas devido a fraudes são alguns dos objetivos dos contratos inteligentes. Além disso, os contratos inteligentes visam reduzir o número de exceções que são intencionais e inadvertidas. Existe uma associação generalizada entre contratos inteligentes e criptomoedas. Os contratos inteligentes que foram introduzidos pelo Ethereum geralmente são considerados um bloco de construção essencial para aplicações que envolvem finanças descentralizadas (DeFi) e tokens não fungíveis (NFT).

O protocolo Bitcoin é descrito como uma forma pobre do conceito de contrato inteligente, pois foi inicialmente definido por Nick Szabo no white paper Ethereum que foi escrito por Vitalik Buterin em 2014. No entanto, Buterin apresentou uma versão mais forte do conceito de contrato inteligente que foi construído sobre a linguagem Solidity, que é projetado para ser Turing completo. Desde então, uma série de criptomoedas diferentes começaram a permitir linguagens de programação que possibilitam a criação de contratos inteligentes mais sofisticados entre partes que não podem ser confiáveis.

Um contrato inteligente não deve ser confundido com um contrato legal inteligente, que é um contrato tradicional, legalmente executável, que é escrito em linguagem natural e selecionou termos que são declarados e implementados em código legível por máquinas.

Nick Szabo começou a usar o termo "contrato inteligente" em 1996 para se referir a contratos que seriam aplicados por propriedade física (como hardware ou software) e não pela lei. A partir desse ano, o termo tornou-se amplamente utilizado. Uma boa ilustração desta ideia foi fornecida por Szabo na forma de máquinas de venda automática. A palavra foi usada pela primeira vez em 1998 para se referir a objetos que estavam localizados na camada de serviço de gerenciamento de direitos do sistema conhecido como The Stanford Infobus, que também era um componente do Stanford Digital Library Project.

Na maioria dos casos, um contrato inteligente não estabelece um acordo legalmente executável que seja aceitável sob a lei. Foram feitas sugestões para reger os contratos inteligentes.

Em vez de serem acordos legais, os contratos inteligentes são transações que são realizadas automaticamente por um programa de computador ou um protocolo de transação. Isso inclui meios tecnológicos para a automação de responsabilidades de pagamento, como a transferência de criptomoedas ou outros tokens. Os contratos inteligentes não são juridicamente vinculativos. Foi proposto por alguns académicos que a natureza imperativa ou declarativa das linguagens de programação pode ter um efeito sobre a legitimidade jurídica dos contratos inteligentes.

Desde a estreia do blockchain Ethereum em 2015, a expressão "contrato inteligente" tem sido usada para se referir a cálculos que são realizados em um blockchain para fins gerais. De acordo com o Instituto Nacional de Padrões e Tecnologia dos Estados Unidos, um "contrato inteligente" é definido como uma "coleção de código e dados (às vezes referidos como funções e estado) que é implantado usando transações assinadas criptograficamente na rede blockchain". O termo "contrato inteligente" refere-se a qualquer tipo de programa de computador que faz uso de um blockchain, de acordo com esta visão. Como sua execução e efeitos definidos (como a transferência de tokens entre as partes) não podem ser manipulados sem alterar o próprio blockchain, um contrato inteligente também pode ser considerado um procedimento armazenado seguro. Isto porque a sua execução e os seus efeitos não podem ser alterados. De acordo com esse entendimento, a própria plataforma é responsável por controlar e auditar a execução dos contratos; Programas aleatórios do lado do servidor que se conectam à plataforma não são responsáveis por isso.

"Embora os contratos inteligentes possam parecer novos, o conceito está enraizado na lei contratual básica", afirmou um relatório publicado pelo Senado dos Estados Unidos no ano de 2018. É prática corrente ter outra opção de arbitragem, particularmente para transações estrangeiras, além do sistema jurídico, que muitas vezes é responsável por julgar disputas comerciais e fazer cumprir as condições. Ao usar contratos inteligentes, um programa é responsável por fazer cumprir o contrato contido no código. Nos Estados Unidos da América, os estados do Arizona, Iowa, Nevada, Tennessee e Wyoming estão entre os que promulgaram legislação relativa à utilização de contratos inteligentes.

De acordo com o United Kingdom Jurisdiction Taskforce (UKJT), as Regras de Resolução de Disputas Digitais (também conhecidas como Digital DR Rules) foram emitidas em abril de 2021. O objetivo dessas regras era facilitar a rápida resolução de questões legais de blockchain e criptomoedas no Reino Unido.

Um contrato inteligente pode ser implantado em um blockchain de forma análoga à transferência de valor em um blockchain. Isso é feito enviando uma transação de uma carteira que está associada ao blockchain. Além de um endereço de recetor exclusivo, a transação contém o código que foi compilado para o contrato inteligente. Depois disso, a transação em questão deve ser incorporada em um bloco que é colocado no blockchain. Neste ponto, o código do contrato inteligente será executado para estabelecer o estado inicial do contrato inteligente. Os contratos inteligentes são protegidos de quaisquer esforços para manipulá-los de forma descentralizada usando algoritmos tolerantes a falhas que são baseados no algoritmo bizantino. Não há como fazer alterações em um contrato inteligente depois que ele for implantado. Os contratos inteligentes que são armazenados em um blockchain têm a capacidade de executar quaisquer cálculos e armazenar estados arbitrários. Através do uso de transações, os clientes finais se envolvem na interação com um contrato inteligente. Transações semelhantes usando um contrato inteligente têm o potencial de invocar outros contratos inteligentes. O estado do contrato inteligente pode ser alterado como resultado dessas transações, e as moedas podem ser transferidas de um contrato inteligente para outro ou de uma conta para outra.

O blockchain Ethereum é o blockchain mais utilizado para a operação de contratos inteligentes. No Ethereum, os contratos inteligentes são frequentemente escritos em uma linguagem de programação conhecida como Solidity, que é uma linguagem Turing-complete. Esses contratos são então compilados em bytecode de baixo nível, que permitem que a Máquina Virtual Ethereum realize seus propósitos. Turing-completude é um risco que é intencionalmente evitado por linguagens como Vyper, uma vez que se acredita ser um risco devido ao problema de parada, bem como outras considerações de segurança. Simplicidade, Scilla, Ivy e Bitcoin Script são alguns exemplos de linguagens de programação adicionais para contratos inteligentes que não possuem Turing-completude. Recursões e loops são estruturas que estão ligadas ao problema da parada. No entanto, medições feitas no ano de 2020 usando expressões regulares revelaram que apenas 35,3% dos 53.757 contratos inteligentes Ethereum existentes na época apresentavam essas construções.

Bamboo, IELE, Simplicity, Michelson (que pode ser provado usando Coq), Liquidity (que compila para Michelson), Scilla, DAML e Pact são algumas das linguagens que foram destinadas a apoiar a verificação formal.

A fim de cumprir os requisitos de tolerância a falhas bizantinas, os processos que são executados em um blockchain são muitas vezes deterministas. Por outro lado, a implementação de contratos inteligentes no mundo real, como cassinos e loterias, requer a aplicação de aleatoriedade segura. Na verdade, a tecnologia blockchain minimiza os gastos associados à operação de uma loteria, o que é vantajoso para os indivíduos que participam da loteria. A implementação da aleatoriedade no blockchain pode ser realizada pela utilização de hashes de bloco ou timestamps, oráculos, esquemas de compromisso, contratos inteligentes especiais, como RANDAO e Quanta, e sequências derivadas de equilíbrios de Nash de estratégia mista.

Usando cadeias de hash criptográficas e replicação bizantina tolerante a falhas, Szabo postulou em 1998 que a infraestrutura de contratos inteligentes poderia ser alcançada por meio de registros de ativos replicados e execução de contratos. Esta estratégia permitiria a execução de contratos. Em 2002, a Askemos realizou a implementação desta estratégia empregando Scheme como linguagem de script de contrato, com SQLite sendo adicionado posteriormente.

O termo "moedas coloridas" refere-se a um plano que inclui a utilização de Bitcoin com a finalidade de replicar o registro de ativos e a execução de contratos. A implementação de títulos duplicados para tipos de propriedade potencialmente arbitrários, além da execução de contratos replicados, aparece em uma variedade de projetos.

O UBS estava realizando experimentos com "títulos inteligentes" no ano de 2015, que são baseados na tecnologia blockchain do bitcoin. Esses...

Produkt-Details

• Erscheint lt. Verlag: 13.8.2025
• Übersetzer: Felipe Azevedo
• Sprache: portugiesisch
• Themenwelt: Informatik ► Netzwerke ► Sicherheit / Firewall
• ISBN-10: 0-00-100951-6 / 0001009516
• ISBN-13: 978-0-00-100951-6 / 9780001009516