Microsoft annuncia VeriSol su base Ethereum

Microsoft annuncia VeriSol su base Ethereum

Giugno 5, 2019 0 Di Stefano Romoli

Microsoft ha annunciato lo sviluppo di contratti intelligenti su Ethereum per il linguaggio di programmazione Solidity, basato su VeriSol.

Microsoft annuncia VeriSol

Annunciato sul blog di Microsoft, lo strumento si chiamerà VeriSol-Verifier for Solidity. VeriSol consentirà agli sviluppatori di scrivere specifiche per i loro contratti utilizzando un linguaggio intermedio che può essere testato utilizzando un meccanismo di logica matematica.

The Microsoft blog states that “the VeriSol team used the verifier to formalize and check specifications of the smart contracts that govern consortium members in Ethereum on Azure and Azure Blockchain Service.”

VeriSol è attualmente un prototipo ma il team mira a coprire la maggior parte delle applicazioni aziendali di contratti intelligenti.

VeriSol integrerà il kit di sviluppo e workbench per blockchain di Azure di Microsoft, che offre modelli di sviluppo e integrazioni per servizi Azure comuni come la gestione delle chiavi e l’identità.