Melhores práticas para contratos inteligentes

Aqui estão algumas melhores práticas gerais que você deve seguir ao desenvolver contratos inteligentes com Plutus.

Conhecendo o objetivo do seu contrato inteligente
Saiba exatamente o que seu contrato inteligente deve fazer e teste-o para garantir que ele cumpra o objetivo esperado.

Verifique se existem contratos semelhantes anteriores
Já existe um contrato que faz a mesma coisa? Se sim, o que é diferente no seu contrato inteligente?

Nomenclatura
Escolha um nome claro e significativo para o seu contrato inteligente. Mantenha-o curto e simples, e tente usar o nome para transmitir o que o contrato faz.

Revisão de código por pares
Os benefícios da revisão de código são bem conhecidos; código revisado leva à consistência em todo o projeto, livre de defeitos e otimizado para desempenho. O conhecimento do código é compartilhado entre os desenvolvedores, reduzindo o tempo e o custo de manutenção no futuro. Para contratos inteligentes, a correção é absolutamente crucial.

Testando em um testnet
Você sempre deve testar seus contratos inteligentes em um ambiente de testnet antes de executá-los na mainnet. Escreva tantos cenários de teste quanto puder e execute várias iterações de seus testes. Para configurar um Alonzo testnet veja exemplos de scripts aqui.

Documentando casos de teste
Mantenha uma lista dos casos de teste que você executa para que você tenha eles para referência e propósitos de verificação.

Considere a Verificação Formal
O assunto da verificação formal é grande demais para ser adequadamente coberto aqui. Você pode assumir que seu código será executado em um ambiente hostil onde atores altamente qualificados, bem financiados e inescrupulosos estarão à espera para se aproveitar de qualquer vulnerabilidade.