Struct miden_core::code_blocks::Span

pub struct Span { /* private fields */ }

Block for a linear sequence of operations (i.e., no branching or loops).

Executes its operations in order. Fails if any of the operations fails.

A span is composed of operation batches, operation batches are composed of operation groups, operation groups encode the VM’s operations and immediate values. These values are created according to these rules:

• A span contains one or more batches.
• A batch contains exactly 8 groups.
• A group contains exactly 9 operations or 1 immediate value.
• NOOPs are used to fill a group or batch when necessary.
• An immediate value follows the operation that requires it, using the next available group in the batch. If there are no batches available in the group, then both the operation and its immediate are moved to the next batch.

Example: 8 pushes result in two operation batches:

• First batch: First group with 7 push opcodes and 2 zero-paddings packed together, followed by 7 groups with their respective immediate values.
• Second batch: First group with the last push opcode and 8 zero-paddings packed together, followed by one immediate and 6 padding groups.

The hash of a span block is:

hash(batches, domain=SPAN_DOMAIN)

Where batches is the concatenation of each batch in the span, and each batch is 8 field elements (512 bits).

Implementations

impl Span

pub const DOMAIN: Felt = ZERO

The domain of the span block (used for control block hashing).

pub fn new(operations: Vec<Operation>) -> Self

Returns a new Span block instantiated with the specified operations.

Errors (TODO)

Returns an error if:

• operations vector is empty.
• operations vector contains any number of system operations.

pub fn with_decorators( operations: Vec<Operation>, decorators: DecoratorList ) -> Self

Returns a new Span block instantiated with the specified operations and decorators.

Errors (TODO)

Returns an error if:

• operations vector is empty.
• operations vector contains any number of system operations.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn op_batches(&self) -> &[OpBatch]

Returns list of operation batches contained in this span block.

pub fn replicate(&self, num_copies: usize) -> Self

Returns a new Span block instantiated with operations from this block repeated the specified number of times.

pub fn decorators(&self) -> &DecoratorList

Returns a list of decorators in this span block

pub fn decorator_iter(&self) -> DecoratorIterator<'_>

Returns a DecoratorIterator which allows us to iterate through the decorator list of this span block while executing operation batches of this span block

Trait Implementations

impl Clone for Span

fn clone(&self) -> Span

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Span

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

Formats the value using the given formatter.

impl Display for Span

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

Formats the value using the given formatter.