A futuristic robot interacting with a digital
Yapay Zeka

Succinct Labs yöneticisi, Kongre'den ZK "kanıt makbuzu"…

Brian Trunzo, NIST'in Gizliliği Artırıcı Kriptografi çalışmalarının federal bir standart haline gelmesi gerektiğini savunuyor.

Succinct Labs baş büyüme sorumlusu Brian Trunzo, “yüksek riskli” otonom AI ajanlarının kimlik, yetkilendirme ve izin verilen eylemler için sıfır bilgi kanıtları taşımalarını gerektirecek bir politika ve standartlar yolu öneriyor. Öneri, ödemeler, sözleşmeler, ticaretler ve veri değişimlerinin makine tarafından doğrulanabilir kriptografik “makbuzlar” ile birlikte gönderilmesi gerektiğini savunarak ajan ticaretini doğrudan hedef alıyor.

Anahtar Çıkarımlar

  • Succinct Labs baş büyüme sorumlusu Brian Trunzo, sıfır bilgi kanıtlarınınotonom AI ajanlarınınçevrimiçi eylemler gerçekleştirmesiyle güveni yeniden sağlamak için gerekli olduğunu savundu.
  • Görüş, temel bulanıklık ve bozulmanın önde gelen AI görüntü dedektörlerini kırabileceğini, doğruluğu %4'e kadar düşürebileceğini iddia ediyor.
  • Bir Stanford raporu, 2025'te sunulan 90'dan fazla federal öneri ve 1.000'den fazla eyalet AI tasarısını içeren genişleyen bir yönetişim açığını çerçevelemek için referans alınıyor.
  • Öneri, Kongre'nin “yüksek riskli” ajanlar için kriptografik kanıtlar talep etmesini çağrıda bulunuyor ve NIST'in Gizliliği Artırıcı Kriptografi girişimini ZK için bir standartlaştırma yolu olarak işaret ediyor.

Otonom Ticaret için Kanıt Rayları: Ticaretler ve Ödemeler için ZK ‘Makbuzları’

Succinct Labs'ın baş büyüme sorumlusı Brian Trunzo, otonom AI ajanlarının piyasa katılımcıları gibi hareket etmeye başladıklarında nasıl yönetilmesi gerektiği konusunda somut bir tez ortaya koydu. Temel öneri, kanıta dayalı uyumdur: yüksek riskli ajanlar, kim olduklarını, kim tarafından yetkilendirildiklerini ve ne yapmalarına izin verildiğini gösteren kriptografik belgeler taşımalıdır.

Piyasa yapısı bağlantısı açıktır. Trunzo, ajanlar “makine hızı ve makine ölçeğinde” işlem yaptıkça, her önemli eylemin makine ile doğrulanabilir bir kanıtla birleştirilmesi gerektiğini savunuyor.

Ticaretçiler ve ödeme rayları için önemli olan eylemleri sıralıyor: “bir ödeme, bir sözleşme, bir ticaret, bir veri değişimi.” Bu çerçevede, doğrulama, platformlara, kayıtlara veya karşı taraflara güvenmekten, herhangi bir karşı taraf tarafından özel bilgileri ifşa etmeden kontrol edilebilecek taşınabilir bir kanıta doğru kayıyor.

Trunzo’nun nihai görüşü nettir: “Bu bir doğrulama sorunu. Ve doğrulama kanıt gerektirir.”

Otonom Ajanların Denetlenebilirlik Açığı Yaratmasının Sebebi

Görüşün politika itici gücü, yazılım bir otonom aktör haline geldiğinde, sonradan yapılan yeniden yapılandırmanın başarısız olduğu iddiasına dayanıyor. Trunzo, bir ajanın akıl yürütmesinin kronolojik bir iz olmadığını ve çıktılarının olasılıksal olduğunu savunuyor; bu da aynı istemin farklı sonuçlar verebileceği anlamına geliyor.

Bu çerçevede, bu, özellikle zarar zaten verildiğinde, sonradan yapılan incelemeleri yapısal olarak zayıf hale getiriyor.

Ayrıca, eğitim verisi zehirlemesini gerçekçi bir hata modu olarak işaret ediyor ve ince bozulmaların makul hatalar ürettiği ve bunların büyük finansal kayıplara dönüştüğü senaryoları tanımlıyor.

Trader'lar için önemli olan, spesifik örnekler değil, arkasındaki yönetişim mantığıdır: eğer ajanlar ölçekli olarak satın alma işlemleri gerçekleştirebilir ve stratejileri optimize edebilirse, kontrol yüzeyi düzenleyicilerin ve karşı tarafların önemseyeceği şey yetkilendirme ve kısıtlamalar olacaktır, olaydan sonra açıklamalar değil.

