1 / SIMD-0334 ، بواسطة ستانيسلاف ليديجنسكي ، يصلح فحص نظام سولانا alt_bn128_pairing. يضيف فحصا مناسبا للطول على وحدات بايت الإدخال لأزواج المنحنى الإهليلجي ، مما يمنع أي إساءة استخدام مع مدخلات ذات حجم غير صحيح. دعنا نفصل ما يعنيه 🧵 هذا

2 / alt_bn128_pairing هو نظام للاقتران على المنحنى الإهليلجي BN128 المستخدم في براهين المعرفة الصفرية. يأخذ قائمة بنقاط المنحنى كمدخلات. كل زوج من النقاط هو 192 بايت ، لذلك يجب أن تكون المدخلات الصالحة من مضاعفات 192 بايت.

3 / المشكلة: استخدم فحص الطول checked_rem Rust بشكل غير صحيح. checked_rem فقط إرجاع None عند القسمة على صفر، لذلك لم يفشل الفحص أبدا مع 192. نتيجة لذلك ، سيتم تشغيل نظام الاقتران حتى لو لم يكن الإدخال من مضاعفات 192.

4 / الإصلاح: تأكد من أن طول الإدخال هو مضاعف 192 وخرج الخطأ إذا لم يكن كذلك. هذا يلتقط أي بايت متبقي على الفور بدلا من تجاهلها بصمت. تغييرات الكود في solana-sdk ويتم شحنها مع Agave v3.1.0.