Struct Stack 

pub struct Stack {
    pub data: CoinbaseStack,
    pub state: StateStack,
}

Fields

data: CoinbaseStack

state: StateStack

Implementations

impl Stack

pub fn empty() -> Self

pub fn push_coinbase(&self, cb: Coinbase) -> Self

pub fn push_state(&self, state_body_hash: Fp, global_slot: Slot) -> Self

pub fn checked_push_coinbase(&self, cb: Coinbase, w: &mut Witness<Fp>) -> Self

pub fn checked_push_state( &self, state_body_hash: Fp, global_slot: CheckedSlot<Fp>, w: &mut Witness<Fp>, ) -> Self

pub fn equal_var(&self, other: &Self, w: &mut Witness<Fp>) -> Boolean

pub fn check_merge( transition1: (&Self, &Self), transition2: (&Self, &Self), w: &mut Witness<Fp>, ) -> Boolean

pub fn create_with(other: &Self) -> Self

https://github.com/MinaProtocol/mina/blob/05c2f73d0f6e4f1341286843814ce02dcb3919e0/src/lib/mina_base/pending_coinbase.ml#L651

pub fn var_create_with(other: &Self) -> Self

https://github.com/MinaProtocol/mina/blob/f5b013880dede0e2ef04cebf4b0213b850a85548/src/lib/mina_base/pending_coinbase.ml#L738

pub fn connected(first: &Self, second: &Self, prev: Option<&Self>) -> bool

https://github.com/MinaProtocol/mina/blob/2ee6e004ba8c6a0541056076aab22ea162f7eb3a/src/lib/mina_base/pending_coinbase.ml#L658

fn hash_var(&self, w: &mut Witness<Fp>) -> Fp

Trait Implementations

impl<F: FieldWitness> Check<F> for Stack

fn check(&self, _w: &mut Witness<F>)

impl Clone for Stack

fn clone(&self) -> Stack

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Stack

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

Formats the value using the given formatter.

impl From<&Stack> for MinaBasePendingCoinbaseStackVersionedStableV1

fn from(value: &Stack) -> Self

Converts to this type from the input type.

impl PartialEq for Stack

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ToFieldElements<Fp<MontBackend<FqConfig, 4>, 4>> for Stack

fn to_field_elements(&self, fields: &mut Vec<Fp>)

fn to_field_elements_owned(&self) -> Vec<F>

impl ToInputs for Stack

fn to_inputs(&self, inputs: &mut Inputs)

https://github.com/MinaProtocol/mina/blob/4e0b324912017c3ff576704ee397ade3d9bda412/src/lib/mina_base/pending_coinbase.ml#L591

fn to_inputs_owned(&self) -> Inputs

fn hash_with_param(&self, param: &LazyParam) -> Fp

fn checked_hash_with_param(&self, param: &LazyParam, w: &mut Witness<Fp>) -> Fp

impl TreeHasher<Stack> for StackHasher

fn hash_value(value: &Stack) -> Fp

fn merge_hash(height: usize, left: Fp, right: Fp) -> Fp

fn empty_value() -> Stack

impl TryFrom<&MinaBasePendingCoinbaseStackVersionedStableV1> for Stack

type Error = InvalidBigInt

The type returned in the event of a conversion error.

fn try_from( value: &MinaBasePendingCoinbaseStackVersionedStableV1, ) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for Stack

impl StructuralPartialEq for Stack