Struct snarkvm_ledger_block::transition::Transition

pub struct Transition<N: Network> { /* private fields */ }

Implementations

impl<N: Network> Transition<N>

pub fn to_root(&self) -> Result<Field<N>>

Returns the transition root, by computing the root for a Merkle tree of the input and output IDs.

pub fn to_path(&self, leaf: &TransitionLeaf<N>) -> Result<TransitionPath<N>>

Returns the Merkle path for the transition leaf.

pub fn to_leaf( &self, id: &Field<N>, is_input: bool ) -> Result<TransitionLeaf<N>>

Returns the Merkle leaf for the given input or output ID in the transition.

pub fn to_tree(&self) -> Result<TransitionTree<N>>

The Merkle tree of input and output IDs for the transition.

impl<N: Network> Transition<N>

pub fn new( program_id: ProgramID<N>, function_name: Identifier<N>, inputs: Vec<Input<N>>, outputs: Vec<Output<N>>, tpk: Group<N>, tcm: Field<N> ) -> Result<Self>

Initializes a new transition.

pub fn from( request: &Request<N>, response: &Response<N>, output_types: &[ValueType<N>], output_registers: &[Option<Register<N>>] ) -> Result<Self>

Initializes a new transition from a request and response.

impl<N: Network> Transition<N>

pub const fn id(&self) -> &N::TransitionID

Returns the transition ID.

pub const fn program_id(&self) -> &ProgramID<N>

Returns the program ID.

pub const fn function_name(&self) -> &Identifier<N>

Returns the function name.

pub fn inputs(&self) -> &[Input<N>]

Returns the inputs.

pub fn outputs(&self) -> &[Output<N>]

Return the outputs.

pub const fn tpk(&self) -> &Group<N>

Returns the transition public key.

pub const fn tcm(&self) -> &Field<N>

Returns the transition commitment.

impl<N: Network> Transition<N>

pub fn is_bond(&self) -> bool

Returns true if this is a bond transition.

pub fn is_unbond(&self) -> bool

Returns true if this is an unbond transition.

pub fn is_fee_private(&self) -> bool

Returns true if this is a fee_private transition.

pub fn is_fee_public(&self) -> bool

Returns true if this is a fee_public transition.

pub fn is_split(&self) -> bool

Returns true if this is a split transition.

impl<N: Network> Transition<N>

pub fn contains_serial_number(&self, serial_number: &Field<N>) -> bool

Returns true if the transition contains the given serial number.

pub fn contains_commitment(&self, commitment: &Field<N>) -> bool

Returns true if the transition contains the given commitment.

impl<N: Network> Transition<N>

pub fn find_record( &self, commitment: &Field<N> ) -> Option<&Record<N, Ciphertext<N>>>

Returns the record with the corresponding commitment, if it exists.

impl<N: Network> Transition<N>

pub fn input_ids(&self) -> impl '_ + ExactSizeIterator<Item = &Field<N>>

Returns the input IDs.

pub fn serial_numbers(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the serial numbers, for inputs that are records.

pub fn tags(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the tags, for inputs that are records.

pub fn output_ids(&self) -> impl '_ + ExactSizeIterator<Item = &Field<N>>

Returns the output IDs.

pub fn commitments(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the commitments, for outputs that are records.

pub fn nonces(&self) -> impl '_ + Iterator<Item = &Group<N>>

Returns an iterator over the nonces, for outputs that are records.

pub fn records( &self ) -> impl '_ + Iterator<Item = (&Field<N>, &Record<N, Ciphertext<N>>)>

Returns an iterator over the output records, as a tuple of (commitment, record).

impl<N: Network> Transition<N>

pub fn into_id(self) -> N::TransitionID

Returns the transition ID, and consumes self.

pub fn into_serial_numbers(self) -> impl Iterator<Item = Field<N>>

Returns a consuming iterator over the serial numbers, for inputs that are records.

pub fn into_tags(self) -> impl Iterator<Item = Field<N>>

Returns a consuming iterator over the tags, for inputs that are records.

pub fn into_commitments(self) -> impl Iterator<Item = Field<N>>

Returns a consuming iterator over the commitments, for outputs that are records.

pub fn into_nonces(self) -> impl Iterator<Item = Group<N>>

Returns a consuming iterator over the nonces, for outputs that are records.

pub fn into_records( self ) -> impl Iterator<Item = (Field<N>, Record<N, Ciphertext<N>>)>

Returns a consuming iterator over the output records, as a tuple of (commitment, record).

pub fn into_tpk(self) -> Group<N>

Returns the transition public key, and consumes self.

Trait Implementations

impl<N: Clone + Network> Clone for Transition<N>where N::TransitionID: Clone,

fn clone(&self) -> Transition<N>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network> Debug for Transition<N>

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

Prints the transition as a JSON-string.

impl<'de, N: Network> Deserialize<'de> for Transition<N>

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserializes the transition from a string or bytes.

impl<N: Network> Display for Transition<N>

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

Displays the transition as a JSON-string.

impl<N: Network> FromBytes for Transition<N>

fn read_le<R: Read>(reader: R) -> IoResult<Self>

Reads the output from a buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where Self: Sized,

Returns Self from a byte array in little-endian order.

impl<N: Network> FromStr for Transition<N>

fn from_str(transition: &str) -> Result<Self, Self::Err>

Initializes the transition from a JSON-string.

type Err = Error

The associated error which can be returned from parsing.

impl<N: PartialEq + Network> PartialEq for Transition<N>where N::TransitionID: PartialEq,

fn eq(&self, other: &Transition<N>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<N: Network> Serialize for Transition<N>

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serializes the transition into string or bytes.

impl<N: Network> ToBytes for Transition<N>

fn write_le<W: Write>(&self, writer: W) -> IoResult<()>

Writes the literal to a buffer.

fn to_bytes_le(&self) -> Result<Vec<u8>, Error>where Self: Sized,

Returns self as a byte array in little-endian order.

impl<N: Eq + Network> Eq for Transition<N>where N::TransitionID: Eq,

impl<N: Network> StructuralEq for Transition<N>

impl<N: Network> StructuralPartialEq for Transition<N>