Son devirde blok zinciri konusundaki yatırımlarını arttıran ve Azure bulut altyapısına uyumlu bir uygulama geliştirme servisi ekleyen Microsoft artık de topluluğa yönelik bir adım atıyor.
VeriSol neler sunuyor?
Yapılan açıklamaya nazaran Azure blok zinciri servislerine Ethereum akıllı mukavelelerinin doğrulanabilmesi için özel bir araç eklendi. VeriSol adındaki araç blok zinciri geliştiricilerinin işini kolaylaştırmayı amaçlıyor.
Ethereum bilindiği üzere akıllı kontratlara yer vermesi ile öne çıkmış ve ilgi görmüştü. Sayısız kripto para projesi Ethereum kontratları üzerinde hayata geçirildi ve başarılı oldu. Bununla birlikte akıllı mukavelelerin güvenlik açısından doğrulanması kural.
VeriSol aracı Solidity programlama lisanı ile yazılmış akıllı mukaveleleri doğrulama ve tahlil etme maksadı taşıyor. Olağanda geliştiricilerin matematiksel mantık motorları kullanarak mukaveleleri doğrulaması gerekiyor ve bu da eğitim süreçleri gerektirdiği için muhakkak bir maliyet çıkarıyor.
VeriSol ortadaki eğitim ve pratik gerekliliğini eleyerek maliyetleri ortadan kaldırmayı planlıyor. Araç Azure üzerindeki akıllı kontratlarda test ediliyor ve başarılı sonuçlar alıyor. Microsoft aracını açık kaynak hale getirerek ana akım kontratlara de sunmayı planlıyor.
