Struct CircuitAnalyzer 

pub struct CircuitAnalyzer { /* private fields */ }

A Fancy object which counts gates and depth of a crate::circuit::Circuit.

Specifically, CircuitAnalyzer stores the number of inputs, ands, xors, negations, constants, multiplications, additions, subtractions, and multiplicative depth of the computation.

Implementations

impl CircuitAnalyzer

pub fn new() -> CircuitAnalyzer

Create a new CircuitAnalyzer.

pub fn nands(&self) -> usize

The number of AND gates in the circuit.

pub fn ninputs(&self) -> usize

The number of input wires of the circuit.

pub fn nconstants(&self) -> usize

The number of constant wires of the circuit.

pub fn nxors(&self) -> usize

The number of XOR gates in the circuit.

pub fn eval<C: CircuitInputMapper<CircuitAnalyzer>>( &mut self, circuit: &C, ) -> Result<()>

Evaluate a circuit using CircuitAnalyzer.

The circuit needs to implement CircuitInputMapper as the circuit analysis is input-size-dependent.

Trait Implementations

impl Clone for CircuitAnalyzer

fn clone(&self) -> CircuitAnalyzer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CircuitAnalyzer

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

Formats the value using the given formatter.

impl Default for CircuitAnalyzer

fn default() -> CircuitAnalyzer

Returns the “default value” for a type.

impl Display for CircuitAnalyzer

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

Formats the value using the given formatter.

impl Fancy for CircuitAnalyzer

type Item = AnalyzerItem

The underlying wire representation of this Fancy object.

fn constant( &mut self, _val: u16, q: u16, _: &mut Channel<'_>, ) -> Result<Self::Item>

Encode a constant x with modulus q.

impl FancyArithmetic for CircuitAnalyzer

fn add(&mut self, x: &Self::Item, y: &Self::Item) -> Self::Item

Add x and y.

fn sub(&mut self, x: &Self::Item, y: &Self::Item) -> Self::Item

Subtract x and y.

fn cmul(&mut self, x: &Self::Item, _y: u16) -> Self::Item

Multiply x with the constant c.

fn mul( &mut self, x: &Self::Item, y: &Self::Item, _: &mut Channel<'_>, ) -> Result<Self::Item>

Multiply x and y.

impl FancyBinary for CircuitAnalyzer

fn xor(&mut self, x: &Self::Item, y: &Self::Item) -> Self::Item

Binary XOR.

fn and( &mut self, x: &Self::Item, y: &Self::Item, _: &mut Channel<'_>, ) -> Result<Self::Item>

Binary AND.

fn negate(&mut self, x: &Self::Item) -> Self::Item

Binary negation.

fn or( &mut self, x: &Self::Item, y: &Self::Item, channel: &mut Channel<'_>, ) -> Result<Self::Item>

Binary OR.

impl FancyEncode for CircuitAnalyzer

fn receive_many( &mut self, moduli: &[u16], _: &mut Channel<'_>, ) -> Result<Vec<Self::Item>>

Receive many wires for unknown values.

fn encode_many( &mut self, _: &[u16], _: &[u16], _: &mut Channel<'_>, ) -> Result<Vec<Self::Item>>

Encode many wires for known values.

fn encode( &mut self, value: u16, modulus: u16, channel: &mut Channel<'_>, ) -> Result<Self::Item>

Encode a wire for a known value.

fn receive( &mut self, modulus: u16, channel: &mut Channel<'_>, ) -> Result<Self::Item>

Receive a wire for an unknown value.

impl FancyOutput for CircuitAnalyzer

fn output(&mut self, x: &Self::Item, _: &mut Channel<'_>) -> Result<Option<u16>>

Output the value associated with wire x.

fn outputs( &mut self, xs: &[Self::Item], channel: &mut Channel<'_>, ) -> Result<Option<Vec<u16>>>

Output the values associated with a slice of wires.

impl FancyProj for CircuitAnalyzer

fn proj( &mut self, _: &Self::Item, _: u16, _: Option<Vec<u16>>, _: &mut Channel<'_>, ) -> Result<Self::Item>

Project x according to the truth table tt. Resulting wire has modulus q.

impl Ord for CircuitAnalyzer

fn cmp(&self, other: &CircuitAnalyzer) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for CircuitAnalyzer

fn eq(&self, other: &CircuitAnalyzer) -> 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 PartialOrd for CircuitAnalyzer

fn partial_cmp(&self, other: &CircuitAnalyzer) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for CircuitAnalyzer

impl StructuralPartialEq for CircuitAnalyzer