Module verify 

High-throughput strict Ed25519 verification for 64-byte messages.

StrictVerifyCore evaluates the complete Ed25519 equation in hardware: SHA-512 challenge hashing, reduction modulo l, strict point decoding, fixed-base [S]B, variable-base [k]A, and the projective equality check. Intermediate points are joined by a 64-entry on-chip context store. No prehashing, external DRAM, HBM, or host arithmetic is part of the path.

Structs

StrictVerifyCore

Entire strict verifier, expressed as one synthesizable RHDL module graph.

StrictVerifyIn

Input channel of StrictVerifyCore.

StrictVerifyOut

Output and flow control of StrictVerifyCore.

Constants

VERIFY_BAD_PUBLIC_KEY

Public-key encoding is not canonical or not on the curve.

VERIFY_BAD_R

Signature R encoding is not canonical or not on the curve.

VERIFY_EQUATION_FAILURE

The Ed25519 group equation did not hold.

VERIFY_NONCANONICAL_S

Signature scalar S is not canonical.

VERIFY_OK

Verification completed successfully.

VERIFY_SMALL_PUBLIC_KEY

Public key is a low-order point.

VERIFY_SMALL_R

Signature R is a low-order point.

Functions

strict_verify_kernel

State transition for StrictVerifyCore.