Blockchain güvenlik şirketi CertiK, akıllı sözleşme odaklı programlama dili DeepSEA'nin demo sürümünü ve dil referans kılavuzunu yayınladı.
Hem CertiK hem de ilgili Ar-Ge projeleri, Binance Labs, Ethereum Vakfı ve Qtum gibi isimlerden yatırım aldı. Şirket, yeni kılavuz ile ilgili detayları 21 Şubat'ta Cointelegraph ile paylaştı.
Bu hafta yayınlanan DeepSEA demo'su ve dil referans kılavuzu, geliştiricilere dilin tasarımına ilişkin kapsamlı ve uygulamalı bilgi vermeyi amaçlıyor.
Amaca uygun bir dil
İşlevsel bir akıllı sözleşme programlama dili olan DeepSEA, Certik'in kurucu ortağı ve Yale Üniversitesi bilgisayar bilimi bölüm başkanı Zhong Shao'nun araştırma laboratuarında, Columbia Üniversitesi bilgisayar bilimi öğretim görevlisi Ronghui Gu ile birlikte oluşturuldu.
Aslen sistem yazılımının uygulanması için tasarlanan DeepSEA'nin geliştirileri, daha sonra odaklarını dilin resmi doğrulama ve akıllı sözleşme ve blockchain protokollerinin denetimi için kullanımına çevirdi.
Geliştiriciler, olası akıllı sözleşme zafiyetleriyle ilişkili yüksek risklere karşı korunmada gerekli resmi doğrulama süreçleri için mevcut dillerin uygun olmadığını ileri sürdü.
Riskler, akıllı sözleşmelerin kendi kendine uygulayan ve değiştirilemez karakteriyle ilişkili ve Gu, DeepSEA'nin geçmişte Nasa'nın Mars aracı gibi kritik donanım sistemlerinde uygulandığına dikkat çekti.
Araştırmacılar, Solidity ve Move gibi dilleri eleştirerek DeepSEA'nin önemli ölçüde daha güvenli ve amaca uygun olduğunu iddia etti. DeepSEA, resmi doğrulamayı kullanarak blockchain altyapısının hatasız ve siber saldırıya dayanıklı olduğundan emin oluyor.
Şirket, Kasım ayında beta sürümünü başlattığı CertiK Chain Mainnet 1.0'ı önümüzdeki aylarda piyasaya sürmeyi planlıyor. Mainnet, Ethereum ve Cosmos ağı ile tamamen birlikte çalışacak ve mevcut Solidity akıllı sözleşmeleri hatasız çalışacak.
Gu, geliştiricilerin DeepSEA'yi önümüzdeki aylarda CertiK Chain'e entegre etmeyi planladığını söyledi.
Güney Koreli dev kripto borsa Coinone, CertiK ile projeleri denetlemek ve kod güvenliği istismarlarına karşı engelleyici önlemler almak için iş birliği yaptı.