MLDSA87Verify

암호학

설명

공개키, 메시지, 선택적 컨텍스트에 대해 ML-DSA-87 서명을 검증합니다

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

	PublicKey가 2592바이트, Signature가 4627바이트, Context가 최대 255바이트이고 서명이 진본일 때만 True
	길이가 잘못되었거나, 힌트가 형식에 맞지 않거나, 응답 계수가 범위를 벗어나거나, 커밋먼트 해시가 일치하지 않으면 False

검증은 결정적으로 수행되며 커밋먼트를 재구성하기 전에 FIPS 204 규범 검사를 실행합니다. 공식 known-answer 벡터와 변조된 서명 벡터는 회귀 테스트 스위트로 검증됩니다

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