MLDSA44Verify

暗号

説明

公開鍵、メッセージ、省略可能なコンテキストに対するML-DSA-44署名を検証します

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

	PublicKeyが1312バイト、Signatureが2420バイト、Contextが最大255バイトで、署名が本物である場合にだけTrueです
	長さが無効、不正なヒント、範囲外の応答係数、一致しないコミットメントハッシュの場合はFalseです

検証は決定論的で、コミットメントを再構築する前にFIPS 204のノルム検査を実行します。公式の既知回答ベクトルと改ざん署名ベクトルは回帰スイートでカバーされています

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