Trait EvaluableCircuit

Source
pub trait EvaluableCircuit<F: Fancy>: CircuitType {
    // Required method
    fn eval(
        &self,
        f: &mut F,
        garbler_inputs: &[F::Item],
        evaluator_inputs: &[F::Item],
    ) -> Result<Option<Vec<u16>>, F::Error>;
}
Expand description

A Circuit that can be evaluated by a given Fancy object

Supertrait ensures that circuit can be built by CircuitBuilder

Required Methods§

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§