Boas práticas no desenvolvimento de smart contracts, The Dev Conf - TDC SP 2019
0 gostou233 visualizações
O documento resume conceitos importantes sobre smart contracts e segurança em blockchain, incluindo: 1) como smart contracts funcionam e são compilados; 2) tipos de funções e variáveis em contratos; 3) recomendações de segurança como testes e code review.
![● Tipos de dados de tamanho fixo para inteiros na EVM
● As variáveis podem ser exploradas para resultar em números fora do
intervalo do tipo de dados que os armazena
● Um uint8, por exemplo, só pode armazenar números no intervalo [0..255].
Tentar armazenar 256 em um uint8 resultará em 0](https://image.slidesharecdn.com/2019-07-16tdc2019-190715201958/85/Boas-praticas-no-desenvolvimento-de-smart-contracts-The-Dev-Conf-TDC-SP-2019-55-320.jpg)
Boas práticas no desenvolvimento de smart contracts, The Dev Conf - TDC SP 2019
- 3. fohat.co
- 6. DApp Aplicação frontend Smart Contract Regra de Negócio
- 8. ● Similar à uma classe, que possui métodos e atributos ● Identificado por um endereço próprio (0x71c20d...9ec0) ● Executa regras contratuais definidas em código ● Escritos em linguagem de alto nível (Solidity ou outras) ● Compilados em bytecode ● A EVM consome gas para executar as operações do contrato
- 10. ● Public: podem ser chamadas por funções do próprio contrato, de contratos herdados ou por usuários externos. ● External: podem ser acessadas somente externamente, não sendo possível ser chamada pelo próprio contrato. ● Private: podem ser acessadas somente pelo próprio contrato. ● Internal: podem ser acessadas pelo próprio contrato e por contratos herdados.
- 11. Mantenha suas funções private ou internal, a menos que haja necessidade de interação externa.
- 12. ● Memory: utilizada para valores temporários. É apagada entre execuções distintas e é barata. ● Storage: utilizada para armazenar variáveis de estado do contrato. É mais cara pois é gravada no blockchain.
- 13. Variáveis locais (memory) e de estado (storage) serão sempre públicas para leitura, mesmo se marcadas como private.
- 14. ● view: função que não modifica o estado na blockchain ● pure: função que não lê e não modifica o estado na blockchain ● payable: permite que o contrato receba ETH na execução da função
- 15. ● transfer() lança erro e para a execução caso haja falta de gas ● send() retorna false e deixa que você trate o erro Caso usar send(), NÃO ESQUEÇA DE TRATAR O RETORNO!!!
- 16. Enviando ETH: =
- 17. ● Aquela que não deve ser nomeada ● Não possui argumentos ● E não retorna nada! E pra que serve então???
- 18. ● É executada quando o contrato recebe ETH ● Ou quando se tenta executar uma função de nome inválido no contrato
- 19. ● Sem fallback function, o ETH enviado será rejeitado ● Um fallback executa com 2300 de *gas ○ Gas insuficiente para trabalhar com variáveis em STORAGE ○ Basicamente o que dá pra fazer é emitir um evento, informando que recebeu ETH
- 21. ● Um fallback pode executar com mais gas, caso isso fique explícito ● No caso de um contrato enviar ETH para outro, pode chamar a função addr.call.value(x)() ○ Dessa forma, o fallback pode fazer operações mais caras
- 24. ● Indentação: 4 espaços por nível ● Tabs ou Espaços? Espaços ● Tamanho máximo de linha: 79 ou 99 caracteres ● Estruturas de controle, declaração de funções e variáveis ● Funções modifiers ● Convenções de nomenclatura ● imports no topo do contrato ● Ordem de declaração das funções ● Basicamente o recomendado é seguir a PEP 8
- 25. ● Blocos possuem um limite de gas para as transações dentro dele ● Tomar cuidado com loops de tamanho variável ● Não se aplica a view e pure functions ● Porém, quando uma view ou pure function é chamada a partir de uma transação, ela também consome gas
- 27. ● O consumo de gas tem impacto direto na estrutura de custos da organização ● Por isso, otimize seus contratos
- 29. ● Corresponde a instrução SSTORE ● 20.000 de gas para guardar novos dados ● 5.000 de gas pra alterar dados * ○ Com exceção de uma alteração que zera um dado (Gas refund)
- 30. Recomendação: Escreva o mínimo possível na storage
- 35. 106.297 gas 100.123 gas
- 36. ● EVM armazena as variáveis em slots de 32 bytes ● Variáveis que ocupam espaço menor são “empacotadas”
- 39. ● Evitar usar um contrato para armazenamento de dado somente
- 42. ● Operações que alteram o estado da blockchain são caras ○ Ex: Criar contratos, guardar dados em um contrato. ● Para incentivar as pessoas a liberarem espaço que não será mais utilizado, a EVM implementa o mecanismo de Gas Refund ● Duas operações que reembolsam gas: ○ SUICIDE: “matar” o smart contract. Devolve 24.000 gas. ○ SSTORE: Apagar dados do contrato. Devolve 15.000.
- 44. “Everyone here is a target for attack. Be paranoid.” Martin Swende (DEVCON3)
- 45. ● Se houver um bug, não é possível atualizar e corrigir o código ● Qualquer erro pode levar a consequências terríveis ● Disneylândia para hackers ○ Baixo esforço, altos retornos e baixo risco ● Todo o ecossistema está amadurecendo em termos de segurança
- 47. ● O contrato não deve enviar Ether durante uma alteração de estado ○ Recomendado: Salvar o saldo dos usuários em um mapping (address => uint) ○ Usuário realiza o saque do saldo através de uma função específica ● King of Ether Hack
- 50. Um contrato (A) pode chamar outro contrato (B) e transferir o controle de Ether para o contrato (B), possibilitando que (B) chame (A) novamente antes que essa interação seja concluída. Isso permite que o contrato (B) possa realizar um loop recursivo, utilizando a função fallback, por exemplo.
- 53. Contrato de Ataque The DAO hack
- 55. ● Tipos de dados de tamanho fixo para inteiros na EVM ● As variáveis podem ser exploradas para resultar em números fora do intervalo do tipo de dados que os armazena ● Um uint8, por exemplo, só pode armazenar números no intervalo [0..255]. Tentar armazenar 256 em um uint8 resultará em 0
- 61. ● Testnet é uma rede de testes pública do Ethereum ● É gratuita, porém insegura ● Na testnet: ○ Ethers são fáceis de serem obtidos ○ Ethers não possuem valor como criptomoeda
- 62. Faça deploy e teste os seus contratos na testnet antes de utilizar em produção na mainnet.
- 63. Ganache goo.gl/bGonkq goo.gl/ZXqTvNe goo.gl/dELuzR goo.gl/cp6u9hgoo.gl/gJxR16
- 68. • github.com/ethereum/wiki/wiki • solidity.readthedocs.io • ethdocs.org