BLOCKCHAIN
Roketlerden Blockchain Teknolojisine Elrond!
Elrond, yeni ortaklığını duyurdu!

Bildiğiniz gibi blockchain teknolojisi, finans, iş ve yönetimin geleceği için en iyi doğrulanabilir hesaplama platformudur.
Bu multi-trilyon $’lık fırsat, ancak karmaşık süreçlerin blockchain üzerinde hareket etmesi güvenli hale geldiğinde tam olarak ortaya çıkacaktır. Ethereum DAO forku ile başlayan durumlar, günümüzde sıkça görülen DeFi istismarları, hataların ve yetersiz testlerin akıllı sözleşme tabanlı süreçler için yüksek bir risk oluşturduğunu gösteriyor.
Elrond’un sorduğu soru ise, tasarım gereği doğruluğu ve güvenliği sağlayan bir gelişim sürecinin oluşturulup oluşturulamayacağı.
Runtime Verification, tasarım aşamasında, ince hataları ve mantık kusurlarını ortadan kaldırabilir, gereksinimler ve spesifikasyonlar arasındaki uygunluğu kanıtlanabilir bir şekilde gösterebilir ve tasarım gereği güvenli bir geliştirme süreci sağlayabilir.
Tüm bunlarla beraber, Elrond geliştirmiş araç setini K Framework tabanlı bir dizi resmi araç ile tamamlamak adına Runtime Verification ile beraber çalışacaklarını duyurdu.
Elrond’un CEO’su Beniamin Mincu, konu hakkında şunları söyledi:
Birbirinin üzerine yerleştirilen resmi ve doğrulanmış akıllı sözleşmeler, etkili bi DeFi yığını oluşturabilir. Elrond, geliştiricilerini en başından bu tür araçlar ile güçlendirerek, güvenlik için daha iyi standartlar oluşturacak.
Roketler ve Blockchain Teknolojisi
Elde ettiğimiz bilgilere göre K Framework’e, roketlere ve uzay araçlarına özgü güvenlik hizmeti veren bir NASA partneri olarak görev yaptığı süre boyunca, Grigore Rosu tarafından öncülük edildi. O günden bu güne Rosu, Runtime Verification için, roket bilimi araçlarını blockchain geliştiricileri tarafından kullanılabilir hale getirmek için ekibi ile çalışmalara devam ediyor.
Bu işbirliğinin amacı ise, geliştiricilerin kodlarını daha iyi yazmalarına, test kodu kapmasını tespit etmelerine, artırmalarına ve nihayetinde sembolik yürütme işlevlerine ve hatta Elrond akıllı sözleşmelerini resmi olarak doğrulamalarına olanak sağlayacak bir araç seti oluşturmak.
Runtime Verification’un kurucusu ve CEO’su Grigore Rosu, konu hakkında şunları söyledi:
Elrond’un iş ruhu gerçekten etkileyici. Yüksek hızda ilerlerken karmaşık sorunlara dahice çözümler bulmaya devam ediyorlar. İnternet ölçeğindei blockchainlere biçimsel olarak araç eklemek, benimseme kısmı için önemli ve gerekli bir adım olarak görünüyor. Ekibimiz ile işbirliği yapmaları ve bunu görebilmek harika.
Daha fazla Blockchain Haberleri için: Blockchain Haberleri
Telegram kanalımıza katılmak isterseniz buraya tıklayabilirsiniz.

Elrond ve Binance Smart Chain DeFi İçin Güçlerini Birleştiriyor!

JPM Stratejistine Göre, Bitcoin Riskli Bir Yatırım Aracı!

Dijital Yuan’ın Üçüncü Airdrop’u Geliyor! Bölge Genişliyor!

SEC (Securities and Exchange Commission) Nedir?

Bitcoin Fiyat Analizi 25.01.2021

Grayscale’den 1 Milyon Dolarlık Bağış!

Nasdaq’ta Listelenen Şirket, 150 Milyon Dolarlık Bitcoin Alımı Yaptı!

Ethereum Fiyat Analizi 11.01.2021

XRP Yatırımcılarının Son Umudu Beyaz Saray!

XRP’ye Bir Darbe Daha!

Ripple Davası Ve Gelişmeler! Ripple’ı Neler Bekliyor?

Avrupa Merkez Bankası Başkanı Bitcoin Hakkında Açıklama Yaptı!

Ripple Masaya Oturdu! Yeni Anlaşma!
