[][src]Struct fancy_garbling::circuit::CircuitBuilder

pub struct CircuitBuilder { /* fields omitted */ }

CircuitBuilder is used to build circuits.

Methods

impl CircuitBuilder[src]

pub fn new() -> Self[src]

Make a new CircuitBuilder.

pub fn finish(self) -> Circuit[src]

Finish circuit building, outputting the resulting circuit.

pub fn garbler_input(&mut self, modulus: u16) -> CircuitRef[src]

Get CircuitRef for a garbler input wire.

pub fn evaluator_input(&mut self, modulus: u16) -> CircuitRef[src]

Get CircuitRef for an evaluator input wire.

pub fn garbler_inputs(&mut self, mods: &[u16]) -> Vec<CircuitRef>[src]

Get a vec of CircuitRefs for garbler inputs.

pub fn evaluator_inputs(&mut self, mods: &[u16]) -> Vec<CircuitRef>[src]

Get a vec of CircuitRefs for garbler inputs.

pub fn crt_garbler_input(&mut self, modulus: u128) -> CrtBundle<CircuitRef>[src]

Get a CrtBundle for the garbler using composite modulus Q

pub fn crt_evaluator_input(&mut self, modulus: u128) -> CrtBundle<CircuitRef>[src]

Get a CrtBundle for the evaluator using composite modulus Q

pub fn bin_garbler_input(&mut self, nbits: usize) -> BinaryBundle<CircuitRef>[src]

Get a BinaryBundle for the garbler with n bits.

pub fn bin_evaluator_input(&mut self, nbits: usize) -> BinaryBundle<CircuitRef>[src]

Get a BinaryBundle for the evaluator with n bits.

Trait Implementations

impl Fancy for CircuitBuilder[src]

type Item = CircuitRef

The underlying wire datatype created by an object implementing Fancy.

type Error = CircuitBuilderError

Errors which may be thrown by the users of Fancy.

fn add_many(&mut self, args: &[Self::Item]) -> Result<Self::Item, Self::Error>[src]

Sum up a slice of wires.

fn xor(
    &mut self,
    x: &Self::Item,
    y: &Self::Item
) -> Result<Self::Item, Self::Error>
[src]

Xor is just addition, with the requirement that x and y are mod 2.

fn negate(&mut self, x: &Self::Item) -> Result<Self::Item, Self::Error>[src]

Negate by xoring x with 1.

fn and(
    &mut self,
    x: &Self::Item,
    y: &Self::Item
) -> Result<Self::Item, Self::Error>
[src]

And is just multiplication, with the requirement that x and y are mod 2.

fn or(
    &mut self,
    x: &Self::Item,
    y: &Self::Item
) -> Result<Self::Item, Self::Error>
[src]

Or uses Demorgan's Rule implemented with multiplication and negation.

fn and_many(&mut self, args: &[Self::Item]) -> Result<Self::Item, Self::Error>[src]

Returns 1 if all wires equal 1.

fn or_many(&mut self, args: &[Self::Item]) -> Result<Self::Item, Self::Error>[src]

Returns 1 if any wire equals 1.

fn mod_change(
    &mut self,
    x: &Self::Item,
    to_modulus: u16
) -> Result<Self::Item, Self::Error>
[src]

Change the modulus of x to to_modulus using a projection gate.

fn adder(
    &mut self,
    x: &Self::Item,
    y: &Self::Item,
    carry_in: Option<&Self::Item>
) -> Result<(Self::Item, Self::Item), Self::Error>
[src]

Binary adder. Returns the result and the carry.

fn mux(
    &mut self,
    b: &Self::Item,
    x: &Self::Item,
    y: &Self::Item
) -> Result<Self::Item, Self::Error>
[src]

If b = 0 returns x else y. Read more

fn mux_constant_bits(
    &mut self,
    x: &Self::Item,
    b1: bool,
    b2: bool
) -> Result<Self::Item, Self::Error>
[src]

If x = 0 returns the constant b1 else return b2. Folds constants if possible.

fn outputs(&mut self, xs: &[Self::Item]) -> Result<(), Self::Error>[src]

Output a slice of wires.

Auto Trait Implementations

impl Send for CircuitBuilder

impl Sync for CircuitBuilder

Blanket Implementations

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T, U> IntoBits<U> for T where
    U: FromBits<T>, 

impl<T> FromCast<T> for T

impl<T, U> Cast<U> for T where
    U: FromCast<T>, 

impl<T> FromBits<T> for T

impl<T> Same<T> for T

type Output = T

Should always be Self