Philip DiSarro, Aiken’in CIP-113 Uygulamasında İki Kritik Kusur Bildirdi

Philip DiSarro, Anastasia Labs’ın kurucusu ve CEO’su ile CIP-143’ün yazarı, 24 Temmuz’da Cardano’nun CIP-113 programlanabilir token çerçevesinin Aiken uygulamasını incelerken iki kritik güvenlik açığı tespit ettiğini söyledi. Aynı ileti dizisinde, Aiken kod tabanını DiSarro ve Input Output ekibi tarafından geliştirilen özgün Plutarch uygulamasıyla karşılaştıran güncellenmiş kıyaslamaları yayımladı. Bu açıklama, CIP-113’ün Last Check aşamasında kaldığı ve uygulamanın güvenlik incelemesinden geçmeye devam ettiği sırada geldi.

Plutarch, CIP-113 Kıyaslamalarının Genelinde Daha Düşük Maliyetler Kaydetti

Yayımlanan kıyaslama dosyası, iki uygulamayı Cardano’nun işlem başına en fazla 10 milyar CPU birimi ve 14 milyon bellek birimi bütçesi altında karşılaştırıyor. Hem Aiken hem de Plutarch, sonunda Cardano düğümleri tarafından çalıştırılan kod olan Untyped Plutus Core’a derleniyor.

Plutarch, öne çıkarılan beş senaryonun her birinde toplam CPU ve bellek tüketiminde daha düşük değerler kaydetti.

Standart transfer testinde Aiken, Plutarch’a kıyasla 1,19 kat daha fazla CPU ve 1,17 kat daha fazla bellek kullandı. Gösterilen senaryolar arasındaki en büyük fark, bir haciz eylemini, harici bir betiği ve 50 genel anahtar girdisini birleştiren testte ortaya çıktı, burada Aiken 3,23 kat daha fazla CPU ve 2,36 kat daha fazla bellek tüketti.

Her iki uygulama da 16 takaslı $NIGHT DEX testinde Cardano’nun işlem sınırları içinde kaldı. Plutarch, kullanılabilir CPU bütçesinin yüzde 6,66’sını ve bellek bütçesinin yüzde 11,68’ini kullandı, Aiken’de bu oranlar sırasıyla yüzde 7,59 ve yüzde 15,25 oldu.

DiSarro’nun paylaşımı, tek bir işleme kaç öğenin sığabileceğine dair doğrusal kestirimler de içeriyordu. Tahminler, Aiken için 162’ye karşılık Plutarch için 658 girdi, 334’e karşılık 472 çıktı, 1.661’e karşılık 36.489 token ve 160’a karşılık 527 politika olarak yer aldı. Bu rakamlar, ölçülen ana ağ verimi değil, test edilen yürütme maliyetlerinden türetilmiş betik kapasitesi öngörüleridir.

Derlenmiş betik karşılaştırması, yedi kategorinin altısında daha küçük Plutarch betikleri üretti. directoryNodeSpending betiği Plutarch’ta 331 bayt, Aiken’de 1.698 bayt ölçüldü. İstisna, Aiken’in 3.157 baytlık bir betik ürettiği, Plutarch’ın ise 3.437 bayt olduğu programmableLogicGlobal idi.

CIP-113, Cardano Yerel Varlıklarına Programlanabilir Kurallar Ekliyor

CIP-113, defter değişikliği ya da hard fork gerektirmeden Cardano yerel varlıklarına programlanabilir doğrulama kuralları eklemek için bir çerçeve öneriyor. İhraççılar, token transferleri, basım ve yakım sırasında çalışacak koşulları tanımlayabilir.

Kurallar, izin listeleri, engelleme listeleri, transfer kısıtlamaları, zaman kilitleri ve isteğe bağlı dondurma ya da haciz işlevlerini içerebilir. Çerçeve, mülkiyet ve hareket üzerinde kontrol gerektiren stablecoin’ler, tokenleştirilmiş menkul kıymetler ve gerçek dünya varlıkları için tasarlanmıştır.

Önerilen mimaride programlanabilir token’lar, paylaşılan bir akıllı sözleşme adresinde tutulur, mülkiyet ise stake kimlik bilgileriyle temsil edilir. Zincir üzerindeki bir kayıt, her token politikasını aktarım kuralları, ihraç mantığı ve yetkili üçüncü taraf kontrolleriyle ilişkilendirir.