Derin Taklit Tespiti'nden Kriptografik Köken Belirlemeye

Trunzo, “güven”i bir kriptografi problemi olarak konumlandırıyor, bir moderasyon problemi olarak değil. Dedektör tabanlı savunmaların kırılgan olduğunu savunarak, “Dünyanın önde gelen görüntü dedektörlerini basit bulanıklaştırma ve bozulma ekleyerek herkes kırabilir, bu da doğruluk oranlarını %4'e kadar düşürebilir.” yazıyor. Alıntı, temel çalışmayı veya metodolojiyi tanımlamadığı için, bu sayının yalnızca paket üzerinden doğrulanması zor.

Yine de, retorik işlev açıktır: eğer tespit ucuz bir şekilde bozulabiliyorsa, köken ve kimlik daha güçlü ilkelere ihtiyaç duyar.

Bu mantığı medya kökeninden AI sistem doğrulamasına genişletiyor. Parçada tanımlandığı gibi sıfır bilgi kanıtları, bir tarafın temel verileri ifşa etmeden bir ifadenin doğru olduğunu kanıtlamasına olanak tanır.

Trunzo, ZK'nın belirli bir modelin belirli parametrelerle belirli bir çıktı ürettiğini gösteren "makbuzlar" oluşturabileceğini, aynı zamanda girdilerin ve eğitim verilerinin yetkilendirilmiş olduğunu ve zehirlenmediğini de doğrulayabileceğini savunuyor. Aynı araç seti kimlik için öneriliyor, insanların insan olduklarını ve ajanların ajan olduklarını gizliliği feda etmeden kanıtlamalarına olanak tanıyor.

AI güveni olarak sunulan ZK kanıtları için izlenmesi gereken sinyaller

Bu anlatımda kısa vadeli katalizör standartlardır, token lansmanları değil. Trunzo, NIST aracılığıyla ABD Ticaret Bakanlığı'nın Gizliliği Artıran Kriptografi girişimi kapsamında ZK standartlaştırmasını araştırdığını belirtiyor ve bunun federal bir ölçüt haline getirilmesi gerektiğini savunuyor.

ZK altyapısını takip eden traderlar için temiz sinyaller prosedürel. AI veya ajan doğrulaması için sıfır bilgi kanıtlarını açıkça kapsayan NIST PEC güncellemelerini izleyin; bu, "kanıt makbuzlarının" satıcılar arasında uygulanabilir hale gelmesini sağlayacak herhangi bir kıyaslama dilini içermektedir.

Politika tarafında ise, anahtar, "yüksek riskli AI ajanlarını" tanımlayan ve kimlik, yetkilendirme ve izin verilen eylemler için kriptografik kanıtları zorunlu kılan taslak federal dildir.

Eyalet düzeyindeki yasalar, ikinci bir kanal olarak önemlidir. Gereksinimler etrafındaajan kimliği, açıklama veya işlem yetkilendirmesi, özellikle finansal işlemler veya reşit olmayanlarla etkileşimler için, tek bir federal standart olmaksızın uyum perimetrinin oluştuğunu gösterecektir.

Son olarak, büyük platformlardan, ödeme sağlayıcılarından veya AI-ajans çerçevelerinden gelen takip yorumları, karşı tarafların varsayılan olarak onay belgeleri talep etmeye başlayabileceğinin ilk gerçek işareti olacaktır.

Eğer Kanıt Zorunlu Hale Gelirse ZK Altyapısı İçin Ne Değişir

Bunu, tamamlanmış bir anlaşma değil, gerçek bir standart yolu olan yapıcı bir anlatı katalizörü olarak ele alıyorum. Görüşün en piyasa ile ilgili hareketi, ZK'yı ticaret ve ödemeler gibi 'sonuçsal eylemlerle' bağlamak, çünkü bu ZK'yı kriptoya özgü gizlilik araçlarından, karşı tarafların talep edebileceği bir uyum ilkesine yeniden çerçeveliyor.

Önemli olan eşik, NIST PEC çıktılarının ve taslak yasaların 'yüksek riskli' ajanların somut bir tanımında ve platformların ve ödeme sistemlerinin gerçekten uygulayabileceği bir kanıt formatında birleşip birleşmediğidir. Eğer bu geçerliyse, kurulum anlatıdan ziyade yapısal görünmeye başlar, çünkü kanıt üretimi ve doğrulaması, isteğe bağlı özellikler yerine sürekli altyapı maliyetleri haline gelir.

Kaynaklar