Contratos inteligentes Michelson para Tezos

Eu desenvolvo e verifico contratos inteligentes para a blockchain Tezos em todos os níveis da pilha. Michelson é uma linguagem de pilha de baixo nível que a máquina virtual Tezos realmente executa, e é projetada para ser adequada à verificação formal. Eu escrevo contratos diretamente em Michelson quando é necessário controle preciso sobre gás, armazenamento e operações de pilha, e uso linguagens de nível superior LIGO e SmartPy quando um caminho mais rápido e legível para o mesmo bytecode é mais importante. De qualquer ponto de partida, eu leio e analiso o Michelson compilado para que você saiba exatamente o que entra na rede.

O que você recebe: um contrato funcional com um esquema de armazenamento bem pensado e pontos de entrada; padrões de token FA2 e FA1.2 corretamente implementados; testes modulares e de propriedade; revisão de custos de gás e armazenamento; um relatório com uma análise de cada ponto de entrada, ramo de falha e verificação de permissão. Eu testo no sandbox e no Ghostnet antes do lançamento da mainnet e documento os passos de origem e atualização para que sua equipe possa reimplantar sem mim.

Eu também audito contratos prontos: eu construo um mapa de armazenamento, rastreio cada ponto de entrada, procuro reentrância, estouro de inteiro, controle de acesso quebrado e chamadas externas inseguras, e forneço uma lista priorizada de descobertas com correções. Envie-me uma especificação ou código atual — eu responderei com o escopo do trabalho, um preço fixo e um cronograma.