Trait snarkvm_circuit_program::Visibility

pub trait Visibility<A: Aleo>:
    Equal<Self, Output = <Self as ToBits>::Boolean>
    + ToBits<Boolean = Boolean<A>>
    + FromBits
    + ToFields
    + FromFields {
    // Required method
    fn size_in_fields(&self) -> u16;
}

Required Methods

fn size_in_fields(&self) -> u16

Returns the number of field elements to encode self.

Object Safety

This trait is not object safe.

Implementors

impl<A: Aleo> Visibility<A> for Plaintext<A>

impl<A: Aleo> Visibility<A> for Ciphertext<A>