Module tasks 

Exact, message-dependent verification work accounting.

Verification emits only mask, real chain, and public-key endpoint-hash tasks. A skipped chain position is a bypass and never appears in the task set. The baseline deliberately derives mask zero to match the current software oracle’s sixteen-mask work contract, even though verification only consumes masks one through fifteen.

Constants

VERIFY_MASK_TASKS

Mask PRFs in the frozen current-oracle verifier contract.

VERIFY_MAX_CHAIN_TASKS

Maximum real chain hashes over every possible 32-byte message digest.

VERIFY_MAX_SHA_TASKS

Maximum complete SHA verifier task count.

VERIFY_MIN_CHAIN_TASKS

Minimum real chain hashes over every possible 32-byte message digest.

VERIFY_MIN_SHA_TASKS

Minimum complete SHA verifier task count.

VERIFY_PUBLIC_KEY_TASKS

Serialized SHA-256 blocks in the 2,144-byte endpoint hash.

Functions

canonical_verification_tasks

Construct the unordered, unique set of all real verifier tasks.

verification_chain_count

Host-side exact chain count, rejecting digits outside base 16.

verification_chain_count_kernel

Count real chain hashes from already-derived WOTS digits.

verification_chain_fields_kernel

Build the one canonical chain tag named by a verifier segment stage.

verification_fields_are_canonical_kernel

Encode and validate one verifier-owned task tag.

verification_message_task_count_kernel

Derive digits and exact SHA task count from a 32-byte message digest.

verification_sha_task_count

Host-side exact SHA compression count for a valid message digit array.

verification_sha_task_count_kernel

Count exact SHA-256 compression tasks for one verifier operation.

verification_tag_is_well_formed_kernel

Return whether a tag is canonical and belongs to the verifier task subset.