BlockPQR, Midnight üzerinde gizli yapay zeka ajan sözleşmelerini araştırıyor

BlockPQR, otonom yapay zeka ajanları için blokzincir altyapısını araştırmak üzere bir ekip kurdu, değerlendirme kapsamındaki teknolojiler arasında Midnight’in gizli akıllı sözleşmeleri de yer alıyor.

X Space oturumu Decentralizing Cardano’s Core Development sırasında Leonard Hegarty, ajan temelli bir ekonomi protokolü olarak tanımladığı alandaki araştırmayı özetledi. Girişim, otonom yazılım ajanlarının hizmetleri nasıl keşfedebileceğini, anlaşmalar müzakere edebileceğini, işlemleri yönetebileceğini ve görevleri blokzincir altyapısını kullanarak nasıl yerine getirebileceğini inceliyor.

Araştırma Cardano Layer 1, Layer 2 teknolojileri ve Midnight’ı kapsıyor. Hegarty ayrıca Midnight’in Compact akıllı sözleşme ortamında yüksek güvenceli mühendislik araçları için olası kullanım alanlarını belirledi.

BlockPQR, bir yapay zeka ajan ekonomisi için beş yapı taşını belirliyor

BlockPQR, daha önce Input Output bünyesinde sürdürülen Cardano’nun çekirdek altyapısının sorumluluğunu üstlenen bağımsız mühendislik kuruluşlarından biri. Sorumlulukları arasında defter geliştirme, biçimsel özellikler, API ve komut satırı araçları ile yüksek güvenceli mühendislik bulunuyor.

Bu işlevlere ek olarak Hegarty, BlockPQR’nin otonom yapay zeka ajanları için mevcut protokolleri ve altyapıyı inceleyen bir ekip kurduğunu doğruladı.

Araştırma beş birbiriyle bağlantılı yeteneğe odaklanıyor:

• Keşif: Ajanların diğer ajanları, hizmetleri ve mevcut kaynakları tanımlamasını sağlama.

• Müzakere: Otonom katılımcılar arasında anlaşmalar ve işlem koşulları oluşturma.

• Emanet: Varlıkları, serbest bırakılmadan önce önceden tanımlanmış koşullara göre yönetme.

• İtibar: Katılımcıları, önceki etkileşim kayıtları veya doğrulanabilir bilgilerle değerlendirme.

• Ajan yürütümü: Yetkilendirilmiş görevleri ve işlemleri yerine getirme.

Birlikte ele alındığında bu işlevler, olası ajan tabanlı bir ekonomik altyapının parçası olarak BlockPQR’nin araştırdığı alanları temsil ediyor.

Hegarty, Cardano’nun temel katmanı ve Layer 2 çözümlerinin yanında incelenen teknolojiler arasında özellikle Midnight’in gizli sözleşmelerini de dahil etti.

Bununla birlikte tamamlanmış bir protokol duyurmadı, hangi işlevlerin Midnight üzerinde çalışacağını belirtmedi ve uygulama için bir zaman çizelgesi sunmadı.

Midnight’in gizli akıllı sözleşmeleri neden önem taşıyor

Midnight, uygulamaların kamuya açık defterin dışında tutulan hassas verileri, kamuya doğrulanabilir bilgiden ayırmasına olanak tanıyan programlanabilir bir gizlilik mimarisi sunuyor.

Geliştiriciler, Midnight’in akıllı sözleşme programlama dili olan Compact’ı kullanarak, özel bilgiyi içerebilen kurallar tanımlar, belirtilen koşulları doğrulamak için sıfır bilgi ispatlarına güvenir.

Bu yaklaşım, gizli ticari veya finansal bilgilerle çalışan otonom ajanlar için potansiyel uygulamalar oluşturur.

Ajan tabanlı bir sistem, tüm temel parametreleri yayımlamadan izinleri, işlem limitlerini veya sözleşmesel koşulları doğrulama gereksinimi duyabilir. Midnight’in mimarisi, özel girdileri bir işlemi doğrulamak için gereken kamuya açık bilgiden ayırmaya yönelik mekanizmalar sağlar.

