Enum snarkvm_circuit::InputID
source · pub enum InputID<A>where
A: Aleo,{
Constant(Field<A>),
Public(Field<A>),
Private(Field<A>),
Record(Field<A>, Box<Group<A>, Global>, Field<A>, Field<A>),
ExternalRecord(Field<A>),
}
Variants§
Constant(Field<A>)
The hash of the constant input.
Public(Field<A>)
The hash of the public input.
Private(Field<A>)
The ciphertext hash of the private input.
Record(Field<A>, Box<Group<A>, Global>, Field<A>, Field<A>)
The (commitment, gamma, serial_number, tag)
tuple of the record input.
ExternalRecord(Field<A>)
The hash of the external record input.
Trait Implementations§
source§impl<A> Eject for InputID<A>where
A: Aleo,
impl<A> Eject for InputID<A>where A: Aleo,
source§fn eject_mode(&self) -> Mode
fn eject_mode(&self) -> Mode
Ejects the mode of the input ID.
type Primitive = InputID<<A as Environment>::Network>
source§fn eject(&self) -> (Mode, Self::Primitive)
fn eject(&self) -> (Mode, Self::Primitive)
Ejects the mode and primitive value of the circuit type.
source§fn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Returns
true
if the circuit is a constant.source§fn is_private(&self) -> bool
fn is_private(&self) -> bool
Returns
true
if the circuit is a private.