Charles Hoskinson, Cardano için yeni bir programlama dilini bizzat geliştiriyor

Cardano'nun kurucusu Charles Hoskinson pazar günü X'te Cardano için yeni bir programlama dilini bizzat geliştirdiğini yazdı. Hoskinson, Cardano'nun başlıca akıllı sözleşme dillerinden Aiken'i birlikte oluşturan Input Output Global yazılım mühendisi Lucas Rosa ile çalıştığını söyledi. Hoskinson, yeni dilin kullanıcının bir işlemle ne yapmak istediğini, işlem kurallarına uyulduğunu gösteren kriptografik kanıtla birleştiren ilk dil olacağını söylüyor. Hoskinson dilin adını açıklamadı, herkese açık kod yayımlamadı veya geliştiricilerin dili ne zaman kullanabileceğini duyurmadı.

Dil; işlem niyetlerini, kanıt taşıyan verileri ve Groth16 kanıtlarını destekleyebilecek. İşlem niyeti, adımları uygulamaya bırakarak kullanıcının istediği sonucu belirtmesini sağlıyor. Bir yatırımcı, takasın nasıl gerçekleştirileceğini belirtmeden, nihai fiyatın belirli koşulları karşılaması halinde bir token takası talep edebilir.

Kanıt taşıyan veri, bilgilerin belirli kurallara uygun olduğunu göstermek için bu bilgilere kriptografik kanıt ekliyor. Başka bir uygulama, altta yatan tüm hesaplamaları tekrarlamadan kanıtı kontrol edebilir. Groth16, bilgisayarların hızla doğrulayabileceği küçük kanıtlar üreten ve yaygın olarak kullanılan bir kanıt sistemi. Groth16 kanıtları, koşulun sağlanması için kullanılan özel verileri açığa çıkarmadan bir koşulun yerine getirildiğini gösterebilir.

Bu üç araç birlikte, geliştiricilerin işlemleri koordine eden, karmaşık koşulları denetleyen ve doğrulanmış bilgileri hizmetler arasında aktaran uygulamalar oluşturmasını sağlayabilir. Cardano, bu işlemlerin sonunda küçük bir kanıtı doğrulayabilir. Hoskinson çok sayıda mühendisin çalıştığı bir şirketi yönetiyor ancak gelecekteki Cardano uygulamalarının kullanabileceği bir aracı kendisi yazmayı tercih ediyor.

Cardano geliştiricileri akıllı sözleşmeleri hâlihazırda Haskell tabanlı Plutus ve Aiken dillerinde yazıyor. Input Output Global, gizliliğe odaklanan Midnight blokzincirini geliştirdi. Midnight'ta, gizli verileri işleyen uygulamalar için Compact adlı ayrı bir programlama dili bulunuyor.