Microsoft și IBM lansează noi instrumente blockchain

IBM a anunțat că platforma sa Blockchain va fi capabilă să ruleze pe mai multe rețele de cloud. Printre acestea se numără Microsoft Azure, Amazon Web Services (AWS) și servicii cloud precum LinuxOne.

De asemenea, IMB a adăugat sprijin pentru platforma de administrare și implementare a aplicațiilor Kubernetes. Gigantul de tehnologie Microsoft va lansa o serie de instrumente bazate pe blockchain pe platformele PowerApps și Microsoft Flow.

De asemenea, a dezvoltat 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.