Module protocol 

Stable typed protocol for the fixed-64 signing and verification core.

Structs

CoreResult

A retired sign or strict-verification operation.

Fast64CoreIn

Public input contract of the fixed-64 black box.

Fast64CoreOut

Public output contract of the fixed-64 black box.

SignRequest

Signing request accepted by the cached-key fixed-64 datapath.

VerifyRequest

Strict-verification request accepted by the fixed-64 datapath.

Words512

A 512-bit value represented as little-endian 64-bit words.

Functions

idle_result

Return an inactive black-box result.

zero_verify_request

Construct an inactive, all-zero strict-verification request.