https://www.diariobitcoin.com/noticias/microsoft-anuncia-el-lanzamiento-de-verisol-un-sistema-de-verificacion-para-contratos-inteligentes-en-ethereum/