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
sourceimpl<A> Eject for InputID<A>where
A: Aleo,
impl<A> Eject for InputID<A>where
A: Aleo,
sourcefn eject_mode(&self) -> Mode
fn eject_mode(&self) -> Mode
Ejects the mode of the input ID.
sourcefn eject_value(&self) -> <InputID<A> as Eject>::Primitive
fn eject_value(&self) -> <InputID<A> as Eject>::Primitive
Ejects the input ID as a primitive.
type Primitive = InputID<<A as Environment>::Network>
sourcefn eject(&self) -> (Mode, Self::Primitive)
fn eject(&self) -> (Mode, Self::Primitive)
Ejects the mode and primitive value of the circuit type. Read more
sourcefn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Returns
true
if the circuit is a constant. Read moresourcefn is_private(&self) -> bool
fn is_private(&self) -> bool
Returns
true
if the circuit is a private. Read moreAuto Trait Implementations
impl<A> RefUnwindSafe for InputID<A>where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
impl<A> !Send for InputID<A>
impl<A> !Sync for InputID<A>
impl<A> Unpin for InputID<A>where
<A as Environment>::BaseField: Unpin,
impl<A> UnwindSafe for InputID<A>where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more