Cardano, Plutus kapsam denetiminin kaldırılmasını öneriyor

Cardano teklifi CIP-0205, Plutus betiklerini yürütmeye hazırlamak için kullanılan adımlardan birini ortadan kaldıracak. Yazar Jacco Krijnen, tüm programı önceden kontrol etmek yerine bağlanmamış değişken hatalarını yürütme sırasında ele almayı öneriyor. 25 Eylül'de sunulan teklif hâlâ inceleniyor.

Plutus betiklerini hazırlamanın maliyeti

Bir betik yürütülmeden önce, bir düğüm değişkenlerinin program içinde doğru biçimde tanımlandığını kontrol eder. Kapsam denetimi olarak bilinen bu işlem, işlem doğrulamasının ikinci aşamasında gerçekleşir.

Teklifte atıf yapılan önceki kıyaslamalar, bu denetimin kod çözme ve sürüm denetimi de dahil olmak üzere betik hazırlama süresinin yaklaşık %20'sini oluşturduğunu buldu. Tam doğrulama kıyaslamalarında bu oran, toplam doğrulama süresinin yaklaşık %3'ünü temsil etti. Bu rakamlar, söz konusu test iş yüklerinde denetimin işlem süresindeki payını ölçüyor.

Onu kaldırmak, uygun betikler için işlem yükünü azaltacaktır. Teklife göre, bunun sonucunda işlem ücretlerinde bir azalma olursa bu, ücret parametrelerine yapılacak sonraki ayarlara bağlı olacaktır.

Plutus değişken hatalarını nasıl ele alacak

Plutus Core, Cardano üzerindeki akıllı sözleşme betiklerini yürütmek için kullanılan dildir. Yürütme motoru CEK makinesi, bağlı bir değer olmadan değişken kullanma girişimlerini zaten ele alıyor.

Teklifin inceleme tartışmasında geliştirici Seungheon Oh, CEK'in ön kapsam denetimine bağlı olmadığını belirtti. Bağlanmamış bir değişkeni değerlendirmeye çalışmak normal bir yürütme hatasıyla sonuçlanır.

Önerilen kurallar kapsamında, bağlanmamış bir değişken yalnızca hiç yürütülmeyen kodda görünüyorsa bir program başarılı olabilir. Kapsamı doğru belirlenmiş programlar aynı yürütme sonuçlarını koruyacaktır.

Teklif, Aiken, Plinth ve Plutarch dahil geliştirme dillerinin, betikler blockchain'e ulaşmadan önce tür denetleyicileri aracılığıyla değişken kapsamını zaten zorunlu kıldığını belirtiyor.

Yeni bir dil sürümü ve hard fork

Taslak, değişikliği Plutus Core dil sürümü 1.2.0'a bağlıyor ve bunun bir hard fork gerektireceğini öngörüyor. Uygulama, spesifikasyon, yürütme kodu, biçimsel model ve uygunluk testlerine yönelik güncellemeleri içerecek.

Teklife 29 Eylül'de CIP-0205 numarası verildi. CIP editörü Robert Phair, inceleme ilerlemeden önce çalışma grupları arasında daha geniş bir dolaşıma sunulmasını talep etti ve gerekçe olarak değişikliğin kapsamını gösterdi.

Mevcut taslağa göre, dil sürümleri 1.0.0 ve 1.1.0 kullanan mevcut betikler davranışlarını koruyacak. Aktivasyondan sonra, 1.2.0 sürümünü beyan eden yeni betikler ayrı bir ön kapsam denetimi olmadan yürütülebilecek.