Microsoft dezvoltă VeriSol pentru verificarea smart contracts Ethereum

[newshunter]

Microsoft dezvoltă VeriSol pentru verificarea smart contracts Ethereum

Compania Microsoft a anunțat că dezvoltă un instrument open source dedicat verificării contractelor Ethereum. Denumit VeriSol – Verificator al Solidity – instrumentul are rolul de a testa funcționalitatea smart contracts.

Solidity este principalul limbaj de programare pentru smart contracts Ethereum. VeriSol va permite dezvoltatorilor să scrie specificații pentru contractele smart utilizând un limbaj intermediar care poate fi testat folosind mecanisme logice matematice.

Parteneriat cu Azure

Prototipul VeriSol este dezvoltat în partneneriat cu Azure Blockchain și grupul Microsoft Research. Echipa își propune să acopere cât mai curând posibil toate posibilele …

Post-ul Microsoft dezvoltă VeriSol pentru verificarea smart contracts Ethereum apare prima dată în Goana dupa Bitcoin.

Source: Microsoft dezvoltă VeriSol pentru verificarea smart contracts Ethereum