Module framing 

Canonical 35-beat input framing for profile-separated WOTS verification.

The byte stream is signature || public_seed || public_key_hash || message. At 2,240 bytes it occupies exactly thirty-five 512-bit transfers. Every byte lane is valid and last is asserted only on beat 34. Serialized values do not carry a profile tag; callers must select the profile through an authenticated, compile-time-separated top.

Structs

VerifyBeatHalves

Two canonical 32-byte hash values carried by one 512-bit beat.

VerifyFrame

Raw verifier-frame storage carrying a caller-selected profile type P.

VerifyFrameBeat

One host-side verifier input beat.

VerifyStreamBeat

One RHDL-visible 512-bit verifier transfer.

Enums

VerifyFrameError

Canonical verifier-frame validation failures.

Constants

VERIFY_BEAT_BYTES

Bytes transferred by one verifier input beat.

VERIFY_FULL_KEEP

Canonical keep mask for every verifier input beat.

VERIFY_INPUT_BEATS

Exact verifier input-frame length in 512-bit beats.

VERIFY_INPUT_BYTES

Exact verifier input-frame size in bytes.

Functions

pack_verify_input

Pack one exact signature, public key, and already-hashed message.

unpack_verify_input

Validate and unpack a verifier input frame.

verify_beat_halves_kernel

Split a verifier beat without changing byte order.

verify_hash_equal_kernel

Compare two 256-bit values without data-dependent early exit.