UPLC Link Yayınlanmış Koda Karşı Cardano Sözleşmelerini Kontrol Ediyor

UPLC Link, Cardano kullanıcılarının dağıtılmış bir akıllı sözleşmenin onun için yayımlanan kaynak kodla eşleşip eşleşmediğini kontrol etmesine olanak tanır. Açık kaynaklı platform sözleşmeleri yeniden oluşturur ve kriptografik parmak izlerini karşılaştırır. Cexplorer aracılığıyla kullanıcılar inceledikleri bir betikle ilişkili depoya ve derleme bilgilerine erişebilir.

Cexplorer Cardano Betiklerini Kaynaklarıyla Bağlar

Cexplorer’ın “Verify Source” seçeneği sözleşme incelemesini UPLC Link ile ilişkilendirir ve kaynak deposuna, tam kod revizyonuna, derleyici sürümüne ve sözleşme parametrelerine erişim sağlar.

Cardano Foundation bünyesinde Kıdemli Blockchain Mimarı olan Giovanni Gargiulo, 25 Eylül tarihinde Developers Office Hours sırasında iş akışını gösterdi. 7 Ekim tarihinde yayımlanan bir oturum özeti, entegrasyonu ve derleyici desteğini genişletme planlarını belgeledi.

Araç, kodun yayımlanması ile zincir üstünde neyin çalıştığının belirlenmesi arasındaki boşluğu ele alır. Bir proje kaynağını yayımlayabilir ve bir denetim yaptırabilir, ancak kullanıcıların dağıtılan sözleşmenin incelenen sürüme karşılık geldiğini tespit edebilmesi için yine de bir yönteme ihtiyaç vardır.

ADA ve diğer Cardano varlıklarını işleyen uygulamalar için bu, incelemeye açık kuralları takasları, kredileri veya kilitli fonları yöneten betiklerle bağlar. Kaynak doğrulama bu bağlantıyı kurar; bir güvenlik denetimi ise kodu güvenlik açıkları açısından değerlendirir.

Sözleşmeleri Yeniden Oluşturmak Denetlenebilir Bir Eşleşme Üretir

Cardano akıllı sözleşmeleri derlenmiş Untyped Plutus Core yani UPLC olarak yürütülür. Betik karmaları, onları hangi kaynak revizyonunun veya derleme ayarlarının ürettiğini ortaya koymadan derlenmiş programları tanımlar.

UPLC Link belirli bir GitHub commit ve derleyici sürümüyle başlar. Kaynağı derler, ortaya çıkan betik karmalarını hesaplar ve bunları beklenen zincir üstü tanımlayıcılarla karşılaştırır.

Platform, nihai biçimi kurulum sırasında sağlanan değerlere bağlı olan parametreli sözleşmeleri de işler. Geliştiriciler bu değerleri, diğer betiklere yapılan atıflar dahil, arayüz üzerinden girebilir ve sonucu yeniden hesaplayabilir.

Eşleşme, doğru kaynak, derleyici ve parametreleri gerektirir.

Genel arayüz şu anda alpha olarak etiketlenmiş durumda ve Aiken sözleşmelerini destekliyor. Sunum, Scalus, Plutarch ve plu-ts desteğine yönelik çalışmaları, ayrıca sözleşme özelliklerinin otomatik biçimsel doğrulaması için Blaster ile planlanan bir bağlantıyı anlattı.

Bu genişletmeler platformun kapsama alanını mevcut Aiken iş akışının ötesine genişletecektir.

Zincir Üstü Kayıtlar Bağımsız Doğrulamayı Destekler

CIP-0171, bir Cardano sözleşmesi derlemesini yeniden üretmek için gereken bilgilerin kaydedilmesine yönelik paylaşılan bir meta veri biçimi önerir. Kaynak deposunu, kod revizyonunu, derleyiciyi, derleme ortamını ve parametreleri tanımlamak için 1984 numaralı işlem meta verisi etiketini kullanır.

Kaynak kendi deposunda kalır, blockchain ise derleme talimatlarını saklar. Denetçiler ve araştırmacılar, orijinal dağıtandan bağımsız olarak kayıtlar yayımlayabilir, ardından atıf yapılan kodu yeniden derleyip ortaya çıkan karmayı kontrol ederek bunları test edebilir.

Spesifikasyon, resmi CIP kayıtlarında hâlâ bir teklif durumundadır. Biçimi, çeşitli derleyici ailelerini kapsar ve hangi aileleri destekleyeceğine her doğrulama aracı karar verir.

UPLC Link, ADA ile ödenen ağ ücretiyle imzalı bir Cardano işlemi üzerinden kayıt sunuyor. Arka ucu, gönderilen kayıtları herkese açık sicil üzerinden keşif için indeksler. Proje, diğer hizmetler için bir API de sağlar ve platformu yerelde çalıştırmaya yönelik talimatlar yayımlar.

Kayıtlı bir sözleşme için, inceleyenler sözleşmenin adresinden veya betik karmasından başlayarak kaydedilmiş derleme ayrıntılarını alabilir ve kaynak bağlantısını kendileri kontrol edebilir. Uygulama ekipleri, kodlarının ve denetim raporlarının yanında bu yeniden üretilebilir kaydı sağlayabilir.