Enum snarkvm_circuit::Plaintext
source · [−]pub enum Plaintext<A> where
A: Aleo, {
Literal(Literal<A>, OnceCell<Vec<Boolean<A>, Global>>),
Interface(IndexMap<Identifier<A>, Plaintext<A>, RandomState>, OnceCell<Vec<Boolean<A>, Global>>),
}Variants
Literal(Literal<A>, OnceCell<Vec<Boolean<A>, Global>>)
A plaintext literal.
Interface(IndexMap<Identifier<A>, Plaintext<A>, RandomState>, OnceCell<Vec<Boolean<A>, Global>>)
A plaintext interface.
Implementations
sourceimpl<A> Plaintext<A> where
A: Aleo,
impl<A> Plaintext<A> where
A: Aleo,
sourcepub fn encrypt(
&self,
address: &Address<A>,
randomizer: Scalar<A>
) -> Ciphertext<A>
pub fn encrypt(
&self,
address: &Address<A>,
randomizer: Scalar<A>
) -> Ciphertext<A>
Encrypts self to the given address under the given randomizer.
sourcepub fn encrypt_symmetric(&self, plaintext_view_key: Field<A>) -> Ciphertext<A>
pub fn encrypt_symmetric(&self, plaintext_view_key: Field<A>) -> Ciphertext<A>
Encrypts self under the given plaintext view key.
Trait Implementations
sourceimpl<A> Eject for Plaintext<A> where
A: Aleo,
impl<A> Eject for Plaintext<A> where
A: Aleo,
sourcefn eject_mode(&self) -> Mode
fn eject_mode(&self) -> Mode
Ejects the mode of the plaintext value.
sourcefn eject_value(&self) -> <Plaintext<A> as Eject>::Primitive
fn eject_value(&self) -> <Plaintext<A> as Eject>::Primitive
Ejects the plaintext value.
type Primitive = Plaintext<<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 more
sourcefn is_private(&self) -> bool
fn is_private(&self) -> bool
Returns true if the circuit is a private. Read more
sourceimpl<A> Equal<Plaintext<A>> for Plaintext<A> where
A: Aleo,
impl<A> Equal<Plaintext<A>> for Plaintext<A> where
A: Aleo,
sourcefn is_equal(
&self,
other: &Plaintext<A>
) -> <Plaintext<A> as Equal<Plaintext<A>>>::Output
fn is_equal(
&self,
other: &Plaintext<A>
) -> <Plaintext<A> as Equal<Plaintext<A>>>::Output
Returns true if self and other are equal.
sourcefn is_not_equal(
&self,
other: &Plaintext<A>
) -> <Plaintext<A> as Equal<Plaintext<A>>>::Output
fn is_not_equal(
&self,
other: &Plaintext<A>
) -> <Plaintext<A> as Equal<Plaintext<A>>>::Output
Returns true if self and other are not equal.
type Output = Boolean<A>
sourceimpl<A> FromBits for Plaintext<A> where
A: Aleo,
impl<A> FromBits for Plaintext<A> where
A: Aleo,
sourcefn from_bits_le(bits_le: &[Boolean<A>]) -> Plaintext<A>
fn from_bits_le(bits_le: &[Boolean<A>]) -> Plaintext<A>
Initializes a new plaintext from a list of little-endian bits without trailing zeros.
sourcefn from_bits_be(bits_be: &[Boolean<A>]) -> Plaintext<A>
fn from_bits_be(bits_be: &[Boolean<A>]) -> Plaintext<A>
Initializes a new plaintext from a list of big-endian bits without trailing zeros.
type Boolean = Boolean<A>
sourceimpl<A> FromFields for Plaintext<A> where
A: Aleo,
impl<A> FromFields for Plaintext<A> where
A: Aleo,
sourcefn from_fields(fields: &[<Plaintext<A> as FromFields>::Field]) -> Plaintext<A>
fn from_fields(fields: &[<Plaintext<A> as FromFields>::Field]) -> Plaintext<A>
Initializes a plaintext from a list of base field elements.
type Field = Field<A>
sourceimpl<A> Inject for Plaintext<A> where
A: Aleo,
impl<A> Inject for Plaintext<A> where
A: Aleo,
sourceimpl<A> ToBits for Plaintext<A> where
A: Aleo,
impl<A> ToBits for Plaintext<A> where
A: Aleo,
sourcefn to_bits_le(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_bits_le(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Returns this plaintext as a list of little-endian bits.
sourcefn to_bits_be(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_bits_be(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Returns this plaintext as a list of big-endian bits.
type Boolean = Boolean<A>
sourceimpl<A> Visibility<A> for Plaintext<A> where
A: Aleo,
impl<A> Visibility<A> for Plaintext<A> where
A: Aleo,
sourcefn size_in_fields(&self) -> u16
fn size_in_fields(&self) -> u16
Returns the number of field elements to encode self.
Auto Trait Implementations
impl<A> RefUnwindSafe for Plaintext<A> where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
impl<A> !Send for Plaintext<A>
impl<A> !Sync for Plaintext<A>
impl<A> Unpin for Plaintext<A> where
<A as Environment>::BaseField: Unpin,
impl<A> UnwindSafe for Plaintext<A> where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
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