Até agora, estamos derivando interfaces: SDKs em quatro idiomas
(TypeScript, Python, C#e OCAML), uma interface da Web que é
essencialmente um DAPP gratuito básico, configurações pré-construídas para dois
Indexadores de blockchain.Este é apenas o começo desta jornada, mas já é muito
Emocionante: hoje, apresentamos os comandos de análise e fios de
Factori, e nesta ocasião, lançamos a versão 0.6.Se
Você escreveu seu contrato em Ligo, Smartpy, Archetype, Scaml ou qualquer
Outra linguagem de alto nível não importa.Além disso, lembre -se disso
Functori fornece contrato inteligente meticuloso
auditorias
com base em anos de experiência em desenvolvimento e revisão de contratos inteligentes,
Desenvolvimento do núcleo da Tezos, por nossos engenheiros com doutorado em métodos formais.O contrato tem três pontos de entrada:
Adicione, substitua e reinicie.
Fonte: https://www.functori.com/blog/blog-factori-analysis-secure-and-enhance-smart-contracts.html
