Hoskinson ve Lucas Rosa Yeni Bir Cardano Programlama Dili Geliştiriyor

Charles Hoskinson, 18 Ekim'de Cardano için kişisel olarak yeni bir programlama dili geliştirdiğini duyurdu. Projedeki çalışma arkadaşı olarak, Aiken'in kurucu ortağı ve Midnight'in araç mimarı Lucas Rosa'yı gösterdi.

Aiken'in Kurucu Ortağı Hoskinson ile Birlikte Çalışıyor

Çevrim içi olarak @rvcas adıyla bilinen Rosa, Aiken'i birlikte kurdu ve geliştirilmesine iki buçuk yıldan uzun süre liderlik etti. Proje geçmişine göre, bu çalışma, mülkiyeti ve lisansını uzun vadeli gözetim için Pragma'ya devretmeden önce, dilin özelliklerinin tasarlanmasını da içeriyordu.

Aiken, Cardano akıllı sözleşmeleri için bir programlama dili ve geliştirme araç setidir. Geliştiriciler, işlemlerin varlık harcayıp harcayamayacağını ya da sözleşme tarafından kontrol edilen diğer işlemleri yapıp yapamayacağını belirleyen kuralları tanımlamak için bunu kullanır.

Rosa şu anda pozisyonunu Midnight'te Araç Mimarı olarak listeliyor. Geçmişi derleyiciler, dağıtık sistemler ve uygulama altyapısını kapsıyor.

Hoskinson'un duyurusu, Midnight'e herhangi bir kurumsal rol atamadan Rosa'yı bir işbirlikçi olarak tanımlıyor.

Niyetler ve Groth16 Kanıtları Nasıl Bağlanır

Niyetler, bir kullanıcının ulaşmak istediği sonucu ve bunun hangi koşullar altında kabul edilebilir olduğunu tanımlar. Bir kullanıcı, alacağı asgari miktarı ve ödeyeceği azami ücreti belirterek ADA'nın başka bir token ile takasını talep edebilir. Çözücüler olarak adlandırılan uzman katılımcılar daha sonra bir yürütme yolu bulabilir ve bu koşulları karşılayan işlemler oluşturabilir.

Kanıt taşıyan veriler ya da PCD, tanımlanmış kurallara uyduğunu gösteren kriptografik kanıt eşliğinde gelen bilgiyle ilgilidir. Kanıt, işleme geçmişini de kapsayabilir ve önceki hesaplama adımlarının bu kurallara uyduğunu ortaya koyabilir. Bir alıcı, önceki hesaplamanın tamamını tekrarlamadan kanıtı kontrol edebilir.

Groth16, görece düşük doğrulama karmaşıklığına sahip kompakt sıfır bilgi kanıtları sağlar. Bir tarafın, kanıtı üretmek için kullanılan özel girdileri ifşa etmeden, belirli bir hesaplamanın doğru şekilde gerçekleştirildiğini göstermesine olanak tanır. Hangi uygulama verisinin açık kalacağı, çevredeki sistemin tasarımına bağlıdır.

Birlikte ele alındığında, bu kavramlar bir uygulamanın kabul edilebilir sonuçları ifade etmesine ve ilgili hesaplama koşullarının karşılandığına dair kanıtı doğrulamasına olanak tanıyabilir. Önerilen dilde bunları birbirine bağlayan özgül mekanizma henüz açıklanmadı.

Dilin Cardano Doğrulayıcılarına Bağlanması

Cardano, kanıta dayalı uygulamalar için zaten kriptografik yapı taşları sağlar. Plutus V3, uyumlu sıfır bilgi kanıtlarının verimli doğrulanmasını destekleyen BLS12-381 işlemlerini içerir. Geliştiriciler, bu ilkelleri kullanarak blokzincir dışında gerçekleştirilen hesaplamalara ilişkin kanıtı kontrol eden sözleşmeler oluşturabilir.

Doğrulama, yürütme kaynaklarını tüketir ve ADA cinsinden ödenen işlem ücretlerine katkıda bulunur. Bu nedenle, herhangi bir uygulamanın pratikliği, kanıt sistemi, doğrulayıcı ve iş yükünün Cardano'nun işlem sınırlarına sığmasına bağlıdır.

Hoskinson'un gönderisi bir dil adı, depo, spesifikasyon ya da çıkış tarihi sağlamadı. Aiken ve Plutus ile ilişkisi de belirsizliğini koruyor. Çözülmemiş entegrasyon noktası, yeni dille yazılmış bir programın nasıl bir kanıt üreteceği ve bunu bir Cardano doğrulayıcısına nasıl sunacağıdır, bu da kullanıcının belirtilen koşullarını mutabakatı yetkilendiren sözleşmeyle bağlayacaktır.