MLDSA87Verify

暗号

説明

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

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

	PublicKey が 2592 バイト、Signature が 4627 バイト、Context が最大 255 バイトで、署名が正真正銘である場合にのみ True
	長さが不正、ヒントが不正形式、応答係数が範囲外、コミットメントハッシュが一致しない場合に False

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

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