Cardano Plutus Teklifi Daha Düşük Betik Yürütme Ek Yükünü Hedefliyor

Cardano'nun Plutus geliştirme hattı, akıllı sözleşmelerin defter verisini nasıl işlediğine odaklanan iki teklifi ekledi. CIP-0194, UPLC için yerleşik desen eşleştirme getirirken CIP-0195, ScriptContext ve TxInfo gibi Plutus V4 türlerinin Data olarak nasıl kodlanması gerektiğini belirtiyor. Her ikisi de hâlâ inceleme aşamasında.

CIP-0194'ın halihazırda çalışan bir uygulama prototipi var, erken yerel kıyaslamalar birkaç veri erişim deseninde önemli ölçüde daha düşük CEK yürütme süresi gösteriyor. Ölçümler zincir üstü yürütme birimlerine göre kalibre edilmedi ve üretim maliyet parametreleri henüz kesinleşmedi.

CIP-0194 Plutus Core'a Desen Eşleştirme Ekliyor

Cardano akıllı sözleşmeleri, ScriptContext içindeki işlem bilgileri de dahil olmak üzere yapılandırılmış Data'yı sık sık inceler. Mevcut UPLC programları bu yapıları unConstrData, chooseData gibi işlevler ve liste işlemleriyle ayrıştırabilir, her adım CEK değerlendiricisi içinde ek iş yükü ekler.

CIP-0194, iç içe değerleri doğrudan inceleyebilen ve bir betiğin gerektirdiği alanları yalnızca yakalayan yeni bir Match işlemi öneriyor. Tamsayılar, bayt dizileri, listeler, çiftler ve yapılandırılmış Data'yı kapsar, mevcut Case mekanizması daha basit işlemler için kullanılabilir olmaya devam eder.

Değişiklik, daha karmaşık DeFi, alım satım ve borç verme mantığı dahil olmak üzere işlem bağlamını tekrar tekrar inceleyen doğrulayıcıları öncelikle hedefliyor.

Plutus kod tabanında zaten çalışan bir prototip bulunuyor. Üretim kullanımı için yine de uyumluluk testleri, kalibre edilmiş maliyet parametreleri, defter desteği ve bir Cardano düğüm sürümü gerekecek.

Erken Kıyaslamalar Daha Düşük CEK Yürütme Süresi Gösteriyor

CIP, Match ile Data'yı ayrıştırmaya yönelik mevcut yöntemleri karşılaştıran yerel kıyaslamaları içeriyor.

Tek bir derinlemesine iç içe değeri alırken, ölçülen CEK yürütmesi test edilen senaryolarda 6.38 ile 13.74 kat daha hızlıydı. 64 iç içe Data katmanı içeren bir testte Match ile 2.297 mikrosaniye kaydedildi, mevcut yaklaşımda ise 31.068 mikrosaniye ölçüldü.

Betikler birden fazla değeri yakaladığında performans farkı daralıyor, test edilen iyileştirmeler yapıya ve temel yönteme bağlı olarak yaklaşık 1.67 ile 6.10 kat arasında değişiyor.

Bu rakamlar nihai Cardano yürütme birimleri yerine yerel CEK duvar saati performansını ölçüyor. Maliyet modeli kalibre edilmemiş durumda. Teklifteki ön CPU ve bellek bütçeleri farklı iş yüklerinde yüzde 10 ile yüzde 90 arasında iyileşti, tipik betik bağlamı senaryoları ise başlangıç parametreleri altında yaklaşık yüzde 40 ile yüzde 60 iyileşme gösterdi.

Teklif, Match'i Plutus Core dil sürümü 1.2.0'a atıyor, bu da betiklerin ana ağda bunu kullanabilmesinden önce defter desteği ve Cardano'nun sert çatallanma süreci aracılığıyla etkinleştirme gerektirir.

CIP-0195 Plutus V4 Data Modelini Tanımlıyor

CIP-0195, Plutus yığınının diğer tarafını ele alarak Plutus V4 defter API türlerinin Data olarak nasıl temsil edilmesi gerektiğini belirtir.

Teklif, genişletilmiş bir TxInfo dahil olmak üzere V4 ScriptContext ve ilgili yapıları kapsar. Daha önceki Plutus sürümlerinde kullanılan, geliştiricilerin ve alternatif araçların sıklıkla özel bir belirtim yerine uygulama kodundan kodlama davranışını çıkarmak zorunda kaldığı daha gayriresmi yaklaşımın yerini alır.

Önerilen V4 tasarımı, veri türü kodlaması için listeleri kullanmaya devam ediyor. CIP-0195, daha yeni UPLC işlemlerinin liste erişimini verimli hale getirdiğini, daha geniş dizi tabanlı bir modelin gerektireceği ek kurucular ve defter entegrasyonundan kaçınıldığını savunuyor.

CIP-0194 ve CIP-0195 bağımsız olarak ilerleyebilir, ancak birlikte bir sonraki Plutus neslinin defter verisini nasıl yapılandırdığı ve eriştiğini ele alırlar. Benimsendiği takdirde CIP-0195, Plutus V4'ün bu veriyi nasıl sunduğunu standartlaştırır, CIP-0194 ise doğrulayıcılara onu incelemek için daha düşük ek yüklü bir yol sağlar. Her ikisi de Cardano ana ağına ulaşmadan önce belirtim onayı, kalibre edilmiş maliyet modelleri ve defter entegrasyonu gerektirir.