O documento discute contratos inteligentes baseados em blockchain e consenso. Apresenta brevemente o funcionamento de blockchain e bitcoin, explica como transações são validadas através de prova de trabalho e discute como contratos podem ser implementados usando blockchain de forma descentralizada e confiável. Também aborda desafios jurídicos relacionados a essa tecnologia.
4. Tópicos
Blockchain e Bitcoin (BTC)
Transações no Blockchain
Prova de Trabalho e Consenso
Segurança
Contratos usando o Blockchain
Contratos Eletrônicos x Inteligentes
Desafios aos Especialistas em Direito (Lex Cryptographia)
Prof. Newton Licciardi Contratos Inteligentes
Assista no Youtube
5. Um pouco sobre o Blockchain e Bitcoins (BTCs)
Prof. Newton Licciardi Contratos Inteligentes Assista no Youtube
7. “Bitcoin: A Peer-to-Peer Electronic Cash System”
por Satoshi Nakamoto
October 31, 2008 www.cryptovest.co.uk
Manuscrito não publicado em periódicos científicos
São Paulo
Prof. Newton Licciardi Contratos Inteligentes Assista no Youtube
8. Comentários (*)
“Satoshi Nakamoto” é um pseudônimo.
A mídia divulgou que faz aniversário dia 05 de Abril e em 2019 teria 44 anos ....
(TECMUNDO – 5 Abril 2019)
Prof. Newton Licciardi Contratos Inteligentes
Sexta-feira, 5 de abril de 2019, o dia em que Satoshi Nakamoto, o
criador do bitcoin, completa 44 anos — quer dizer, isso se as poucas
informações a respeito dele estiverem corretas, afinal ninguém sabe
ao certo quem é ele nem se ele existe de fato.
Se você fizer as contas, saber que Nakamoto supostamente nasceu
em 5 de abril de 1975, algo que deixa no ar a pergunta: de onde vem
essa data? Segundo consta em uma postagem na comunidade
“Bitcoin”, no Reddit, ela foi incluída pelo próprio criador da moeda
virtual mais famosa do mundo quando ele criou a página da P2P
Foundation na rede social Ning.
Como destaca o site The Next Web, é bem provável que esta não
seja a data de nascimento real de quem criou o bitcoin, mas apenas
uma referência a uma data histórica. A página relata que neste
mesmo dia em 1933, o presidente dos Estados Unidos Franklin D.
Roosevelt proibiu a propriedade de moedas, barras e certificados de
ouro, confiscando tudo e emitindo em seu lugar uma quantia
equivalente a moedas fiduciárias.
9. Comentários (*)
Após anos de mistério e especulações, o suposto verdadeiro criador da moeda virtual
bitcoin revelou em 06/2016 sua identidade à “BBC”, “The Economist” e à revista “GQ
– Dr. Craig Wright.
Possui mais de 50 patentes no assunto “Moedas Criptográficas” (Reuters).
Existem questionamentos da Imprensa quanto a veracidade das chaves critpgráficas
apresentadas que teriam dado início ao Bitcoin.
Estatísticas do Google Academics:
- Artigo original divulgado em 315 diferentes sites da Internet (relacionados a
moedas digitais)
- Citado em 5222 publicações até Mar/2019
- (aprox.1500 x até Mar/2017)
Prof. Newton Licciardi Contratos Inteligentes
Assista no Youtube
10. Pontos Interessantes
• Apresentar a proposta de versão eletrônica, P2P, de dinheiro eletrônico;
• Baseado em assinaturas digitais e criptografia como parte da solução;
• Evitar utilização Instituições Financeiras – modelos baseados em confiança;
• Proposto como solução a problemas de “double spending”;
• Transações “Proof-of-Work” (de confiança):
• Utilizam Assinaturas digitais;
• Incluem o “Time-stamp” da Rede;
• Elaboradas em cadeia (com Hash de transações anteriores).
• De forma que, quanto maior a capacidade de CPU (“nós honestos”) a
disposição para validar as transações em cadeia, maior a cadeia e
menor a possibilidade de ataques serem bem sucedidos.
Prof. Newton Licciardi Contratos Inteligentes
11. Rede P2P
• Apresentar a proposta de versão eletrônica, P2P, de dinheiro eletrônico;
Prof. Newton Licciardi Contratos Inteligentes
16. Valorização
• Dinheiro eletrônico – questionamentos
(1) Valorização (Fato!) – além da finalidade (P2P
transactions)
• Número limitado de criptomoedas – diferente de
Banco Centrais
• Ex. – BTC – aprox. 21 M
(2) Valorização – efeito (Fato!):
• Lei da Oferta e Procura
21M BTCs x Numero Investidores
• Alimentada pelas “especulações”
• Lei de Metcalfe
Prof. Newton Licciardi Contratos Inteligentes
17. Valorização
• Dinheiro eletrônico – questionamentos/hipóteses (!!)
• (3) Valorização - Várias discussões entre
Criptotraders sobre a Lei de Metcalfe “corrigida”:
• “corrigida” – nem todo nó da rede fica exposto aos
outros “n-1”
• Portanto relação de valorização/relações/influências
não seria quadrada
• Proposta➔ valorização ➔ proporcial a (n) ^ (1,66)
(*)
• E não (n) ^2
(*) – hipótese que circula nas redes sociais de criptotraders. Não tem
comprovação científica ainda.
Prof. Newton Licciardi Contratos Inteligentes
19. Servidor de Timestamp
• A solução para evitar duplos gastos de moeda é baseada na utilização do rótulos de
tempo nas transações.
• Assim, a transação mais recente com um certo valor de moeda, nos registros/blocos de
transação (longest chain) é o que valerá para o sistema como transação efetiva.
Figura – Serviço de Rótulos de Tempo das transações
+ +
TIMESTAMP TIMESTAMP
Prof. Newton Licciardi Contratos Inteligentes
Assista no Youtube
20. Servidor de Timestamp
• Um servidor de rótulos de tempo trabalharia tomando o Hash da transação efetuado,
alocando o rótulo de tempo a este e divulgando amplamente o resultado, como em um
jornal ou post na Usenet.
• O rótulo de tempo atual inclui o Hash da transação passada e seu respectivo timestamp,
formando uma cadeia – em que cada novo rótumo de tempo, reforça os anteriores. A
figura 3 ilustra o processo mencionado
Figura – Serviço de Rótulos de Tempo das transações
+ +
TIMESTAMP TIMESTAMP
Quem agiria
Como
Timestamp
Server?
Prof. Newton Licciardi
21. Proof of Work (Prova de Trabalho ou Validação)
• Para implementação de um serviço de rótulos no tempo descentralizado, é necessário um sistema
similar ao Hashcash de Adam Back, ao invés de usarmos a publicação num jornal de internet ou
Usenet.
• O processo – envolve a descoberta do valor de um campo (NONCE – algo que, em criptografia,
significa que só pode ser usado uma vez) agragado ao Bloco, que faça com a o HASH, baseado em
SHA-256, produza um certo número de bits iniciais “0”. (atualmente 72 bits)
Figura – Proof at Work – Nonce agregado ao Bloco
TS TS
TS – Time Stamp
(referência UTC)
Tx - Transação
Prof. Newton Licciardi Contratos Inteligentes
Proof of Work (Mining)
Collaborative Work
CONSENSO
22. Proof of Work - Consenso
• Mineração
Prof. Newton Licciardi Contratos Inteligentes
23. Cálculos - Segurança
• É apresentado o cálculo de probabilidade de um atacante (ou grupo organizado) criar uma cadeia de
blocos falsa para os nós que cuidam das transações, subtraindo moedas eletrônicas do sistema. Para
um atacante:
• Nós não aceitariam transações inválidas como pagamento e nós honestos não aceitarão
blocos que as contenham
• O atacante pode apenas tentar modificar uma de suas próprias transações, tomando o
dinheiro de volta que ele gastou recentemente.
Prof. Newton Licciardi Contratos Inteligentes
24. Cálculos – Segurança (cont.)
• Para isto o nós atacante precisa criar um bloco falso e aceito mais rapidamente que a rede
‘honesta”, ou ainda uma cadeia de z blocos (o que envolve sua transação e os consequentes
criados), passando a fazer a rede a acreditar que é a cadeia mais longa.
• Problema: um evento de sucesso – a cadeia honesta é estendida de um bloco, aumentando a
liderança em “+1”. Um evento de fracasso, a cadeia do atacante é estendida em um bloco,
reduzindo o gap em “-1”. Este problema é semelhante ao de ‘Ruína de um jogador’ e portanto
(*):
Se p>q => cai exponencialmente o número de blocos que o atacante
conseguiria alterar com sucesso;
Prof. Newton Licciardi Contratos Inteligentes
25. Cálculos - Segurança
Na Figura 9, abaixo, são apresentados alguns casos em que
varia-se o Z. Alternando o q até 0,4, não se observaram mudanças
significativas quando z>5.
Figura – Prob êxito do atacante p Z=5, 10 e 100
Prof. Newton Licciardi Contratos Inteligentes
26. Figura – Prob êxito do atacante p Z até 20, considerando q= de 0 a 0.5
Prof. Newton Licciardi
Cálculos - Segurança
27. Prof. Newton Licciardi Contratos Inteligentes
Cálculos - Segurança
De acordo com pesquisa da organização Power Compare, a estimativa anual média
de energia gasta nesse processo - entre 55,6 e 73,2 TWh, o terawatt-hora - já é
superior ao gasto de 175 países, incluindo alguns de tamanho médio, como Irlanda e
Nigéria, que consomem 25 TWh e 24 TWh, respectivamente.... - Veja mais em
https://tab.uol.com.br/noticias/redacao/2019/02/04/tab-bitcoin.htm?cmpid=copiaecola
Consumo
28. Principais Criptos/Blockchains
Prof. Newton Licciardi Contratos Inteligentes
Bitcoin – a “original”
Ethereum – n. 2 – facilita “contratos”
Ripple – “bancarização”
Litecoin – “mais leve” que o BTC
Aprox – 1200 criptomoedas no Mundo!
Assista no Youtube
29. CHARTS
• https://blockchain.info/pt/charts
• Estatísticas sobre a rede, volume, transações, mineração
• https://blockchain.info/unconfirmed-transactions
• Estatísticas de Transações realizadas por região on-line e ainda não confirmadas
• https://bitcoinContratos Inteligentesker.co/
• Transações em negociação
Prof. Newton Licciardi Contratos Inteligentes
31. Blockchain – Plataforma (Registros e Programas)
Programas distribuídos (Solidity ~ Java) (Lógica formal)
Prof. Newton Licciardi Contratos Inteligentes
32. Blockchain – Plataforma (Registros e Programas)
Prof. Newton Licciardi Contratos Inteligentes
33. Confiança – sem Entidade Central
Prof. Newton Licciardi Contratos Inteligentes
42. Aplicações (MIT)
• Seguros
• Internet das Coisas
• Empréstimos hipotecários
• Contratos de Emprego
• Conteúdo de "Copywrite"
assegurado
• Cadeia de Suprimentos
Prof. Newton Licciardi Contratos Inteligentes
Assista no Youtube