Type Alias SnarkBool

pub type SnarkBool = CircuitVar<Boolean>;

Aliased Type

pub enum SnarkBool {
    Var(Boolean),
    Constant(Boolean),
}

Variants

Var(Boolean)

Constant(Boolean)

Trait Implementations

impl BoolInterface for SnarkBool

type W = Witness<Fp256<FpParameters>>

type FailureStatusTable = ()

fn as_boolean(&self) -> Boolean

fn of_boolean(b: Boolean) -> Self

fn true_() -> Self

fn false_() -> Self

fn neg(&self) -> Self

fn or(a: Self, b: Self, w: &mut Self::W) -> Self

fn and(a: Self, b: Self, w: &mut Self::W) -> Self

fn equal(a: Self, b: Self, w: &mut Self::W) -> Self

fn all(bs: &[Self], w: &mut Self::W) -> Self

fn assert_any(bs: &[Self], w: &mut Self::W) -> Result<(), String>

fn assert_with_failure_status_tbl( _b: Self, _table: &Self::FailureStatusTable, ) -> Result<(), String>