ওডেইলি প্ল্যানেট ডেলি সংবাদ: এনথ্রোপিক জিরো-কিনোলেজ প্রুফ (zkSNARK) ভিত্তিক ওপেন-সোর্স এআই ইনফারেন্স ভেরিফিকেশন সিস্টেম ফ্ল্যাশপ্রুভ প্রকাশ করেছে, যাতে স্টার্কওয়ারের সহ-প্রতিষ্ঠাতা অ্যালেস্সান্দ্রো চিয়েসা গবেষণায় অংশগ্রহণ করেছেন। এই সিস্টেমটি ব্লকচেইন ZK প্রযুক্তির সমান ক্রিপ্টোগ্রাফিক পদ্ধতির ব্যবহার করে, যাতে ব্যবহারকারীদের মডেলেরওয়েটস পাওয়ার বা মডেলটি পুনরায় চালানোর প্রয়োজন ছাড়াই এআই আউটপুটটি নির্দিষ্ট মডেল দ্বারা তৈরি হয়েছে কিনা তা যাচাই করা যায়।
অ্যানথ্রোপিক জানিয়েছে যে, Claude সিস্টেম অপ্টিমাইজেশনে অংশগ্রহণ করেছে এবং এখন পর্যন্ত সংশ্লিষ্ট কোড এবং লিয়ান ফরমাল প্রমাণ ওপেন-সোর্স করা হয়েছে। এই সিস্টেমটি এখনও গবেষণা প্রোটোটাইপ পর্যায়ে রয়েছে, এবং প্রমাণ তৈরির জন্য GPU সময়ের খরচ সাধারণ ইনফারেন্সের 70–95 গুণ।
পরীক্ষায় দেখা গেছে যে, FlashProve একটি H100 GPU-এ Meta-এর 400 বিলিয়ন প্যারামিটার বিশিষ্ট Llama 4 Maverick মডেলের জন্য প্রায় 110 টোকেন/সেকেন্ড গতিতে প্রমাণ তৈরি করতে পারে, যার প্রতিটি প্রমাণ প্রায় 19 MB।