Anthropic FlashProve prototipini yayınladı
Anthropic'in Frontier Red Team ekibi, bir yanıtın belirli bir modelden geldiğini kanıtlayan açık kaynaklı FlashProve araştırma prototipini çıkardı.
Kısa Cevap
Anthropic'in Frontier Red Team ekibi, bir yanıtın belirli bir modelden geldiğini kriptografik olarak kanıtlayan açık kaynaklı FlashProve prototipini çıkardı. Sistem zkSNARK tabanlıdır, model ağırlıklarını göstermez ve Llama 4 Maverick üzerinde saniyede yaklaşık 110 token kanıtlama hızı sunar.
Bu yazıda öğrenecekleriniz
- Anthropic'in Frontier Red Team ekibi FlashProve adlı açık kaynaklı araştırma prototipini yayınladı.
- FlashProve, bir yanıtın taahhüt edilmiş bir modelden geldiğini kanıtlayan zkSNARK tabanlı bir sistemdir.
- Kanıt, model ağırlıkları hakkında hiçbir bilgi göstermez.
- Llama 4 Maverick modelinde 1 H100 üzerinde saniyede yaklaşık 110 token kanıtlama hızı elde edilmiştir.
- Kanıt boyutu 18,78 MB olup, CPU üzerinde 24 iş parçacığında 17 saniyede doğrulanmaktadır.
Anthropic'in Frontier Red Team ekibi, bir yanıtın taahhüt edilmiş bir modelden geldiğini kriptografik olarak kanıtlayan FlashProve adlı açık kaynaklı araştırma prototipini yayınladı. Sistem zkSNARK tabanlıdır ve model ağırlıkları hakkında hiçbir bilgi göstermez.
FlashProve, Llama 4 Maverick (400B MoE) modelinde 1 H100 80 GB GPU üzerinde saniyede yaklaşık 110 token kanıtlama hızı sunar. Sistem, 24 CPU çekirdeği ve yaklaşık 290 GB ana bellek gerektirirken, kanıt boyutu 18,78 MB'dır. Doğrulama işlemi CPU üzerinde 24 iş parçacığında 17 saniye, tek iş parçacığında ise 21 saniye sürer.
Kullanım senaryoları ve güvenlik özellikleri
Kullanıcılar, API çağrılarında hangi modelin yanıt verdiğini doğrulayabilirler. Regülatörler, donanımın çıkarıma hizmet ettiğini onaylayarak AI hızı kurallarını destekleyebilir veya yalnızca onaylanmış modellerin sunulmasını zorunlu kılabilir. Sistem, manipüle edilmiş çıkarma sunucularını tespit etme ve metin kökenini doğrulama yeteneğiyle birlikte, kriptografik e-posta imzalarıyla benzer bir mantık üzerinden sahteciliğe karşı dayanıklıdır.
Güvenlik özellikleri Lean dilinde resmi olarak doğrulanmıştır. FlashProve, Apache 2.0 lisansıyla GitHub'da açık kaynak olarak sunulmuştur. Anthropic veya başka bir lab tarafından dağıtılma planı bulunmamaktadır.
Sınırlamalar ve maliyet
İstek başına bağlam sınırı 1.024 token olarak belirlenmiştir. Kanıtlama maliyeti, düz vLLM çıkarımlarına göre GPU süresi açısından yaklaşık 70 ile 95 kat daha yüksektir. İstemci indirme boyutu yaklaşık 6,5 MB'dır ve çevrimdışı işlem süresi 39 dakikadır. Sistem, kapsanan istek sayısı olarak 16 milyon isteği içermektedir.
Anthropic araştırmacıları, bu paylaşımın ara aşama ilerlemeyi paylaşmak amacıyla yapıldığını ve tamamlanmış bir araştırma programı olmadığını belirtti.
Neden önemli?
FlashProve, kullanıcıların bir modele yönettiği sorguda hangi modelin yanıt ürettiğini doğrulamasını sağlar. Regülatörler için onaylanmış modellerin sunulmasını zorunlu kılma ve manipüle edilmiş çıkarma sunucularını tespit etme gibi güvenlik senaryoları sunar.
Kaynak: The Batch / MarkTechPost, TechCrunch AI
Temsili görsel: Valentin Ilas / Pexels
Sıkça Sorulan Sorular
FlashProve nedir?
FlashProve, Anthropic'in Frontier Red Team ekibi tarafından geliştirilen, bir yanıtın taahhüt edilmiş bir modelden geldiğini kanıtlayan açık kaynaklı bir zkSNARK araştırma prototipidir.
FlashProve hangi modelde test edilmiştir?
Sistem, Llama 4 Maverick (400B MoE) modelinde test edilmiştir.
FlashProve model ağırlıklarını gösteriyor mu?
Hayır, kanıt model ağırlıkları hakkında hiçbir bilgi göstermez.
FlashProve nasıl lisanslanmıştır?
Sistem Apache 2.0 lisansıyla GitHub'da açık kaynak olarak sunulmuştur.
Kaynaklar
Bu içerik düzenli olarak gözden geçirilir. Son kontrol: 4 Kasım 2026 · Markdown sürümü
