O documento discute Ethereum, Rootstock e Qtum, blockchains que suportam smart contracts. Ethereum foi lançado em 2015 e usa a Ethereum Virtual Machine para executar contratos de forma Turing completa. Rootstock usa merge-mining com Bitcoin e tem compatibilidade com a EVM. Qtum é baseado no Bitcoin Core com Proof-of-Stake e também é compatível com a EVM.

1. Ethereum e RSK
Smart-contracts no Blockchain
Adonai Cruz

2. Outline
●
Ethereum
●
Rootstock
●
Qtum
●
Ambiente de execução
●
Ethereum Virtual Machine (EVM)
●
Execução de código
●
Conclusão

3. Ethereum
 Release inicial (Frontier) em 2015
 Ambiente de execução para smart-contracts (EVM)
 Turing-completo
 Compiladores e frameworks
 Provas formais
 Linguagens
– Solidity
– Serpent
– LLL

4. Rootstock
 Sidechain/drivechain + Federação
 Merge-mining
 Modelo de contas
 Two-way peg (2WP) com Bitcoin
 VM compatível com EVM
Especificações
Tempo de bloco ~10s
Total de moedas 21 milhões
http://www.rsk.co

5. Rootstock
 Two-way peg (2WP) com Bitcoin

6. Qtum
 Baseado no Bitcoin Core 0.13 + SegWit
 Modelo UTXO
 Proof-of-Stake v3.0
 Account Abstraction Layer
 VM compatível com EVM
Especificações
Tempo de bloco ~120s
Tamanho do bloco 2 MB
Total de moedas 100 milhões
http://qtum.org

7. Contas
●
Dois tipos de contas
Controlada por chave-privada
(Externaly Owned Account)
Controlada por código
(Contract account)
Transações
Mensagens

8. Gas
●
Halting problem
– Não há como prever se um programa irá executar infinitamente
●
Cobrar taxa por cada passo computacional
●
Cobrar taxas para dados armazenados permanentemente no blockchain
(storage)

9. Gas limit
●
Máximo de gas disposto a ser pago
●
Evita ataques do tipo DoS
●
TODO gas usado para executar um contrato será usado, mesmo que este
resulte em erro
●
O excedente é retornado

10. Transação
Custo máximo da transação: gasPrice*gasLimit

11. Estrutura de dados e Codificação
●
SHA3 (Keccak 256-bits)
●
Codificação RLP
●
Árvores de Merkle-Patricia (trie)
– Transações
– Receipts
– Estados
– Storage

12. Blockchain

13. Blockchain
●
Receipts e Logs

14. Ethereum Virtual Machine (EVM)
 Maquina virtual baseada em pilha (stack)
 Turing-completo
 Transições de estado desencadeado por transações
 Cada instrução (OPCODE) a ser executada é pago adiantada
 Smart-contracts são reativos
 Execução determinística

15. Ethereum Virtual Machine (EVM)
 Mais de 100 OPCODES
– Aritméticos
– Booleanos
– Armazenamento e execução
– Logging
…
 Stack
 Memória
 Storage

16. Deploy
 Exemplo: receber dois inteiros e retornar a soma

17. Deploy
 Exemplo: receber dois inteiros e retornar a soma
 Endereço do smart-contract é determinado por
SHA3(RLP([endereço_do_emissor, nonce]))

18. Execução de código
 Ex: receber dois inteiros como input e retornar a soma

19. 18/07/17
Execução de código

20. 18/07/17

21. 18/07/17

22. 18/07/17

23. 18/07/17

24. 18/07/17

25. 18/07/17

26. 18/07/17

27. 18/07/17

28. 18/07/17

29. 18/07/17

30. Casos de uso
Mercados de previsão
Crowdfunding P2P
Tokens
Computação decentralizada
Exchange P2P

31. adonairc@gmail.com
fb.com/adonairc
github.com/adonairc
Adonai Cruz