Module miden_core::code_blocks

Structs

• Call
  A code block describing a function call.
• Join
  A code block used to combine two other code blocks.
• Loop
  A code block used to describe condition-based iterative execution.
• OpBatch
  A batch of operations in a Span block.
• Proxy
  A code block used to conceal a part of a program.
• Span
  A code block used to describe a linear sequence of operations (i.e., no branching or loops).
• Split
  A code block used to describe conditional execution.

Enums

• CodeBlock
  TODO: add comments

Constants

• OP_BATCH_SIZE
  Maximum number of groups per batch.
• OP_GROUP_SIZE
  Maximum number of operations per group.

Functions

• get_span_op_group_count
  Returns the total number of operation groups in a span defined by the provides list of operation batches.