MLDSA87Verify

التشفير

الوصف

تتحقق من توقيع ML-DSA-87 لمفتاح عام ورسالة وسياق اختياري

Function MLDSA87Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;

	القيمة True فقط عندما يكون PublicKey بطول 2592 بايت وSignature بطول 4627 بايت وContext بطول 255 بايتًا على الأكثر ويكون التوقيع أصيلًا
	القيمة False للأطوال غير الصالحة أو التلميحات المشوهة أو معاملات الاستجابة خارج المدى أو تجزئة الالتزام غير المطابقة

التحقق حتمي ويجري فحوص المعايرة في FIPS 204 قبل إعادة بناء الالتزام. ويغطي مجموعة الانحدار متجه الإجابة المعروفة الرسمي ومتجهات التوقيعات العبثية

if not MLDSA87Verify(PublicKey, Message, Context, Signature) then
  Reject(Message);