Struct ArithmeticCircuit

pub struct ArithmeticCircuit { /* private fields */ }

Static representation of arithmetic computation supported by fancy garbling.

Implementations

impl ArithmeticCircuit

pub fn modulus(&self, i: usize) -> u16

Return the modulus of the gate indexed by i.

Trait Implementations

impl CircuitType for ArithmeticCircuit

type Gate = ArithmeticGate

Gates that the circuit is composed of

fn new(ngates: Option<usize>) -> ArithmeticCircuit

Make a new Circuit object.

fn push_gates(&mut self, gate: Self::Gate)

Add a gate

fn push_const_ref(&mut self, xref: CircuitRef)

Add a constant ref

fn push_output_ref(&mut self, xref: CircuitRef)

Add an output ref

fn push_garbler_input_ref(&mut self, xref: CircuitRef)

Add a garbler input ref

fn push_modulus(&mut self, modulus: u16)

Add wire moulus

fn push_evaluator_input_ref(&mut self, xref: CircuitRef)

Add an evaluator input ref

fn increment_nonfree_gates(&mut self)

Increase number of nonfree gates

fn get_num_nonfree_gates(&self) -> usize

Get number of nonfree gates

fn get_output_refs(&self) -> &[CircuitRef]

Get all output refs

fn get_garbler_input_refs(&self) -> &[CircuitRef]

Get all garbler input refs

fn get_evaluator_input_refs(&self) -> &[CircuitRef]

Get all evaluator input refs

fn garbler_input_mod(&self, i: usize) -> u16

Return the modulus of the garbler input indexed by i.

fn evaluator_input_mod(&self, i: usize) -> u16

Return the modulus of the evaluator input indexed by i.

fn num_garbler_inputs(&self) -> usize

Return the number of garbler inputs.

fn num_evaluator_inputs(&self) -> usize

Return the number of evaluator inputs.

fn noutputs(&self) -> usize

Return the number of outputs.

impl Clone for ArithmeticCircuit

fn clone(&self) -> ArithmeticCircuit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArithmeticCircuit

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ArithmeticCircuit

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: FancyArithmetic> EvaluableCircuit<F> for ArithmeticCircuit

fn eval( &self, f: &mut F, garbler_inputs: &[F::Item], evaluator_inputs: &[F::Item], ) -> Result<Option<Vec<u16>>, F::Error>

Function to evaluate the circuit

impl PartialEq for ArithmeticCircuit

fn eq(&self, other: &ArithmeticCircuit) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ArithmeticCircuit

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ArithmeticCircuit