Struct r1cs::BooleanExpression

pub struct BooleanExpression<F: Field> { /* fields omitted */ }

An Expression whose value is known to be binary.

Methods

impl<F: Field> BooleanExpression<F>

pub fn new_unsafe(expression: Expression<F>) -> Self

Create a new bit. This is unsafe in the sense that a "equals 0 or 1" assertion will not be added automatically. You can use this method if you already know that a quantity will equal 0 or 1, for example if you computed 1 - b where b is a Bit.

pub fn _false() -> Self

pub fn _true() -> Self

pub fn expression(&self) -> &Expression<F>

pub fn dependencies(&self) -> Vec<Wire>

pub fn evaluate(&self, values: &WireValues<F>) -> bool

Trait Implementations

impl<'_, F: Field> From<&'_ BooleanWire> for BooleanExpression<F>

fn from(wire: &BooleanWire) -> Self

Performs the conversion.

impl<F: Field> From<BooleanWire> for BooleanExpression<F>

fn from(wire: BooleanWire) -> Self

Performs the conversion.

impl<F: Field> From<bool> for BooleanExpression<F>

fn from(b: bool) -> Self

Performs the conversion.

impl<F: Field> Clone for BooleanExpression<F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Field> Debug for BooleanExpression<F>

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

Formats the value using the given formatter.