Son dönemde blok zinciri konusundaki yatırımlarını arttıran ve Azure bulut altyapısına uyumlu bir uygulama geliştirme servisi ekleyen Microsoft şimdi de topluluğa yönelik bir adım atıyor.
VeriSol neler sunuyor?
Yapılan açıklamaya göre Azure blok zinciri servislerine Ethereum akıllı sözleşmelerinin 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ı sözleşmelere yer vermesi ile öne çıkmış ve ilgi görmüştü. Sayısız kripto para projesi Ethereum sözleşmeleri üzerinde hayata geçirildi ve başarılı oldu. Bununla birlikte akıllı sözleşmelerin güvenlik açısından doğrulanması şart.
VeriSol aracı Solidity programlama dili ile yazılmış akıllı sözleşmeleri doğrulama ve analiz etme amacı taşıyor. Normalde geliştiricilerin matematiksel mantık motorları kullanarak sözleşmeleri doğrulaması gerekiyor ve bu da eğitim süreçleri gerektirdiği için belirli bir maliyet çıkarıyor.
VeriSol aradaki eğitim ve pratik gerekliliğini eleyerek maliyetleri ortadan kaldırmayı planlıyor. Araç Azure üzerindeki akıllı sözleşmelerde test ediliyor ve başarılı sonuçlar alıyor. Microsoft aracını açık kaynak hale getirerek ana akım sözleşmelere de sunmayı planlıyor.
istediğiniz zaman (çevrim dışı bile) okuyabilirsiniz:
Efsane Türkiye’ye gelse alırım..
Başka reklamınız yokmu yav yıllardır aynı post
O ışık efektleri sadece yanlarda değil üstte de olmalıydı. Böylece tabancayı kullanan, kafasını yana eğmek zorunda kalıp, fıtık olmaz. Aynısını küçükken ışıklı ayakkabımda yaşamıştım oradan biliyorum. Ayakkabıma yan bakmaktan düz yürüyemiyordum. Hava atmaktan ziyade o havayı yaşamayı tercih ederim. 7 de olsam 70 de olsam kararım değişmeyecek.
Kaç aydır güne bu reklamla başlıyorum artık bağımlılık yaptı her gün bir toz alınca günümün anlamı oluyor (!)
zaten 40 saat çalışıyorum
Türkçe dil desteği yok ne kullandıüımızı bilmiyoruz
Mukemmel bir silah acaba ne kadar hızlı atıyor. [resim]
Fiyat makul olsa efsane olur gerçekten ya.
arkadaşlar fc24 gerçekten bedavaya veriliyor kaçırmayıınn
bu reklam daha ne kadar kalacak
30 yıldır bunu görüyoruz
@ccguven sizden daha istilacı olamazlar...
Vay bee, bu cihaz xiaomi çıktı ben de diyordum kim üretmiş..
hocam 4x daha iyi direk hs attirir
Über
Evet ama 6x scop daha iyi gider buna daha uzaktaki hedefler için. Gerektiğinde 3x'e de çekebilirsin falan :D
Muskun alev tabancası vs bu
İstilacı güvercinlere karşı iyi olur. 5 10 dk da bir sopayı alıp kovalamak yordu artık.
Yakında su atan F18 falanda yaparlar :)
Hazneye kezzaplı su doldurup nişan almak yapmayın böyle şeyler yahu...