Cüzdanların, bakiyeleri doğru görüntülemek için stake kimlik bilgilerini çözümlemesi gerekecek. Merkeziyetsiz borsalar, indeksleyiciler, gezginler ve diğer uygulamalar da kullanıcıların mevcut Cardano altyapısı üzerinden programlanabilir token’larla etkileşim kurabilmesi için ek doğrulama sürecini desteklemek zorunda olacak.

Aiken ve Plutarch, aynı zincir üzeri kod biçimine derlenirken farklı geliştirme yaklaşımları sunar. Cardano’nun geliştirici belgeleri, Aiken’i tümleşik testler ve amaca yönelik bir sözdizimiyle erişilebilir bir başlangıç noktası olarak sunar. Plutarch, geliştiricilere üretilen kod ve yürütme maliyetleri üzerinde daha ayrıntılı denetim sağlayan Haskell tabanlı gömülü bir dildir.

DiSarro, CIP-143, Interoperable Programmable Tokens belgesini kaleme aldı ve özgün Plutarch başvuru uygulaması üzerinde Input Output ekibiyle çalıştı. Cardano Foundation deposu, mevcut Aiken doğrulayıcılarının bu uygulamadan taşındığını ve daha geniş CIP-113 çerçevesine uyacak şekilde uyarlandığını belirtiyor.

Özgün mimari ve kod tabanına doğrudan katılımı, yeni kıyaslama karşılaştırmasını projenin geliştirme geçmişi içine yerleştiriyor. CIP-143, aday CIP-113’e dahil edildikten sonra artık etkin değil olarak işaretlendi, bu belge CIP editörlerinin Last Check inceleme aşamasında kalmayı sürdürüyor.

Bildirilen İki Güvenlik Açığı Teknik Açıklamayı Bekliyor

DiSarro, Aiken uygulamasına yönelik incelemesinin denetim sürecinde gözden kaçan iki kritik güvenlik açığını ortaya çıkardığını söyledi. İleti dizisi, etkilenen kodu, olası saldırı yollarını, potansiyel etkiyi ya da giderim durumunu belirtmedi.

Depo, başlangıç denetiminden kamuya açık bulguları, kritik olarak etiketlenmiş ve kapatılmış iki konu dahil olmak üzere, zaten içeriyor. Konu 56, üçüncü taraf bir işlem sırasında yeni basılan token’ların programlanabilir gözetimden kaçabileceği bir yolu tanımladı. Konu 64 ise aynı idari işlev aracılığıyla ilgisiz UTxO’ların olası kirlenmesini ele aldı.

Bu bulgular başlangıç denetimi sırasında rapor edildi ve ek teknik açıklama olmadan, DiSarro’nun sonradan bulduğunu bildirdiği iki güvenlik açığıyla özdeşleştirilemez.

Güvenlik endişeleri, CIP-113 inceleme tartışması içinde de dile getirildi. Bir katkıcı, 20 Temmuz’da birden fazla yüksek önem dereceli güvenlik açığının gözden kaçtığını ve önerilen kimi kullanılabilirlik değişikliklerinin ek güvenlik sorunları getirdiğini söyledi. Bunu izleyen CIP incelemesinde katılımcılar, teklif Last Check aşamasında kalırken bir sonraki adımın daha kapsamlı bir denetimi içermesi gerektiği konusunda uzlaştı.

Cardano Foundation deposu, başlangıç denetimi ile onu izleyen yeniden denetimin bulgularının ana dalda giderildiğini belirtiyor. Ancak nihai denetim raporu yayımlanmış değil ve depo, rapor tamamlanana, daha geniş kapsamlı testler ile ilave uzman incelemeleri yapılana dek uygulamayı gerçek varlıklarla üretim kullanımı için uygun olmayan olarak tanımlıyor.

CIP-113 uygulaması gerçek varlık dağıtımlarına ilerleyebilmeden önce, üç somut çıktı beklemede duruyor, nihai denetim raporunun yayımlanması, DiSarro’nun bildirdiği iki güvenlik açığının açıklanıp giderilmesi ve CIP sürecinde talep edilen daha geniş güvenlik incelemesinin tamamlanması. Bu çıktılar, teklif birleştirilmeden ve uygulama üretim kullanımı için değerlendirilmeden önce hangi kod ve şartname değişikliklerinin dahil edileceğini belirleyecek.