Visite
https://archive.devcon.org/ para acessar toda a biblioteca de palestras da Devcon com facilidade de filtragem, playlists, sugestões personalizadas, acesso descentralizado no IPFS e mais.
Neste workshop prático, vamos passar pelo processo de verificação formal de contratos inteligentes. Os participantes aprenderão (1) como especificar formalmente os requisitos funcionais relevantes dos contratos Ethereum, como "a soma dos depósitos nunca excede o saldo do contrato", e (2) como verificar isso usando ferramentas de análise existentes para Ethereum.
Primeiro, mostraremos como especificar formalmente o comportamento pretendido dos contratos inteligentes. Vamos analisar mais de perto as propriedades temporais de segurança, uma classe expressiva de propriedades para capturar quais sequências de estados do contrato são consideradas corretas. Apresentaremos expressões comuns de requisitos, incluindo controle de acesso, propriedades baseadas em estado, invariantes de múltiplos contratos e outros.
Em seguida, forneceremos uma visão geral das ferramentas de teste existentes, como ferramentas baseadas em execução simbólica e fuzzers. O objetivo é entender como elas podem ser usadas para identificar violações das propriedades formalizadas, bem como suas limitações em fornecer garantias formais ilimitadas.
Por fim, aprenderemos como os verificadores formais vão além dos testes e podem fornecer garantias formais ilimitadas (para qualquer sequência de transações). Vamos examinar mais de perto a linguagem de especificação usada pelo VerX e seu método de verificação automatizada, que é fácil de usar e não requer conhecimento aprofundado em verificação formal.
Palestrantes: Dimitar Dimitrov, Anton Permenev, Hubert Ritzdorf, Petar Tsankov
Nível de habilidade: intermediário
Trilha: Segurança
Palavras-chave: técnico
Devcon é a conferência Ethereum para desenvolvedores, pesquisadores, pensadores e criadores.
A Devcon 5 foi realizada em Osaka, Japão, de 8 a 11 de outubro de 2019.
A Devcon é organizada e apresentada pela Ethereum Foundation, com o apoio de nossos patrocinadores. Para saber mais, visite
https://ethereum.foundation/