Odaily Planet Daily повідомляє, що Anthropic запустила відкриту систему верифікації AI-виведення FlashProve на основі нульових знань (zkSNARK), у дослідженні якої взяла участь співзасновниця StarkWare АLESSANDRO CHIESA. Система використовує криптографічні методи, спільні з технологіями ZK блокчейну, що дозволяє користувачам перевірити, чи було виведення AI створено вказаним моделлю, не отримуючи ваги моделі чи не запускаючи її знову.
Anthropic зазначила, що Claude брав участь у оптимізації системи, і зараз відкрито код та Lean-формалізовані доведення. Ця система все ще перебуває на етапі дослідного прототипу, а витрати часу GPU на генерацію доведень становлять приблизно 70–95 разів більше, ніж звичайний висновок.
Тестування показало, що FlashProve може генерувати докази для моделі Llama 4 Maverick з 400 мільярдами параметрів від Meta зі швидкістю приблизно 110 токенів за секунду на одній GPU H100, при цьому кожен доказ має розмір близько 19 МБ.




