Curso de Smart Contracts

Aula 1 • O Que São os Smart Contracts

Define smart contracts como código autoexecutável que impõe automaticamente os termos do acordo. Estabelece o vocabulário utilizado ao longo do curso.

Aula 2 • Ciclo de Vida do Smart Contract

Traça o percurso de um contrato desde a sua criação até à implantação, execução e resolução contratual. Proporciona aos estudantes um modelo mental para todos os tópicos técnicos subsequentes.

Aula 3 • Casos de Uso em Várias Indústrias

Examina aplicações do mundo real nas finanças, cadeia de abastecimento, saúde e setor imobiliário. Motiva os formandos ao fundamentar conceitos abstratos em resultados práticos.

Aula 1 • Escolher uma Linguagem de Contrato

Compara as linguagens de smart contract dominantes em termos de sintaxe, características de segurança e maturidade do ecossistema. Orienta os estudantes para uma seleção informada da linguagem para os seus projetos.

Aula 2 • Variáveis de Estado e Armazenamento

Explica como os contratos persistem dados na cadeia e as implicações de custo do armazenamento. Os estudantes aprendem a conceber layouts de estado eficientes.

Aula 3 • Testes Unitários da Lógica do Contrato

Apresenta frameworks de teste e a prática de verificar o comportamento do contrato antes da implementação. Estabelece hábitos de garantia de qualidade desde o início do curso.

Aula 4 • Sintaxe e Tipos da Linguagem Principal

Abrange variáveis, tipos de dados, funções e controlo de fluxo específicos das linguagens de contrato. Fornece a base sintática para escrever qualquer lógica de contrato.

Aula 1 • Verificação do Código-Fonte

Submete o código-fonte do contrato a exploradores de blocos para verificação e transparência públicas. Constrói a confiança dos utilizadores e simplifica auditorias futuras.

Aula 2 • Testes de Integração e de Cenários

Alarga os testes unitários a interações com vários contratos e cenários de utilizador realistas. Detecta erros de integração que os testes unitários não detetam.

Aula 3 • Ambientes de Desenvolvimento Local

Configura simuladores de blockchain locais e frameworks de desenvolvimento para iteração rápida. Estabelece a cadeia de ferramentas utilizada em todos os exercícios de implementação subsequentes.

Aula 4 • Scripts de Implementação e Automação

Escreve scripts de implementação reprodutíveis que tratam argumentos de construtor e dependências. Reduz o erro humano em implementações de produção.

Aula 1 • Padrões de Controlo de Acesso

Abrange proprietários, permissões baseadas em funções e esquemas de autorização multissinatura. Aborda diretamente a fonte mais frequente de vulnerabilidades em contratos.

Aula 2 • Padrões de Fábrica e de Registo

Mostra como um único contrato pode implementar e rastrear múltiplos contratos-filho. Permite arquiteturas escaláveis sem necessidade de reimplementação manual.

Aula 3 • Padrões de Pagamento Pull e de Escrow

Demonstra padrões seguros de transferência de valor que previnem reentrancy e envios falhados. Liga-se diretamente ao capítulo de segurança que se segue.

Aula 4 • Padrões de Proxy e de Atualizabilidade

Explica como os contratos proxy delegam chamadas em contratos lógica, permitindo atualizações. Os estudantes ponderam as compensações entre atualizabilidade e imutabilidade.

Aula 1 • Auditoria e Análise Estática

Apresenta a metodologia de auditoria manual e as ferramentas automatizadas de análise estática. Os estudantes produzem um relatório de auditoria estruturado para um contrato de exemplo.

Aula 2 • Vulnerabilidades de Reentrancy e de Chamadas

Disseca ataques de reentrancy e explorações de chamadas entre funções com exemplos de código ao vivo. Os estudantes implementam o padrão checks-effects-interactions e guards de reentrancy.

Aula 3 • Modelação de Ameaças para Contratos

Aplica a modelação estruturada de ameaças para identificar superfícies de ataque antes de começar a programar. Enquadra a segurança como uma disciplina de conceção, e não como uma reflexão tardia.

Aula 4 • Explorações de Inteiros e Aritméticas

Abrange vulnerabilidades de overflow, underflow e perda de precisão na aritmética de contratos. Os estudantes aplicam bibliotecas matemáticas seguras e proteções ao nível do compilador.

Aula 1 • Normas de Tokens Fungíveis

Explica a interface, eventos e comportamentos exigidos pela norma dominante de tokens fungíveis. Os estudantes implementam um token conforme a partir do zero.

Aula 2 • Normas de Multi-Token

Apresenta normas de transferência em lote que combinam ativos fungíveis e não fungíveis num único contrato. Reduz os custos de implementação para sistemas de ativos complexos.

Aula 3 • Normas de Tokens Não Fungíveis

Abrange o modelo de propriedade única, o schema de metadados e a mecânica de transferência das normas NFT. Os estudantes cunham e transferem NFTs num ambiente de teste.

Aula 4 • Considerações de Segurança de Tokens

Identifica vetores de ataque específicos de tokens, incluindo explorações de aprovação e manipulação por flash loan. Aplica padrões de segurança do Capítulo 4 a contratos de token.

Aula 1 • Composabilidade de Protocolo e Risco

Analisa como os contratos interagem entre protocolos e os riscos sistémicos que a composabilidade introduz. Os estudantes mapeiam cadeias de dependência para uma pilha de protocolo de exemplo.

Aula 2 • Lógica de Automated Market Maker

Deduz a fórmula do produto constante e implementa funções de swap e de liquidez. Conecta as normas de token do Capítulo 6 à mecânica de exchange.

Aula 3 • Contratos de Empréstimo e de Tomada de Empréstimo

Modela a colateralização, o accrual de juros e a lógica de liquidação no código do contrato. Os estudantes percorrem um ciclo completo de empréstimo e reembolso através do estado do contrato.

Aula 4 • Flash Loans e Transações Atómicas

Explica como funcionam os empréstimos sem colateral dentro de uma única transação e os seus usos legítimos. Os estudantes escrevem um contrato recetor de flash loan.

Aula 1 • Depreciação e Migração de Contratos

Planeia e executa migrações seguras quando os contratos precisam de ser substituídos ou retirados. Garante a continuidade dos fundos e dados dos utilizadores durante as transições.

Aula 2 • Controlos de Timelock e Multi-Sig

Integra controladores timelock e carteiras multissinatura como camadas de segurança da governação. Protege os protocolos contra alterações de parâmetros apressadas ou maliciosas.

Aula 3 • Atualizações de Parâmetros e de Protocolo

Gere alterações de parâmetros em runtime e atualizações de contratos através de votações de governação. Aplica os padrões de proxy do Capítulo 3 num contexto de governação.

Aula 4 • Fundamentos de Governação On-Chain

Explica a criação de propostas, períodos de votação, limites de quórum e atrasos de execução. Estabelece o vocabulário de governação utilizado ao longo do capítulo.