Anthropic, kripto dünyasındaki sıfır bilgi ispatını yapay zeka çıkarımına taşıdı ve modellerin gizlice "değiştirilmesini" önlüyor.

动察 Beating AI hızlı haber: Anthropic, FlashProve'u açık kaynak olarak yayınladı ve kripto para alanında yaygın olarak kullanılan zkSNARK (sıfır bilgi ispatı) teknolojisini AI model çıkarımına taşıdı.

Bu teknoloji aslında işlem detaylarını açıklamadan blokzincir işlemlerinin geçerliliğini kanıtlayabiliyordu. Anthropic bunu başka bir sorunu çözmek için kullanmak istiyor: Kullanıcılar belirli bir AI modelinin API'sini yüksek fiyata satın aldığında, hizmet sağlayıcının gizlice daha ucuz bir modelle değiştirip değiştirmediğini nasıl bilebilir?

FlashProve, hizmet sağlayıcının önce model ağırlıkları için şifreli bir parmak izi oluşturmasını, ardından çıkarım sonuçları için matematiksel bir kanıt sunmasını sağlıyor. Kullanıcılar model ağırlıklarını elde etmek veya modeli yeniden çalıştırmak zorunda kalmadan, belirli bir çıktının önceden taahhüt edilen ağırlık kümesinden gelip gelmediğini kontrol edebiliyor. Claude da bu sistemin araştırma ve optimizasyonuna katıldı.

Anthropic, deneyi Meta'nın 400 milyar parametreli modeli Llama 4 Maverick üzerinde tamamladı. Her 1024 token'lık bağlam işlendiğinde, oluşturulan kanıt yaklaşık 19 MB boyutunda ve normal bir CPU ile doğrulama yaklaşık 17 saniye sürüyor.

Ancak şu anda her kanıt yalnızca bir çıktı token'ını doğrulayabiliyor; tüm yanıtı doğrulamak henüz mümkün değil. Kanıt oluşturmak için gereken GPU hesaplama süresi de normal çıkarımın yaklaşık 70–95 katına ulaşıyor. Bunun gelecekte gizlice model değiştiren API hizmet sağlayıcılarını ortaya çıkarıp çıkaramayacağı, kanıt maliyetlerinin ne zaman düşeceğine bağlı.