Struct StateStack

pub struct StateStack {
    pub init: Fp,
    pub curr: Fp,
}

Fields

init: Fp

curr: Fp

Implementations

impl StateStack

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

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

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

fn check_merge( (s1, t1): (&Self, &Self), (s2, t2): (&Self, &Self), w: &mut Witness<Fp>, ) -> Boolean

fn empty() -> Self

fn is_empty(&self) -> bool

Used for tests/debug only

fn create(init: Fp) -> Self

Trait Implementations

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

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

impl Clone for StateStack

fn clone(&self) -> StateStack

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateStack

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

Formats the value using the given formatter.

impl From<&StateStack> for MinaBasePendingCoinbaseStateStackStableV1

fn from(value: &StateStack) -> Self

Converts to this type from the input type.

impl PartialEq for StateStack

fn eq(&self, other: &StateStack) -> 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<Fp256<FpParameters>> for StateStack

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

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

impl ToInputs for StateStack

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

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

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 Eq for StateStack

impl StructuralPartialEq for StateStack