A Microsoft lança nova ferramenta para verificar contratos inteligentes Ethereum

A Microsoft lança nova ferramenta para verificar contratos inteligentes Ethereum. A Microsoft lançou uma nova ferramenta de código aberto que permitirá a verificação e análise de contratos inteligentes escritos na popular linguagem de programação Solidity que é comumente usada na cadeia de blocos Ethereum.
A nova ferramenta é chamada VeriSol - abreviação para Verifier for Solidity - e permite aos desenvolvedores expressar os “comportamentos desejáveis de contratos inteligentes escritos em um subconjunto da popular linguagem Solidity” e, em seguida, usar “maquinaria lógica matemática” para verificar uma especificação em relação a uma determinada implementação de contrato inteligente.
VeriSol também foi incorporada ao pipeline de integração contínua do Azure Blockchain para desenvolvimento de contratos inteligentes.
Engenheiro de software sênior na equipe do Azure Blockchain Cody Born disse: “VeriSol nos permite iterar mais rapidamente devido à verificação automática e contínua, e nos permite capturar bugs mais rapidamente sem ter que nos preocupar com potencialmente afetar os clientes”.
Incentivar a colaboração de código aberto
Embora a VeriSol ainda seja um protótipo impulsionado principalmente até agora por contratos inteligentes no Azure, os pesquisadores têm objetivos elevados para a ferramenta de verificação, dizendo que eles estão procurando “incentivar a colaboração aberta para ajudar a trazer avanços na verificação formal para o desenvolvimento de contratos inteligentes mainstream”.
O pesquisador principal da Microsoft Shuvendu Lahiri concluiu: “Nós imaginamos capacitar não apenas os desenvolvedores e clientes do Azure Blockchain, mas contribuindo para um ecossistema de blockchain completo que é mais seguro e ajudando as pessoas a perceberem todo o potencial da tecnologia sem sermos atormentados pelos erros caros em smart contratos.”
Para mais notícias, análises técnicas e guias de criptografia, clique aqui.