Cardano’nun Yeni Akıllı Sözleşme Kütüphanesi Orijinal Hedefini Aştı

Cardano’nun ContractsLibrary girişimi, orijinal hedefi olan beş yerine altı yeniden kullanılabilir akıllı sözleşme hazırladı. AlwaysTrue’da Geliştirici Deneyimi girişimine liderlik eden Robertino Martinez, ilerlemeyi Cardano’nun Çekirdek Geliştirmesinin Merkezsizleştirilmesi başlıklı X Space tartışması sırasında açıkladı.

Kütüphane, geliştiricilere yaygın işlevleri sıfırdan inşa etmelerini gerektirmek yerine, doğrudan entegre edilebilir akıllı sözleşme bileşenleri sunmayı hedefliyor. Ethereum ekosistemindeki OpenZeppelin yaklaşımından esinlenen proje, zincir üstü kodu, işlem oluşturma araçlarını, teknik özellikleri ve biçimsel doğrulamayı bir araya getiriyor.

Altı sözleşme, nihai kod ve teknik özellik incelemesi aşamasına ulaştı. Martinez, güvenlik denetimlerinin tamamlanmadığının ve sözleşmelerin henüz Cardano ana ağına dağıtılmaması gerektiğinin altını çizdi.

Altı Sözleşme Halka Açık Teste Doğru İlerliyor

ContractsLibrary’nin başlangıçta beş yeniden kullanılabilir akıllı sözleşme sunması bekleniyordu. Martinez’e göre geliştirme ekibi altı sözleşme hazırladı ve daha geniş topluluk testlerinden önce son kalite kontrollerine başladı.

Girişim, yalıtık programlama fonksiyonları yerine eksiksiz ve uygulama odaklı bileşenlere odaklanıyor. Geliştiricilerin mevcut sözleşmeleri yapılandırabilmesi, kaynak kodlarını uyarlayabilmesi veya farklı uygulama gereksinimlerini karşılamak için bileşenleri birleştirebilmesi amaçlanıyor.

Kütüphane, Anastasia Labs’in çalışmaları da dahil olmak üzere Cardano içinde halihazırda yerleşik geliştirme kalıplarından yararlanıyor.

Martinez ayrıca yüksek güvence ekibinin biçimsel doğrulama çalışmalarına başladığını doğruladı. İlk odak, sözleşmeler arasında paylaşılan özellikler üzerinde, ardından tekil uygulamaların doğrulanması üzerinde.

Tamamlanan geliştirme çalışmaları ile üretime hazır olma durumu arasındaki ayrım önemini koruyor. Hazırlanan altı sözleşme, denetimleri tamamlanmış veya biçimsel olarak doğrulanmış altı sözleşmenin sınırsız kullanıma hazır olduğu anlamına gelmiyor.

Cardano için OpenZeppelin Esinli Bir Geliştirme Yığını

OpenZeppelin, Ethereum ve diğer EVM ekosistemlerinde yeniden kullanılabilir akıllı sözleşme bileşenleri için yaygın biçimde kullanılan bir kaynak haline geldi. ContractsLibrary, Cardano’nun genişletilmiş UTxO mimarisine uyarlanmış benzer bir geliştirme kaynağı sağlamayı hedefliyor.

Her bir uygulama, birbiriyle bağlantılı birkaç öğeyi birleştirecek şekilde tasarlanmıştır.

Zincir üstü bileşen, Cardano’nun defterinin uyguladığı kuralları tanımlamak için Aiken kullanır. MeshJS ve Tx3 desteği de dahil olmak üzere zincir dışı işlem oluşturucular, uygulamaların bu doğrulayıcılarla etkileşim için gereken işlemleri inşa etmesine yardımcı olur.

Teknik özellikler her sözleşmenin amaçlanan davranışını tanımlar, testler ve biçimsel doğrulama ise uygulamaların tanımlanan gereksinimleri karşılayıp karşılamadığını değerlendirmek için ek yollar sağlar.

Proje ayrıca seçili sözleşme özelliklerinin makineyle denetlenmiş ispatları için Lean 4 kullanıyor.

Bu bütünleşik yapı, Cardano geliştirmesindeki pratik bir sorunu ele alır: bir merkeziyetsiz uygulama inşa etmek çoğu zaman akıllı sözleşme doğrulamasını zincir dışı işlem oluşturma ile koordine etmeyi gerektirir.

Bağlantılı bileşenler sağlayarak ContractsLibrary, tekrarlayan geliştirme çalışmalarını azaltmayı ve yaygın sözleşme kalıplarını yeni uygulamalara entegre etmeyi kolaylaştırmayı amaçlıyor.

[NEWSBREAK]

Güvenlik İncelemeleri Son Gereklilik Olmayı Sürdürüyor

ContractsLibrary, Martinez’in süregelen liderliği altında Input Output’tan AlwaysTrue’ya geçen daha geniş Geliştirici Deneyimi girişiminin bir parçasıdır.

Girişim, geliştiricilerin birbirine bağlı Cardano geliştirme ortamları oluşturmalarına yardımcı olan cardano-init gibi diğer araçları da içerir.

ContractsLibrary için acil öncelikler, kod kalite kontrollerini tamamlama, uygulamaları test için erişilebilir kılma ve biçimsel doğrulamayı sürdürmedir.

Martinez, geliştiricilere ilk sürümü üretime hazır bir kütüphane olarak değil bir test fırsatı olarak görmelerini tavsiye etti. Ayrıca yaklaşan Dijkstra hard fork’unun, Cardano’nun geliştirme araçları yaklaşan protokol değişikliklerine uyum sağlarken temkin için ek bir neden olduğunu belirtti.

Proje, güvenlik denetimlerine hazırlanmış sözleşmeler ile gerekli incelemeleri tamamlayıp kararlı duruma ulaşmış olanları birbirinden ayırıyor.

Kamuya açık deposu kod ve geliştirme belgeleri sağlıyor, ancak mevcut materyaller altı sözleşmenin tamamının kararlı uygulamalar olarak yayımlandığını ortaya koymuyor.

Dolayısıyla Martinez’in güncellemesi somut bir geliştirme kilometre taşını ortaya koyuyor: ekip, başlangıçta planlanandan bir sözleşme daha fazla hazırladı. Halka açık testler, tekil doğrulamalar ve gerekli güvenlik incelemeleri, bu uygulamaların üretime hazır bileşenler olarak değerlendirilebilmesinden önce ayrı adımlar olarak duruyor.