Charles Hoskinson, Cardano için yeni bir programlama dili geliştirdiğini açıkladı

Cardano kurucusu Charles Hoskinson(Charles Hoskinson), geliştirici Lucas Rosa(Lucas Rosa) ile birlikte Cardano(ADA) için yeni bir programlama dili üzerinde çalıştığını duyurdu. Dil, Groth16 kanıtlarıyla intent ve PCD yapısını hayata geçirmeyi hedefliyor. Ancak dilin adı, kodu ve çıkış takvimi henüz kamuoyuyla paylaşılmadı.

Hoskinson, 18’inde X’te paylaştığı bir yanıtta “Cardano için bir programlama dilini bizzat geliştiriyorum” dedi. Yeni dili “Groth16 kanıtlarıyla intent ve PCD’yi hayata geçiren ilk dil” olarak tanımlayan Hoskinson, projeyi @rvcas ile birlikte yürüttüğünü de belirtti. Yanıt, bir kullanıcının Cardano’yu ‘en merkeziyetsiz güven kökü’ olarak gören yaklaşımın hâlâ geçerli olup olmadığını sormasının ardından geldi.

@rvcas, Lucas Rosa’nın hesabı. Aiken’in kredi sayfası Rosa’yı projenin bakımcılarından biri olarak gösteriyor. Aiken proje manifestosunda da Rosa, rvcas.dev e-posta adresiyle yazar olarak yer alıyor. Rosa’nın kişisel web sitesi ise onu Midnight araç mimarı olarak tanıtıyor.

Cardano geliştiricileri akıllı sözleşmeleri çoğunlukla Haskell tabanlı Plutus ya da Aiken ile yazıyor. Aiken’i Rosa birlikte geliştiriyor ve bakımını da üstleniyor. Hoskinson, yeni dilin mevcut araçların yerini alıp almayacağını ya da onlarla birlikte kullanılıp kullanılmayacağını açıklamadı.

Groth16, kriptograf Jens Groth(Jens Groth) tarafından 2016’da tanıtılan bir sıfır bilgi ispatı yöntemi. Bir kanıt yalnızca üç grup elemanından oluştuğu için boyutu küçük kalıyor ve blokzincirde hızlıca doğrulanabiliyor.

PCD (Proof-Carrying Data), dağıtık bir hesaplamanın her adımının önceki adımlara ilişkin kanıtı taşıdığı bir araştırma çerçevesi. Uzun bir iş zincirinin son katılımcısı, tek bir kanıtı kontrol ederek tüm geçmişi doğrulayabiliyor.

Intent ise kullanıcının yalnızca istediği sonucu belirttiği, işlemin somut adımlarını başka bir tarafın belirlediği bir yöntem. Örneğin kullanıcı, fonlarının başka bir zincire gönderilmesini isteyebilir. Hangi köprünün ve rotanın kullanılacağına ise işlemi yürüten taraf karar verebilir.

Hoskinson, yeni dilin Groth16, PCD ve intent unsurlarını nasıl bir araya getireceğini anlatmadı. Hoskinson daha önce Tokyo’daki ‘Midnight City’ etkinliğinde, yapay zekâ ajanlarının kullanıcının niyetine göre iş yaptığı ‘Nightframe’i tanıtmıştı. Yeni dilin Nightframe ya da Midnight ile bağlantısı da açıklanmadı.

Cardano’da ayın başında programlanabilir token standardı ana ağda devreye girdi. Bu standart sayesinde ihraççılar, KYC doğrulaması ya da dondurma gibi kontrol işlevlerini doğrudan yerel tokenlara ekleyebiliyor.