Microsoft rilascia un nuovo strumento per verificare i contratti intelligenti di Ethereum

Microsoft rilascia un nuovo strumento per verificare i contratti intelligenti di Ethereum. Microsoft ha rilasciato un nuovo strumento open source che consentirà la verifica e l'analisi di contratti intelligenti scritti nel popolare linguaggio di programmazione Solidity comunemente usato sulla blockchain di Ethereum.
Il nuovo strumento si chiama VeriSol - abbreviazione di Verifier for Solidity - e consente agli sviluppatori di esprimere i “comportamenti desiderabili dei contratti intelligenti scritti in un sottoinsieme del popolare linguaggio Solidity” e quindi utilizzare “macchine logiche matematiche” per verificare una specifica rispetto a una data implementazione di contratto intelligente.
VeriSol è stato anche incorporato nella pipeline di integrazione continua di Azure Blockchain per lo sviluppo di contratti intelligenti.
L'ingegnere software senior del team di Azure Blockchain Cody Born ha dichiarato: “VeriSol ci consente di iterare più rapidamente a causa del controllo automatico e continuo e ci consente di catturare i bug più velocemente senza doversi preoccupare di influenzare potenzialmente i clienti”.
Incoraggiare la collaborazione open source
Sebbene VeriSol sia ancora un prototipo guidato finora principalmente da contratti intelligenti in Azure, i ricercatori hanno obiettivi importanti per lo strumento di verifica, affermando che stanno cercando di “incoraggiare la collaborazione aperta per contribuire a portare progressi nella verifica formale allo sviluppo di contratti intelligenti mainstream”.
Il ricercatore principale Microsoft Shuvendu Lahiri ha concluso: “Prevediamo di potenziare non solo gli sviluppatori e i clienti di Azure Blockchain, ma contribuendo a un ecosistema blockchain completo che sia più sicuro e aiutando le persone a realizzare il pieno potenziale della tecnologia senza essere afflitti dai costosi errori in smart contratti.”
Per ulteriori notizie, analisi tecnica e guide di criptovaluta, clicca qui.