Odaily स्टार प्लैनेट डेली के अनुसार, Anthropic ने जीरो-क्नोलेज प्रूफ (zkSNARK) पर आधारित ओपन-सोर्स AI इन्फरेंस वेरिफिकेशन सिस्टम FlashProve लॉन्च किया है, जिसमें StarkWare के सह-संस्थापक Alessandro Chiesa ने शोध में भाग लिया है। यह सिस्टम ब्लॉकचेन ZK तकनीक से समान क्रिप्टोग्राफिक विधियों का उपयोग करता है, जिससे उपयोगकर्ता को मॉडल वेट्स प्राप्त करने या मॉडल को पुनः चलाने की आवश्यकता के बिना यह सत्यापित किया जा सकता है कि AI आउटपुट निर्दिष्ट मॉडल द्वारा उत्पन्न हुआ है।
Anthropic ने बताया कि Claude ने सिस्टम अनुकूलन में भाग लिया है, और अब संबंधित कोड और Lean फॉर्मल प्रमाण ओपन सोर्स हो चुके हैं। यह सिस्टम अभी अनुसंधान प्रोटोटाइप चरण में है, और प्रमाण उत्पन्न करने के लिए GPU समय का खर्च सामान्य निष्कर्षण की तुलना में 70–95 गुना है।
टेस्टिंग दिखाती है कि FlashProve एक अकेले H100 GPU पर Meta के 400 बिलियन पैरामीटर मॉडल Llama 4 Maverick के लिए लगभग 110 टोकन प्रति सेकंड की दर से साबिती उत्पन्न कर सकता है, जहां प्रत्येक साबिती लगभग 19 MB है।




