Odaily Planet Daily melaporkan bahwa Anthropic meluncurkan sistem verifikasi inferensi AI open-source bernama FlashProve yang didasarkan pada zero-knowledge proof (zkSNARK), dengan partisipasi Alessandro Chiesa, salah satu pendiri StarkWare, dalam penelitiannya. Sistem ini memanfaatkan metode kriptografi yang berasal dari teknologi ZK blockchain, memungkinkan pengguna untuk memverifikasi apakah output AI dihasilkan oleh model yang ditentukan tanpa perlu mengakses bobot model atau menjalankan ulang model.
Anthropic menyatakan bahwa Claude terlibat dalam optimasi sistem, dan kode terkait serta bukti formalisasi Lean kini telah dirilis sebagai sumber terbuka. Sistem ini masih berada pada tahap prototipe penelitian, dengan biaya waktu GPU untuk menghasilkan bukti sekitar 70–95 kali lebih besar daripada inferensi biasa.
Pengujian menunjukkan bahwa FlashProve dapat menghasilkan bukti untuk model Llama 4 Maverick dengan 400 miliar parameter milik Meta dengan kecepatan sekitar 110 Token per detik pada satu GPU H100, dengan setiap bukti berukuran sekitar 19 MB.