Anthropic udostępnia FlashProve, otwarty prototyp dowodzenia inferencji modeli

2 listopada 2026 roku Frontier Red Team w Anthropic, razem z badaczami m.in. z EPFL i MIT, opisał postępy w dowodzeniu inferencji (provable inference). Chodzi o to, by ktoś z niewielką mocą obliczeniową i bez dostępu do wag mógł sprawdzić, że odpowiedź naprawdę pochodzi od modelu, który deklaruje dostawca. Anthropic podaje przykłady: niezależnych ewaluatorów, którzy muszą wiedzieć, jaki model testują, klientów korzystających z modelu przez usługę pośredniczącą oraz strumień tokenów podmieniony przez atakującego.

System FlashProve opiera się na rodzaju dowodów z wiedzą zerową nazywanym zkSNARK. Według Anthropic to Claude wypracował usprawnienia, dzięki którym jest on znacznie szybszy od wcześniejszych otwartych systemów. Dla Llama 4 Maverick, modelu mixture-of-experts z 400 mld parametrów i wagami 4-bitowymi, jeden GPU H100 generuje dowody z prędkością około 110 tokenów na sekundę, a dowód dla zapytania o długości 1024 tokenów ma około 19 MB. To mniej więcej 70–95 razy więcej czasu GPU niż samo uruchomienie modelu w vLLM. Dowody ukrywają wagi, ale nie architekturę, a główne gwarancje bezpieczeństwa zapisano i udowodniono w Lean.

Anthropic nazywa to prototypem badawczym. Kontekst jest ograniczony do 1024 tokenów, dowód dotyczy całkowitoliczbowej wersji modelu przy dekodowaniu zachłannym, system zakłada model typu mixture-of-experts, a ataki typu side-channel nie są objęte zabezpieczeniami. Kod, dowody w Lean, specyfikacja protokołu i raport techniczny są dostępne na licencji Apache 2.0.