Struct BlockOutputs 

pub struct BlockOutputs { /* private fields */ }

The public outputs produced by the block kernel.

This is the parsed, typed form of the kernel’s output stack.

Implementations

impl BlockOutputs

pub const BLOCK_COMMITMENT_WORD_IDX: usize = 0

The element index at which the block commitment word starts on the output stack.

pub const NULLIFIER_COMMITMENT_WORD_IDX: usize = 4

The element index at which the nullifier commitment word starts on the output stack.

pub fn new(block_commitment: Word, nullifier_commitment: Word) -> Self

Returns a new BlockOutputs instantiated from the provided data.

pub fn parse(stack: &StackOutputs) -> Result<Self, BlockOutputError>

Parses the block kernel’s output stack into a BlockOutputs.

Errors

Returns BlockOutputError::PaddingNotZero if the cells following the nullifier commitment (positions 8..16) are not all zero.

pub fn block_commitment(&self) -> Word

Returns the commitment of the block header created by the block kernel.

pub fn nullifier_commitment(&self) -> Word

Returns the commitment to the set of nullifiers created in the block.

pub fn into_stack_outputs(self) -> StackOutputs

Encodes these BlockOutputs into the block kernel’s output stack.

This is the inverse of BlockOutputs::parse; the resulting stack is laid out as:

[BLOCK_COMMITMENT, NULLIFIER_COMMITMENT]

Trait Implementations

impl Clone for BlockOutputs

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockOutputs

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

Formats the value using the given formatter.

impl Eq for BlockOutputs

impl PartialEq for BlockOutputs

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BlockOutputs