Charles Hoskinson: Yeni Cardano (ADA) Dili, Niyetleri Groth16 Kanıtlarıyla Birleştiren İlk Dil Olacak

Niyetler ve Groth16 Kanıtları Tek Dilde Buluşuyor

Cardano (ADA) ağı için yazılım geliştiren bir programcı, kurucunun istediği şekilde ilerlerse, bir işlemin ne yapması gerektiğini bildirebilecek ve bunun kriptografik kanıtını aynı yerde ekleyebilecek. Charles Hoskinson, 18 Ekim'de yaptığı açıklamada Cardano için yeni bir programlama dili geliştirdiğini duyurdu. Ona göre bu dil, niyet (intent) yapılarını kanıt taşıyan veriyle (proof carrying data) birlikte işleyecek ve doğrulama Groth16 kanıtları üzerinden çalışacak. Niyet yapıları, bir işlemin alt düzey mekaniklerini değil, varmak istediği sonucu beyan etmesine izin veriyor. Kanıt taşıyan veri ise bir bilginin, kendi üzerinde doğrulanabilir bir delille gelmesini sağlayan bir biçim. Groth16, sıfır bilgi alanındaki en yaygın kullanılan kanıt sistemlerinden biri. Hoskinson, bu üç yapıyı bir araya getiren ilk dilin bu olacağını ve bu birleşimin Cardano ekosisteminde birden fazla yeni kullanım senaryosunun önünü açabileceğini savunuyor. Pratikte bu şekilde yazılmış bir sözleşme, ana ağa (mainnet) konuşlandırılmış bir uygulamanın, aktarımın ya da hesaplamanın yazarının belirlediği kurallara uyduğunu her denetleyene gösterebilmesi anlamına geliyor. Hoskinson, dilin hangi katmanlarına dokunacağını açıklamasa da, ileri kriptografyayı dilin öne çıkan özelliği olarak sunuyor. Açıklama, bir topluluk üyesinin, son derece merkeziyetsizleştirilmiş bir taban katman olarak Cardano'nun sunduğu benzersiz avantajların ne olduğunu soran mesajına verilen yanıt olarak geldi. Hoskinson, sürmekte olan çalışmaların ağın teknik gerekçesini güçlendirebileceğini söyledi ve bu düzeyde merkeziyetsizlik için inşa edilmiş bir hisse kanıtıyla (proof-of-stake) çalışan zincirin, başka hiçbir tasarımın kopyalayamadığı avantajlar taşıdığı argümanına ağırlık kazandırdı. Dilin bir adı yok, teknik bir şartnamesi yok ve bir zaman çizelgesi verilmedi. Yanıt Cardano'nun konumlanışı açısından önemli, çünkü cevapladığı soru zinciri rakip taban katmanlarından ayıran şeyin tam merkezine dokunuyordu. Cardano fiyatı, haftalık yüzde 11 değer kaybının ardından 0,22 doların yakınında tutunuyor; kodsuz bir duyurunun bu tabloyu tek başına değiştirmesi beklenmeyebilir.

Haskell Şüpheleri ve Midnight Fikri

Duyuru, Hoskinson'ın sürekli geri döndüğü bir soruyu yeniden gündeme taşıyor: Cardano (ADA) gerçekten hangi dil üzerine inşa edilmeli? Ağın geliştirme mimarisi ilk aşamalarından bu yana büyük ölçüde Haskell'e dayanıyor ve Hoskinson bu tercihi yıllar boyunca kamuya açık biçimde savundu. Haskell, güçlü statik tiplemesiyle tanınan fonksiyonel bir programlama dili; Hoskinson uzun süre, doğruluğun kullanım kolaylığından önde geldiği finansal sözleşmelere bu özelliğin uyduğunu savundu. Haziran 2022'de Elon Musk ile Jack Dorsey arasındaki programlama dilleri tartışmasına katıldı; Musk'ın C diline olan ilgisini anlatmasının ardından Haskell'in bir şansı hak ettiği önerisini ortaya koydu. Ancak sonradan, Cardano'yu Haskell ile geliştirme kararından hiçbir zaman tamamen emin olmadığını kabul etti. Mayıs 2024'e gelindiğinde Clojure'u ciddi biçimde bir alternatif olarak değerlendirdiğini, Cloud Haskell'in bulunabilirliği ile Liquid Haskell ve Agda gibi araçlardan yararlanma imkânının sonunda belirleyici olduğunu söyledi. Bu uzun tartışma, Haskell'e bağlılığının şarta bağlı olduğunun en açık erken işaretiydi. Nisan 2025'te verdiği bir röportajda daha da ileri gitti: Cardano (ADA) sıfırdan yeniden yazılabilseydi muhtemelen farklı bir dil seçeceğini belirtti. Bu geçmişe karşı okunduğunda, Hoskinson'ın kişisel olarak geliştirdiği bir dil, tartışmanın ötesine geçen ilk somut adım olarak karşımıza çıkıyor. Niyetleri yerelde işleyebilen bir dil, bugün birden fazla araç katmanına dağılan işi tek bir geliştirme yolunda toplayabileceği için bu önemli. Ayrıca Hoskinson, kripto alanındaki sorunların çoğunu çözebileceğine inandığı bir kavram üzerinde çalıştığını, bu kavramı alana yalnızca Midnight Network'ün getirebileceğini ve bunun kariyerinin belki en önemli işi olabileceğini dile getirdi. Midnight, Cardano ekosisteminin içinde yer alan gizlilik odaklı proje. Bu kavram ile yeni programlama dili arasında bir bağ olup olmadığı açıklamalarda açık bırakıldı. İkisinin de kullanılabilir biçimde ne zaman ortaya çıkacağına dair bir işaret verilmedi.

Ne İsim Ne Yayın Tarihi

Bizim okumamız şu: Bu bir yön beyanı, çıkarılan bir ürün haberi değil. Hoskinson, ağın teknik tamamlanmasını Leios yol haritasına bağladı; test ağı 26,8 txkB/s hızında çalışıyor, dolayısıyla yeni bir dil bu çalışmaların yerine geçecek, yanına eklenecek bir parça olur. Duyuruda şimdilik doğrulanabilir hiçbir şey yok: isim yok, şartname yok, kod yok ve Midnight kavramıyla kurulmuş bir bağ belirtilmemiş. Varlığın çevresindeki spekülasyon ise başka yerde sürüyor; Cardano teknik analizinden, Bodega Market'in 1 milyon dolar hedefine oynayan Cardano stablecoin bahislerine kadar tartışma devam ediyor. Bir şey fiilen yayınlanana kadar geliştiriciler Haskell araç zincirinde çalışmaya devam edecek, kısıt da bu kalacak.