snarkvm_circuit_program

Trait Visibility

Source
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§

Source

fn size_in_fields(&self) -> u16

Returns the number of field elements to encode self.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

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

Source§

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