MLDSA87Verify
密碼編譯
描述
針對公鑰、訊息與選用脈絡驗證 ML-DSA-87 簽章
語法
Delphi
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);