Struct mpc_engine::circuit::Circuit

pub struct Circuit {
    pub input_widths: Vec<InputWidth>,
    pub gates: Vec<WiredGate>,
    pub output_gates: Vec<WireIndex>,
}

Representation of a circuit evaluated by an MPC engine.

Fields

input_widths: Vec<InputWidth>

The bit-width of the inputs expected by the different parties, InputWidth at index i representing the number of input bits for party i.

gates: Vec<WiredGate>

The circuit’s gates.

output_gates: Vec<WireIndex>

The indices of the gates in Circuit::gates that produce output bits.

Implementations

impl Circuit

pub fn number_of_parties(&self) -> usize

Number of parties expected to contribute inputs to the circuit.

pub fn validate_circuit_specification(&self) -> Result<(), CircuitError>

Check validity of circuit specification.

In particular:

• Validate input specification: Input width specification does not allow 0-width inputs and at least one party must provide input bits.
• Validate gate sequence: All input gates must be at the beginning of the gate sequence, followed only by logic gates.
• Validate gate wiring: A logic gate with index i can only take input wires with strictly smaller indices. An input gate with index i must refer to its own index as the input wire index.
• Validate output specification: The number of specified output wires must be non-zero and all output wire indices must refer to valid wire indices in the circuit, i.e. output wire indices must be smaller or equal to the highest wire index used in the circuit.

pub fn validate_input_vectors( &self, inputs: &[Vec<bool>] ) -> Result<(), CircuitError>

Validate that a given set of party inputs corresponds to the circuit specification.

In particular:

• Validate that the number of input vectors corresponds to the number of parties expected to provide inputs.
• Validate, for each input vector, that the number of input bits matches the corresponding parties’ expected input width.

pub fn eval(&self, inputs: &[Vec<bool>]) -> Result<Vec<bool>, CircuitError>

Evaluates a circuit with the specified inputs (with one Vec<bool> per party).

After validation of the circuit specification and validation of the provided input vectors, the circuit is evaluated gate by gate:

• Input gates are evaluated as the identity function on the provided input.
• Logic gates are evaluated by applying the given logical operation to the wire values of the gates’ input wires.

Circuit validation ensures that, during sequential evaluation, gate input wires can only refer to previously evaluated gates, or values provided in the circuit inputs in the case of input gate evaulation.

The circuit output is packed into a bitstring, with the indicated output wire values appearing in sequential order.

pub fn num_gates(&self) -> usize

Returns the number of gates (i.e. the size) of the circuit.

pub fn and_bucket_size(&self) -> usize

Computes the required bucket size for leaky AND triple combination.

pub fn num_and_gates(&self) -> usize

Returns the number of AND gates in the circuit.

pub fn share_authentication_cost(&self) -> usize

Computes the total number of share authentications that will be necessary to evaluate this circuit using the MPC protocol, excluding malicious security overhead.

Trait Implementations

impl Clone for Circuit

fn clone(&self) -> Circuit

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Circuit

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

Formats the value using the given formatter.