Hoskinson, Midnight DeFi için Moriarty'yi Tanıttı

Charles Hoskinson, Midnight DeFi için geliştirdiği bir programlama dili olan Moriarty'ye ait ilk somut test sonucunu açıkladı. Bir kredi sözleşmesi Midnight'in sıfır bilgi ara gösterimine ulaştı ve işlemi Preview ağında doğrulandı, dilin kendisi ise geliştirme aşamasında kalıyor.

Moriarty, Midnight DeFi için Talimatları Tanımlar

Hoskinson, Moriarty'yi Midnight'in planlanan DeFi çekirdeği için Turing açısından eksik bir niyet dili olarak tanımladı. Bir finansal işlemin neyi başarması gerektiğini ve hangi koşulları sağlaması gerektiğini ifade edecek şekilde tasarlandı.

Bilerek sınırlı tasarımı, olası program davranışlarının kapsamını daraltırken, biçimsel anlambilim her bir talimatın nasıl yürütüldüğünü belirtir. Hoskinson, kredi verme, takaslar, süresiz sözleşmeler ve sentetik ürünlerin ardındaki ortak bileşenleri inceliyor ancak bunları tamamlanmış Moriarty özellikleri olarak sunmadı.

Midnight, yerel ağ varlığı olarak NIGHT kullanır. Moriarty uygulama katmanında yer alacak ve geliştiricilerin zamanla NIGHT ve desteklenen diğer varlıkları içeren işlemleri tanımlamasına olanak tanıyacak. Dili kullanan herhangi bir üretim uygulaması duyurulmadı.

Kredi Sözleşmesi Midnight Preview Üzerinde Doğrulandı

Hoskinson, projeyi sunduğunda Moriarty deposunda 596'dan fazla commit bulunduğunu söyledi. En net geliştirme kilometre taşı, Midnight'in sıfır bilgi yürütme sürecinde kullanılan ara gösterim olan zkIR'a derlenen bir kredi sözleşmesiydi.

“İşlemi Midnight Preview üzerinde doğrulatmayı gerçekten başarabildim,” dedi.

Preview bir geliştirme ağıdır ve Hoskinson, Moriarty'nin tamamlanmadığını belirtti. Lucas'a ve diğer ekip üyelerine devretmeden önce iki ile dört hafta daha çalışmaya ihtiyaç duyduğunu tahmin etti, Moriarty ya da bir NIGHT DeFi ürünü için üretim lansman takvimi açıklamadı.

Doğruluk Kanıtları DeFi Sözleşme Riskini Hedefliyor

Hoskinson, Moriarty'nin bir işleme program doğruluğu kanıtı eklemeyi amaçladığını söyledi. Bu kanıt, işlem kabul edilmeden önce gönderilen programın dilin ifade ettiği kurallara uyduğunu gösterecektir.

“İşlemle birlikte giden programın doğruluğuna ilişkin bir kanıtınız var,” dedi.

Bu tasarımı, her amaçlanan koşulu zorlayamayan yetersiz kısıtlanmış devrelere bağladı. Eksik kısıtlar, geçersiz bir sonucun kalan kontrollerden geçmesine izin verebilir ve bir sözleşmenin kontrol ettiği fonları riske atabilir.

Preview testi, Hoskinson'ın açıkladığı derleme ve doğrulama yolunu doğruluyor. Belirttiği bir sonraki adım ekip devri olup, Moriarty'yi kişisel bir prototipten Midnight DeFi geliştiricilerinin değerlendirebileceği ve genişletebileceği bir altyapıya taşımaktır.