Sobre o serviço
TraduzidoEu escrevo contratos inteligentes formalmente verificáveis em Pact para a blockchain Kadena que fazem exatamente o que sua lógica de negócios requer e nada mais. Pact é a linguagem legível por humanos da Kadena, e não é intencionalmente completa em Turing: isso por si só remove classes inteiras de vulnerabilidades que afligem outras redes — sem loops infinitos, gastos de gás descontrolados e surpresas de reentrância.
Além disso, eu uso a verificação formal embutida do Pact (modelos de propriedade e invariante) para provar matematicamente que o contrato preserva regras importantes para você: a oferta total não inflaciona, os fundos só se movem através de guardas autorizados, os saldos nunca ficam negativos.
O que você recebe: um módulo organizado com capacidades e guardas para controle de acesso, um conjunto completo de testes, propriedades verificadas por máquina e — uma vez que os contratos Pact são atualizáveis — um caminho seguro para implementar correções e novos recursos sem necessidade de reimplantação completa e sem migração do estado do usuário. Tarefas típicas: tokens fungíveis e não fungíveis, marketplaces, escrow e vesting, votação DAO, lógica arbitrária em cadeia.
Processo: nós juntos definimos as invariantes, eu implemento o módulo, provamos as propriedades, cobrimos com testes unitários em uma devnet local e entregamos código documentado, pronto para auditoria, com scripts de implantação para testnet e mainnet. Se você está migrando do Solidity, eu ajudarei a portar o design para o modelo mais seguro do Pact.
Além disso, eu uso a verificação formal embutida do Pact (modelos de propriedade e invariante) para provar matematicamente que o contrato preserva regras importantes para você: a oferta total não inflaciona, os fundos só se movem através de guardas autorizados, os saldos nunca ficam negativos.
O que você recebe: um módulo organizado com capacidades e guardas para controle de acesso, um conjunto completo de testes, propriedades verificadas por máquina e — uma vez que os contratos Pact são atualizáveis — um caminho seguro para implementar correções e novos recursos sem necessidade de reimplantação completa e sem migração do estado do usuário. Tarefas típicas: tokens fungíveis e não fungíveis, marketplaces, escrow e vesting, votação DAO, lógica arbitrária em cadeia.
Processo: nós juntos definimos as invariantes, eu implemento o módulo, provamos as propriedades, cobrimos com testes unitários em uma devnet local e entregamos código documentado, pronto para auditoria, com scripts de implantação para testnet e mainnet. Se você está migrando do Solidity, eu ajudarei a portar o design para o modelo mais seguro do Pact.
