Crate hop_actions 

Canonically encoded polynomial actions for HOP channels.

An action describes the linear transform g(C) for a channel companion matrix C. Actions over the same matrix commute, because they are polynomials in the same matrix.

Structs

Action

A channel action represented by a polynomial in the channel matrix.

ActionSeq

An ordered sequence of actions.

Attestation

An opaque signature over a subject and capability.

Capability

Limits an action polynomial to a topic and maximum degree.

Enums

ActionError

Errors produced while validating or evaluating an action.

Functions

action_transform

Evaluates an action polynomial as g(C) using checked HOP Core operations.

apply_action

Applies the action transform g(C) to a channel state.

hash_action

Returns the domain-separated canonical SHA-256 hash of an action.