Enum InputID 

pub enum InputID<N: Network> {
    Constant(Field<N>),
    Public(Field<N>),
    Private(Field<N>),
    Record(Field<N>, Group<N>, Field<N>, Field<N>, Field<N>),
    ExternalRecord(Field<N>),
    DynamicRecord(Field<N>),
}

Variants

Constant(Field<N>)

The hash of the constant input.

Public(Field<N>)

The hash of the public input.

Private(Field<N>)

The ciphertext hash of the private input.

Record(Field<N>, Group<N>, Field<N>, Field<N>, Field<N>)

The commitment, gamma, record view key, serial number, and tag of the record input.

ExternalRecord(Field<N>)

The hash of the external record’s (function_id, record, tvk, input index).

DynamicRecord(Field<N>)

The hash of the dynamic record’s (function_id, record, tvk, input index).

Implementations

impl<N: Network> InputID<N>

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

Returns the (primary) input ID.

pub fn constant( function_id: Field<N>, input: &Value<N>, tcm: Field<N>, index: u16, ) -> Result<Self>

Computes the input ID for a constant input. Constructs the preimage as (function_id || input || tcm || index) and hashes it.

pub fn public( function_id: Field<N>, input: &Value<N>, tcm: Field<N>, index: u16, ) -> Result<Self>

Computes the input ID for a public input. Constructs the preimage as (function_id || input || tcm || index) and hashes it.

pub fn private( function_id: Field<N>, input: &Value<N>, tvk: Field<N>, index: u16, ) -> Result<Self>

Computes the input ID for a private input. Encrypts the input using the input view key and hashes the ciphertext.

pub fn record( program_id: &ProgramID<N>, record_name: &Identifier<N>, input: &Value<N>, signer: &Address<N>, view_key: &ViewKey<N>, sk_sig: &Scalar<N>, sk_tag: Field<N>, ) -> Result<Self>

Computes the input ID for a record input. Returns the full InputID::Record variant with commitment, gamma, record view key, serial number, and tag.

pub fn external_record( function_id: Field<N>, input: &Value<N>, tvk: Field<N>, index: u16, ) -> Result<Self>

Computes the input ID for an external record input. Constructs the preimage as (function_id || input || tvk || index) and hashes it.

pub fn dynamic_record( function_id: Field<N>, input: &Value<N>, tvk: Field<N>, index: u16, ) -> Result<Self>

Computes the input ID for a dynamic record input. Constructs the preimage as (function_id || input || tvk || index) and hashes it.

Trait Implementations

impl<N: Clone + Network> Clone for InputID<N>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

Prints the input ID as a JSON-string.

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

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

Deserializes the input ID from a string or bytes.

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

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

Displays the input ID as a JSON-string.

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

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

Reads the input ID 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.

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

where Self: Sized,

Same behavior as Self::from_bytes_le but avoids costly checks. This shall only be called when deserializing from a trusted source, such as local storage.

fn read_le_unchecked<R>(reader: R) -> Result<Self, Error>

where R: Read, Self: Sized,

Same behavior as Self::read_le but avoids costly checks. This shall only be called when deserializing from a trusted source, such as local storage.

fn read_le_with_unchecked<R>(reader: R, unchecked: bool) -> Result<Self, Error>

where R: Read, Self: Sized,

Helper function that deserializes either unchecked or checked based on the given boolean flag.

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

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

Initializes the input ID from a JSON-string.

type Err = Error

The associated error which can be returned from parsing.

impl<N: Hash + Network> Hash for InputID<N>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<N: PartialEq + Network> PartialEq for InputID<N>

fn eq(&self, other: &InputID<N>) -> 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<N: Network> Serialize for InputID<N>

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

Serializes the input ID into string or bytes.

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

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

Writes the input ID 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: Copy + Network> Copy for InputID<N>

impl<N: Eq + Network> Eq for InputID<N>

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