Odaily Planet Daily melaporkan bahawa Anthropic telah melancarkan sistem pengesahan inferens AI sumber terbuka bernama FlashProve yang berasaskan bukti tanpa pengetahuan (zkSNARK), dengan penyertaan Alessandro Chiesa, salah seorang penubuh bersama StarkWare, dalam penyelidikan. Sistem ini menggunakan kaedah kriptografi yang bersumber daripada teknologi ZK blockchain, membolehkan pengguna mengesahkan sama ada output AI dihasilkan oleh model yang ditentukan tanpa perlu mendapatkan timbangan model atau menjalankan semula model.
Anthropic menyatakan bahawa Claude terlibat dalam pengoptimuman sistem, dan kod berkaitan serta bukti formalisasi Lean kini telah dibuka sumber. Sistem ini masih berada dalam peringkat prototaip penyelidikan, dengan penggunaan masa GPU untuk menghasilkan bukti kira-kira 70–95 kali ganda lebih tinggi daripada inferens biasa.
Ujian menunjukkan bahawa FlashProve dapat menghasilkan bukti untuk model Llama 4 Maverick milik Meta dengan 400 bilion parameter pada satu GPU H100 pada kadar sekitar 110 token per saat, dengan setiap bukti berukuran sekitar 19 MB.




