Struct Ed25519Verify 

pub struct Ed25519Verify {
    pub specialized: bool,
    pub shared_sha: bool,
    pub mode: VerifyMode,
    pub shape: ShapeKnobs,
}

The Ed25519 verification module as a chip-planner component. Its plan is the best frontier::plan_verify_with build for the share and mode.

Fields

specialized: bool

Specialized memory layout instead of the as-built one.

shared_sha: bool

Hash through the shared SHA-512 line.

mode: VerifyMode

Verification mode; sets the verify program length (VerifyMode::bundles).

shape: ShapeKnobs

Block ratio and batch compression.

Trait Implementations

impl Clone for Ed25519Verify

fn clone(&self) -> Ed25519Verify

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Component for Ed25519Verify

Chip-planner interface of the verification module.

fn name(&self) -> String

Display name in the TUI.

fn role(&self) -> Role

Planner role, used to report delivered verifications.

fn knobs(&self) -> Vec<Knob>

Module set, SHA-512 source and verify mode, as choice knobs.

fn set_knob(&mut self, index: usize, value: f64)

Applies a knob change; value is the chosen label index (the mode knob indexes MODES).

fn plan(&self, share: &Share, cx: &Context) -> Option<Plan>

Best verification build within share, or None when nothing fits. On the shared line the plan demands two SHA-512 blocks per verification.

fn build_flags(&self, plan: &Plan) -> BuildFlags

Compile-time settings that would build this plan.

fn fixed(&self) -> Option<Cost>

An allowance taken off the top of the budget before the powers divide the rest (the SHA line’s part of the LUT split), or None to take a share of its side.

fn size_for(&self, _per_second: f64, _cx: &Context) -> Option<Cost>

A line that sizes itself to demand (“auto”): the allowance of its smallest build that supplies per_second units of what it supplies (SHA-512 blocks) at cx’s clock, or None when its size is set by hand (the default). The planner ([plan_chip]) calls it with the demand of the chip it plans, so the line never limits the chip.

fn resize(&mut self, _allowance: Cost)

Remember the allowance the planner settled on for an auto-sized line ([apply_layout] calls it), so fixed and the next plan start from it.

fn unavailable(&self) -> Option<String>

Why the current knob settings cannot be planned at all (an option that is offered but not implemented yet), or None. The TUI shows it instead of “nothing fits”.

fn ubft(&self) -> bool

A uBFT module: a service built to sit beside a uBFT replica (its streams and key slots), or the replica’s own footprint. Only the uBFT modes plan it, and they plan nothing else ([Mode::admits]).

impl Debug for Ed25519Verify

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Ed25519Verify

Defaults to the specialized layout, the shared line and known-key mode, the planner choosing the mix (manual weights start at 16:2:1).

fn default() -> Self

Returns the “default value” for a type.