Odaily星球日报'a göre Anthropic, sıfır bilgi kanıtı (zkSNARK) temelli açık kaynaklı AI çıkarım doğrulama sistemi FlashProve'yi yayınladı ve StarkWare ortak kurucusu Alessandro Chiesa araştırmaya katıldı. Bu sistem, blockchain ZK teknolojisiyle aynı kökene sahip kriptografik yöntemleri kullanarak, kullanıcıların model ağırlıklarını almadan veya modeli yeniden çalıştırmadan, AI çıktısının belirtilen model tarafından oluşturulup oluşturulmadığını doğrulamalarını sağlar.
Anthropic, Claude'nin sistem optimizasyonuna katıldığını ve ilgili kodun ile Lean formel kanıtının açık kaynak haline getirildiğini belirtti. Sistem hâlâ araştırma prototipi aşamasındadır ve kanıt oluşturma için GPU zaman maliyeti, normal çıkarımın yaklaşık 70–95 katıdır.
Testler, FlashProve'in tek bir H100 GPU üzerinde Meta'nın 400 milyar parametreli Llama 4 Maverick modeli için yaklaşık saniyede 110 Token hızında, her biri yaklaşık 19 MB boyutunda kanıt oluşturabileceğini göstermektedir.