FlashProve Anthropic ma dowodzić, że model wskazany przez kryptograficzne zobowiązanie do jego wag wygenerował określone tokeny dla danego promptu. Dowód nie ocenia prawdziwości ani jakości odpowiedzi, a obecny prototyp obejmuje tylko konkretny sposób obliczeń. Anthropic opublikował FlashProve jako otwarty prototyp badawczy 2 listopada 2026 r.
Co potwierdza dowód FlashProve
FlashProve używa zkSNARK-ów, czyli zwięzłych argumentów wiedzy zerowej. Weryfikator może sprawdzić, czy model powiązany z wcześniej ustalonym zobowiązaniem do wag, po otrzymaniu promptu, wygenerował wskazane tokeny. Nie musi przy tym poznawać samych wag ani wartości pośrednich obliczeń.
To dowód pochodzenia wyniku, nie jego poprawności. Potwierdzenie, że określony model wygenerował tekst, samo w sobie nie mówi, czy zawarte w nim informacje są prawdziwe, bezpieczne lub dobrej jakości. Dowód nie ukrywa też architektury modelu.
Ile kosztuje generowanie dowodów
Anthropic sprawdził prototyp na modelu Llama 4 Maverick firmy Meta, używając publicznie dostępnych wag 4-bitowych. Model ma 400 mld parametrów, z których około 17 mld uczestniczy w obliczeniach dla każdego tokenu. W teście jedna karta H100 i 24 rdzenie CPU wygenerowały dowody dla partii 24 żądań w około 223 sekundy.
| Pomiar | Wynik zgłoszony przez Anthropic | Warunki |
| Generowanie dowodów | Około 110 tokenów na sekundę | Partia 24 żądań, jedna H100 i 24 rdzenie CPU; test na Llama 4 Maverick z wagami 4-bitowymi |
| Rozmiar dowodu | 18,78 MB na dowód | Test na Llama 4 Maverick |
| Weryfikacja | 17 sekund przy 24 wątkach lub 21 sekund przy jednym wątku | Weryfikacja na CPU, bez GPU |
| Zobowiązanie do modelu | Około 39 minut; użyteczne przez około 16 mln żądań | Jednorazowy etap dla danego modelu, po którym potrzebne jest nowe zobowiązanie |
| Porównanie z vLLM | 66–77 razy dłużej na GPU, średnio około 72 razy; około 94 razy przy najwyższym testowanym obciążeniu vLLM | Dowody dla partii 24 porównano z inferencją vLLM na ośmiu H100, używającą wersji tego modelu z wagami FP8 |
Różnica między generowaniem a sprawdzaniem dowodu jest istotna: w opisanym teście weryfikator potrzebował jedynie CPU, ale samo przygotowanie dowodów wiązało się ze znacznym dodatkowym czasem obliczeń. Podane pomiary pochodzą z testów Anthropic.
Jakie są ograniczenia obecnego prototypu
Dowód obejmuje dokładną całkowitoliczbową wersję opublikowanych wag i dekodowanie zachłanne, czyli wybieranie kolejnego tokenu według tej metody. Wynik uzyskany przy obliczeniach zmiennoprzecinkowych albo dekodowaniu z próbkowaniem może się różnić. Obsługiwany kontekst ma do 1 024 tokenów.
Anthropic udostępnił formalizację protokołu w Lean, lecz nie gwarantuje formalnie, że szybszy program wykonywalny w C++ jest z nią zgodny. Firma wskazuje też, że czas generowania dowodu może ujawnić informacje o wagach poprzez kanały boczne, których ten prototyp nie obejmuje.
Otwarty prototyp badawczy, nie wdrożona usługa
Anthropic opisał FlashProve jako etap prac badawczych i udostępnił kod, dowody Lean oraz dokumentację na licencji Apache 2.0. Wagi Llama 4 Maverick nie wchodzą w skład wydania; trzeba je uzyskać osobno na warunkach licencji Meta. TechCrunch podał 3 listopada 2026 r., że Anthropic nie planował wdrażać FlashProve ani w swojej organizacji, ani w innym laboratorium.
