Struct BooleanHash

pub struct BooleanHash<E: Environment, const VARIANT: usize>(pub [Boolean<E>; VARIANT]);

Tuple Fields

0: [Boolean<E>; VARIANT]

Trait Implementations

impl<E: Clone + Environment, const VARIANT: usize> Clone for BooleanHash<E, VARIANT>

fn clone(&self) -> BooleanHash<E, VARIANT>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + Environment, const VARIANT: usize> Debug for BooleanHash<E, VARIANT>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E: Environment, const VARIANT: usize> Default for BooleanHash<E, VARIANT>

fn default() -> Self

Initializes a new “empty” boolean hash.

impl<E: Environment, const VARIANT: usize> Deref for BooleanHash<E, VARIANT>

type Target = [Boolean<E>; VARIANT]

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<E: Environment, const VARIANT: usize> Eject for BooleanHash<E, VARIANT>

fn eject_mode(&self) -> Mode

Ejects the mode of the boolean hash.

fn eject_value(&self) -> Self::Primitive

Ejects the Merkle path.

type Primitive = BooleanHash<VARIANT>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

impl<E: Environment, const VARIANT: usize> Equal for BooleanHash<E, VARIANT>

fn is_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are equal.

fn is_not_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are not equal.

type Output = Boolean<E>

impl<E: Environment, const VARIANT: usize> Inject for BooleanHash<E, VARIANT>

fn new(mode: Mode, hash: Self::Primitive) -> Self

Initializes a boolean hash from the given mode and native boolean hash.

type Primitive = BooleanHash<VARIANT>

fn constant(value: Self::Primitive) -> Self

where Self: Sized,

Initializes a constant of the given primitive value.

impl<E: Environment, const VARIANT: usize> Ternary for BooleanHash<E, VARIANT>

fn ternary( condition: &Self::Boolean, first: &Self, second: &Self, ) -> Self::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = BooleanHash<E, VARIANT>