Struct snarkvm_debug::prelude::Transition

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

Implementations

impl<N> Transition<N>

where N: Network,

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

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<MerklePath<N, snarkvm_console_program::::state_path::configuration::TransitionPath::{constant#0}>, Error>

Returns the Merkle path for the transition leaf.

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

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

pub fn to_tree( &self ) -> Result<MerkleTree<N, BHP<N, 8, 54>, BHP<N, 6, 43>, snarkvm_console_program::::state_path::configuration::TransitionTree::{constant#0}>, Error>

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

impl<N> Transition<N>

where N: Network,

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<Transition<N>, Error>

Initializes a new transition.

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

Initializes a new transition from a request and response.

impl<N> Transition<N>

where N: Network,

pub const fn id(&self) -> &<N as Network>::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> Transition<N>

where N: Network,

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> Transition<N>

where N: Network,

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> Transition<N>

where N: Network,

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> Transition<N>

where N: Network,

pub fn input_ids(&self) -> impl ExactSizeIterator

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

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> Transition<N>

where N: Network,

pub fn into_id(self) -> <N as Network>::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 for Transition<N>

where N: Clone + Network, <N as Network>::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> Debug for Transition<N>

where N: Network,

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

Prints the transition as a JSON-string.

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

where N: Network,

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

where D: Deserializer<'de>,

Deserializes the transition from a string or bytes.

impl<N> Display for Transition<N>

where N: Network,

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

Displays the transition as a JSON-string.

impl<N> FromBytes for Transition<N>

where N: Network,

fn read_le<R>(reader: R) -> Result<Transition<N>, Error>

where R: Read,

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> FromStr for Transition<N>

where N: Network,

fn from_str( transition: &str ) -> Result<Transition<N>, <Transition<N> as FromStr>::Err>

Initializes the transition from a JSON-string.

type Err = Error

The associated error which can be returned from parsing.

impl<N> PartialEq for Transition<N>

where N: PartialEq + Network, <N as Network>::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> Serialize for Transition<N>

where N: Network,

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

where S: Serializer,

Serializes the transition into string or bytes.

impl<N> ToBytes for Transition<N>

where N: Network,

fn write_le<W>(&self, writer: W) -> Result<(), Error>

where W: Write,

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 for Transition<N>

where N: Eq + Network, <N as Network>::TransitionID: Eq,

impl<N> StructuralEq for Transition<N>

where N: Network,

impl<N> StructuralPartialEq for Transition<N>

where N: Network,