Cardano Plutus Ekibi, Yeni Dijkstra İşlevleri için Maliyet Modellerini Tamamladı

Plutus ekibi, Cardano’nun Dijkstra dönemine yönelik geliştirilen yerleşik iki işlev olan keepPolicies ve dropPolicies için maliyet modellerini tamamladı. 4 Kasım güncellemesinde Software Engineering Lead Ziyang Liu, yeni testler, belirtim güncellemeleri ve derleyici düzeltmeleri de bildirdi.

Çalışma, akıllı sözleşmelerin token değerlerini nasıl işlediğini ve yürütme kaynaklarını nasıl hesaba kattığını kapsıyor. Bunlar Dijkstra hazırlığını destekleyen geliştirme değişiklikleridir; rapor, bunların Cardano ana ağında etkinleştirildiğini duyurmuyor.

Yeni İşlevler Tokenları Politikaya Göre Süzüyor

Bu iki işlev, Plutus akıllı sözleşmeleri içinde varlık miktarlarını temsil etmek için kullanılan veri türü BuiltinValue üzerindeki işlemleri genişleten bir öneri olan CIP-0168 kapsamındadır. Yerleşik işlevler, yürütme sistemi tarafından doğrudan desteklenen işlemler sağlar.

Cardano, yerel tokenları basım kurallarıyla ilişkili politika tanımlayıcıları altında gruplar. keepPolicies, seçili tanımlayıcılarla ilişkili bir değerin bölümlerini korur, dropPolicies ise bunları kaldırır. Birden çok token grubunu işleyen bir sözleşme, belirli bir denetime ilişkin varlıkları yalıtmak için bu işlevleri kullanabilir.

Birleştirilen değişiklikler, her iki işlev tarafından kabul edilen politika listesini 256 tanımlayıcı ile sınırlar. Tamamlanmış maliyet modelleri, yürütmenin CPU ve bellek birimleri cinsinden nasıl hesaplandığını tanımlar; bunlar bir akıllı sözleşmenin yürütme bütçesinin parçasını oluşturur.

Testler ve Derleyici Düzeltmeleri Program Davranışını Ele Alıyor

Ekip, yeni Value yerleşiklerine yönelik 65 uygunluk durumu ekledi. Bu testler, tanımlı girdiler için uygulamanın çıktısını beklenen sonuçla karşılaştırır. Yeni işlevler ve multiIndexArray ayrıca Plutus Core belirtiminde belgelendi ve davranışları için yazılı bir başvuru sağladı.

Ayrı bir düzeltme, yürütmeye bırakmak yerine derleme sırasında uygun ifadeleri hesaplayan bir iyileştirme olan constant folding konusunu ele alıyor. Etkilenen derleyici geçişleri, daha önce bazı ifadeleri hatalı biçimde başarısız olan hesaplamaları atacak şekilde basitleştirebiliyordu. Düzeltme, basitleştirme için gereken koşullar sağlanmadığında bu hesaplamaları korur.

Güncelleme ayrıca, işlemleri doğrularken betiklerin erişebildiği bilgileri tanımlayan Plutus V4 bağlam türlerinin derlenmesini düzeltiyor. Buna ek olarak lookupCoin ve valueContains için bellek modelleri mevcut maliyet modeli parametreleriyle hizalandı.

[NEWSBREAK]

Uygulama Sürerken Biçimsel Denetimler Genişliyor

Ekip, mevcut uygunluk paketinden Agda içinde tür denetimi testleri üreten bir araç tanıttı. Agda, biçimsel modelleri ifade etmek ve tutarlılıklarını denetlemek için kullanılan bir programlama dili ve ispat yardımcısıdır. Araç, uygulamada zaten kullanılan test durumlarının o biçimsel ortamda denetimleri desteklemesine olanak tanır.

Yeni yerleşikler, Plutus programları hakkında akıl yürütmek için kullanılan matematiksel tanım olan metateoriye de eklendi. Şu anda postülalar olarak görünüyorlar; bu da daha ileri uygulama çalışmaları sürerken modelin belirtilen davranışlarını varsaydığı anlamına gelir. Bir başka birleştirilen değişiklik, bir derleyici iyileştirmesinin program davranışını koruyup korumadığını denetleyen bir aracı genişletiyor.

Kalan işler arasında biçimsel modelde dizilerin ve bayt dizgilerinin uygulanması, ayrı bir derleyici iyileştirmenin sertifikasyonunun düzeltilmesi ve Plutus Core programlarını çalıştıran CEK makinesinin iyileştirilmesi yer alıyor. Bu maddeler 4 Kasım raporunda devam eden çalışmalar olarak listelenmeye devam ediyor.