ما يثبته المصدر الأولي

يضيف EIP-2537 عمليات مدمجة على المنحنى BLS12-381، منها التحقق من الاقتران. وتقيس العملية علاقة رياضية بين النقاط المدخلة. ويمكن استخدامها ضمن التحقق من توقيع أو برهان. Ethereum EIP-2537 ↗

ما يتغير في التحليل

إذا اشترط عقد عدة موافقات لصرف الأموال، فصحة المعادلة جزء من التحقق. على التطبيق ربط الرسالة بالعملية والشبكة المقصودتين والتحقق من أن مفاتيح التوقيع مخولة.

ما يجب التحقق منه قبل الاستنتاج

قد تؤدي نقطة خارج المجموعة الفرعية المطلوبة إلى خطأ في الاستدعاء. أما الإدخال السليم الذي لا يحقق المعادلة فيعطي نتيجة سلبية. ويستحسن اختبار الحالتين إلى جانب توقيع صحيح رياضيا صادر عن مفتاح غير مخول.