Microsoft’un Azure Blockchain grubu, 03 haziran tarihinde ‘’Araştırma grubu, Azure Blockchain akıllı sözleşmelerini resmi olarak onaylamak ve güvende tutmak için çalışmalarına devam ediyor’’ adı altında blog yazısı paylaştı. Microsoft’un bu hamlesine kanıt olarak veri sağlığı ve programlama bazında geliştirilmeye başlanan Ethereum akıllı sözleşmesini onaylayan ve aynı zamanda analizlerini yapan VeriSol adında yepyeni bir araçla karşımıza çıktı.
Bu blog yazısına göre ekip, akıllı sözleşmelerde bulunan güvenlik problemlerini çok fazla ciddiye aldığını