اوڈیلی پلانٹ ریپورٹ کے مطابق، Anthropic نے زیرو کنوس (zkSNARK) پر مبنی اوپن سورس AI انفرنس ویریفکیشن سسٹم FlashProve جاری کیا ہے، جس میں StarkWare کے ملکہ متحد ایلیسینڈرو کیسا نے تحقیق میں شرکت کی۔ یہ سسٹم بلاکچین ZK ٹیکنالوجی سے ماخوذ کرپٹوگرافک طریقہ کار استعمال کرتا ہے تاکہ صارفین کو ماڈل وزن حاصل کرنے یا ماڈل دوبارہ رن کرنے کی ضرورت نہ پڑے، اور یہ تصدیق کر سکیں کہ AI آؤٹ پٹ کسی مخصوص ماڈل سے تھا۔
Anthropic نے کہا کہ Claude نے سسٹم کے بہترین بنانے میں حصہ لیا ہے، اور اب متعلقہ کوڈ اور Lean فارمل پرووฟز اوپن سورس ہو چکے ہیں۔ یہ سسٹم اب بھی تحقیقی پروٹو ٹائپ کی حیثیت رکھتا ہے، اور پرووฟ بنانے کے لیے GPU کا وقت عام استدلال کے مقابلے میں 70–95 گنا زیادہ ہے۔
ٹیسٹس نے ظاہر کیا کہ FlashProve ایک H100 GPU پر Meta کے 400 ارب پیرامیٹر مدل Llama 4 Maverick کے لیے تقریباً 110 ٹوکن فی سیکنڈ کی رفتار سے ثبوت پیدا کرتا ہے، جس کا ایک ثبوت تقریباً 19 میگابائٹ ہے۔