Struct ArcisInstruction 

pub struct ArcisInstruction {
    pub circuit: AsyncMPCCircuit,
    pub metadata: ArcisMetadata,
}

The main output of the compiler.

Fields

circuit: AsyncMPCCircuit

The circuit, as understood by our async-mpc library.

metadata: ArcisMetadata

Metadata. Currently, only states which input to put in which position.

Implementations

impl ArcisInstruction

pub fn mock_eval_vec<R: Rng + ?Sized>( &self, inputs: Vec<EvalValue>, output_domains: &[DomainElement<(), (), (), ()>], bools: &[Option<bool>], rng: &mut R, ) -> Vec<EvalValue>

Local evaluation of a circuit on some inputs. Used for testing.

pub fn network_depth(&self) -> usize

The network depth in number of rounds of communication necessary to compute the circuit. Used for profiling.

pub fn profile_info(&self) -> ProfileInfo

Gives profiling information on the circuit.

pub fn weight(&self) -> usize

The weight of the circuit. Used to compute the cost to run it.

pub fn explain_depth(&self)

A function used for debugging when the depth is different from expected.

Trait Implementations

impl Debug for ArcisInstruction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ArcisInstruction

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ArcisInstruction

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

where __S: Serializer,

Serialize this value into the given Serde serializer.