Bu ayrım, ticari açıdan hassas verileri içeren etkileşimler için önemlidir. Blokzincir doğrulaması, bir anlaşmanın her ayrıntısının kamuya açık hale gelmesini zorunlu kılmaz.

Bununla birlikte gizliliği koruyan sözleşmeler, bir yapay zeka ajanının güvenilir olduğunu ya da zincir dışı bir görevin doğru biçimde tamamlandığını kendiliğinden ortaya koymaz.

Sıfır bilgi ispatları, tanımlı hesaplamalı ifadeleri doğrular. Ajan kimliğini tesis etmek, izinleri yönetmek ve blokzincir dışındaki faaliyetleri doğrulamak için ilave mekanizmalar gerekir.

BlockPQR, bu bileşenlerin Midnight’e nasıl bağlanacağına açıklık getiren bir teknik mimari yayımlamadı.

[NEWSBREAK]

BlockPQR, Compact için biçimsel doğrulamayı değerlendiriyor

Hegarty’nin BlockPQR’nin yüksek güvenceli mühendislik sorumluluklarına dair açıklamasından ikinci bir gelişim alanı ortaya çıktı.

Şirket, kritik blokzincir yazılımlarının güvenilirliğini artırmak üzere tasarlanmış biçimsel özellikler ve doğrulama yöntemleri üzerinde çalışıyor.

Hegarty, Blaster gibi gelecekteki araçlara atıfta bulundu ve doğrulama yeteneklerinin mevcut Cardano ortamlarının ötesine, potansiyel olarak Midnight üzerindeki Compact’ı da kapsayacak biçimde genişletilmesi olasılığını tartıştı.

Biçimsel doğrulama, yazılımın açıkça tanımlanmış özellikleri karşılayıp karşılamadığını ortaya koymak için matematiksel teknikler kullanır. Akıllı sözleşmeler için bu yöntemler, yalnızca geleneksel testlere kıyasla seçili güvenlik gereksinimleri hakkında daha güçlü güvenceler sağlayabilir.

Bu tür yetenekler, finansal izinleri, işlem koşullarını ya da diğer hassas operasyonları yöneten gizli sözleşmeler için önem kazanabilir.

Bununla birlikte Hegarty, Blaster’ın halihazırda Compact’ı desteklediğini ya da BlockPQR’nin Midnight tabanlı herhangi bir yapay zeka ajan sözleşmesinin biçimsel doğrulamasını tamamladığını doğrulamadı.

Bu açıklamalar, kullanıma hazır bir geliştirme aracından ziyade olası bir gelecek yönelimini işaret ediyor.

BlockPQR’nin doğruladıkları

Görüşme sırasında doğrulanan ana gelişme, BlockPQR’nin otonom yapay zeka ajanları için altyapıyı araştıran dahili bir ekip kurmuş olması.

Araştırması Cardano Layer 1, Layer 2 sistemleri ve Midnight’in gizli akıllı sözleşmelerini kapsıyor. Hegarty’nin belirlediği beş alan, değerlendirilmekte olan teknik yetenekleri anlamak için ilk çerçeveyi sunuyor.

Ayrıca şirket, yüksek güvenceli mühendislik araçlarının Compact dahil ek akıllı sözleşme ortamlarını ileride nasıl destekleyebileceğini araştırıyor.

Bu iki girişim arasındaki ilişki resmen tanımlanmadı. BlockPQR, özel bir Midnight ajan protokolü, herkese açık bir depo, çalışan bir gösterim ya da bir yayın tarihi duyurmadı.

Şimdilik Midnight, BlockPQR otonom ajanların blokzincir altyapısı üzerinden nasıl etkileşebileceğini araştırırken değerlendirilmekte olan teknolojilerden biri olmaya devam ediyor. Hegarty’nin açıklaması, şirketi belirli bir uygulamaya taahhüt etmeksizin bu araştırmanın kapsamını ortaya koyuyor.