অবৈধ প্রমাণের ঝুঁকির পর SP1-এর দুর্বলতা সংশোধন করা হয়েছে
Succinct তাদের SP1 zero-knowledge প্রুফ সিস্টেমে উচ্চ-গুরুত্বের একটি নির্ভরযোগ্যতা-সংক্রান্ত দুর্বলতার কথা প্রকাশ করেছে। ত্রুটিটি 6.0.0 থেকে 6.8.0 সংস্করণের নেটিভ Rust ভেরিফায়ারগুলোকে প্রভাবিত করেছিল এবং এর ফলে mainnet Prover Network অবৈধ এক্সিকিউশনের প্রুফ গ্রহণ করতে পারত। SP1-এর এই দুর্বলতার কারণ ছিল, ভেরিফায়ারগুলো ডেটা লেবেল পরীক্ষা করলেও সংরক্ষিত উপাদানের সংখ্যা দাবিকৃত মাত্রার সঙ্গে মেলে কি না তা যাচাই করত না। নির্দিষ্ট-আকৃতির Groth16 ও Plonk পরীক্ষা এবং অন-চেইন Solidity ভেরিফায়ার প্রভাবিত হয়নি। Succinct ২৪ সেপ্টেম্বর 6.8.1 সংস্করণ প্রকাশ করে, যাতে ডেসিরিয়ালাইজেশনের সময় দৈর্ঘ্য যাচাই যোগ করা হয়, এবং এটি mainnet-এ চালু করে। Immunefi-এর মাধ্যমে Vitalis Salis সমস্যাটি রিপোর্ট করেন। যারা নেটিভ Rust ভেরিফায়ার চালান এবং অবিশ্বস্ত প্রুভারদের প্রুফ গ্রহণ করেন, তাদের 6.8.1 সংস্করণে আপগ্রেড করা উচিত।
Neutral
এই দুর্বলতা উল্লেখযোগ্য নিরাপত্তা ঝুঁকি তৈরি করেছিল: এর সুযোগ নেওয়া হলে, প্রভাবিত SP1 নেটিভ Rust যাচাইকারীরা অবৈধ এক্সিকিউশন প্রুফ গ্রহণ করতে পারত, যা এগুলোর ওপর নির্ভরশীল অ্যাপ্লিকেশনগুলোর নিরাপত্তাকে সম্ভাব্যভাবে দুর্বল করে দিত। তবে প্রতিবেদনে বলা হয়েছে, Succinct একটি সমাধান প্রকাশ ও স্থাপন করেছে; অন্যদিকে নির্দিষ্ট-আকৃতির Groth16 ও Plonk যাচাই এবং অন-চেইন Solidity যাচাইকারীরা প্রভাবিত হয়নি। ফলে চলমান ও ব্যাপক বাজার-হুমকির ইঙ্গিত সীমিত। এর সবচেয়ে সম্ভাব্য সরাসরি প্রভাব হলো প্রভাবিত Rust যাচাইকারী ব্যবহারকারীদের জন্য লক্ষ্যভিত্তিক পরিচালনামূলক কাজ—ক্রিপ্টো দামে তাৎক্ষণিক চাপ নয়। স্বল্পমেয়াদে ট্রেডাররা SP1-সংশ্লিষ্ট প্রকল্প, যাচাই কার্যক্রম এবং শোষণ বা ক্ষতির কোনো তথ্য প্রকাশিত হয় কি না, সেদিকে আরও ঘনিষ্ঠ নজর রাখতে পারেন। দীর্ঘমেয়াদে, এই ঘটনা প্রুফ-সিস্টেম বাস্তবায়নের ওপর নজরদারি বাড়াতে এবং অডিট, সংস্করণ আপগ্রেড ও প্রতিরক্ষার একাধিক স্তরে যাচাইয়ের চাহিদা বাড়াতে পারে। তহবিল হারানো বা পুরো নেটওয়ার্কের পরিষেবা ব্যাহত হলে এ ধরনের অবকাঠামোগত দুর্বলতা বাজারে তীব্র ওঠানামা ঘটাতে পারে; তবে এখানে শোষণ বা দীর্ঘস্থায়ী বিঘ্নের প্রমাণ না থাকায় নিরপেক্ষ বাজারমূল্যায়নই অধিক উপযুক্ত।