Struct BinaryConstant 

pub struct BinaryConstant<F: Fancy> { /* private fields */ }

Binary constant.

For (value, nbits), return a BinaryBundle containing value in its bit representation.

Implementations

impl<F: Fancy> BinaryConstant<F>

pub fn new(value: u128, nbits: usize) -> Self

Create a new BinaryConstant circuit for value % 2^nbits.

pub fn new_with_constants( value: u128, nbits: usize, zero: Option<F::Item>, one: Option<F::Item>, ) -> Self

Create a new BinaryConstant circuit for value % 2^nbits, using the provided zero and one constants.

Trait Implementations

impl<F: Fancy> Circuit<F> for BinaryConstant<F>

type Input = ()

The input type of the circuit.

type Output = BinaryBundle<<F as Fancy>::Item>

The output type of the circuit.

fn execute( &self, backend: &mut F, _: Self::Input, channel: &mut Channel<'_>, ) -> Result<Self::Output>

Execute a circuit on a given Fancy backend using the provided inputs.