Dan Guido: Trail of Bits – A Evolução da Segurança em Contratos Inteligentes #346

Assim como todo software, contratos inteligentes na blockchain estão sujeitos a sérias vulnerabilidades de segurança e erros de codificação. O fato de que contratos inteligentes muitas vezes estão diretamente responsáveis por ativos e não podem ser alterados uma vez que estão na blockchain torna o desenvolvimento e a execução seguros essenciais. Algumas plataformas de contratos inteligentes têm suas próprias linguagens, por exemplo, Solidity no Ethereum. Bugs e vulnerabilidades no código-fonte, e erros nas máquinas virtuais usadas pela rede, são as principais razões por trás de problemas de segurança em contratos inteligentes.

Projetos que utilizam aplicações em blockchain devem esperar mudanças constantes no cenário de segurança. Novos bugs, riscos de segurança e melhores práticas continuarão a surgir ao longo do tempo. A Trail of Bits é uma empresa de segurança de software que aconselha uma variedade de indústrias para algumas das principais empresas, incluindo no espaço blockchain. Eles são especialistas em identificar riscos de alto nível e vulnerabilidades de implementação, além de fornecer recomendações essenciais sobre melhores práticas. Dan Guido, o CEO e cofundador, explica tudo sobre segurança de software de uma maneira realmente detalhada e técnica, mas fácil de digerir. Também recomendamos que você confira o blog excepcional deles, repleto de recursos valiosos.

Tópicos discutidos neste episódio:

- O histórico de Dan e como ele criou a Trail of Bits

- O que levou Dan ao campo da blockchain

- Como o software de segurança mudou nos últimos 20 anos

- Os desafios únicos para a segurança em blockchain e protocolos de contratos inteligentes

- Linguagens de contratos inteligentes e segurança

- Slither - a suíte de ferramentas de segurança baseada em Ethereum da Trail of Bits

- A opinião de Dan sobre o futuro do Solidity e Vyper como uma alternativa

- Linguagens Formalmente Verificadas

- Um caso de uso sobre como a Trail of Bits funciona

- Trabalhando com contratos atualizáveis

- Composabilidade e segurança

- Compiladores são confiáveis?

- Outros problemas de segurança no espaço blockchain à medida que o DeFi cresce

- O futuro da segurança de software e o papel da IA

Links mencionados neste episódio:

- Site da Trail of Bits: https://bit.ly/31wdnQ4

- Anatomia de uma Linguagem de Programação de Contrato Inteligente Insegura: https://bit.ly/2BMNqAN

- Slither, Github: https://bit.ly/31rvgzn

- Slither: O Principal Analisador Estático para Contratos Inteligentes: https://bit.ly/2NErOcw

- 246 Descobertas de nossas Auditorias de Contratos Inteligentes: Um Resumo Executivo: https://bit.ly/2CYivSR

- Avaliação Rápida de Risco (RRA): https://mzl.la/3dGQjQN

- Nosso Relatório Completo sobre a Plataforma de Votação Móvel Voatz: https://bit.ly/3dK73Xt

- Um Guia para Criptografia Pós-Quântica: https://bit.ly/3eMsp7L

- BSides Lisboa 2016 - Palestra Principal - A Revolução do Smart Fuzzer por Dan Guido: https://bit.ly/2YKixG1

- A Revolução do Smart Fuzzer: https://bit.ly/3gffmwi

- Twitter da Trail of Bits: https://bit.ly/2ZnXR5V

- Twitter de Dan Guido: https://bit.ly/3dOYKJU

Este episódio é apresentado por Sebastien Couture & Friederike Ernst. Notas do programa e opções de escuta: https://epicenter.tv/346