Struct seec::protocols::aby2::BooleanAby2

pub struct BooleanAby2 { /* private fields */ }

Implementations

impl BooleanAby2

pub fn new(sharing_state: DeltaSharing) -> Self

Trait Implementations

impl Clone for BooleanAby2

fn clone(&self) -> BooleanAby2

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BooleanAby2

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

Formats the value using the given formatter.

impl<MtpErr, Mtp, Idx> FunctionDependentSetup<BooleanAby2, Idx> for AbySetupProvider<Mtp>

where MtpErr: Error + Send + Sync + Debug + 'static, Mtp: MTProvider<Output = MulTriples, Error = MtpErr> + Send, Idx: GateIdx,

type Error = Infallible

fn setup<'life0, 'life1, 'life2, 'async_trait>( &'life0 mut self, shares: &'life1 GateOutputs<ShareVec>, circuit: &'life2 ExecutableCircuit<bool, BooleanGate, Idx> ) -> Pin<Box<dyn Future<Output = Result<(), Self::Error>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Called in the function-dependent setup phase

fn request_setup_output<'life0, 'async_trait>( &'life0 mut self, count: usize ) -> Pin<Box<dyn Future<Output = Result<SetupData, Self::Error>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Called in the online phase for each layer. This method can be used to interleave the setup and online phase.

impl<Idx> FunctionDependentSetup<BooleanAby2, Idx> for AstraSetupProvider

where Idx: GateIdx,

type Error = Infallible

fn setup<'life0, 'life1, 'life2, 'async_trait>( &'life0 mut self, _shares: &'life1 GateOutputs<ShareVec>, circuit: &'life2 ExecutableCircuit<bool, BooleanGate, Idx> ) -> Pin<Box<dyn Future<Output = Result<(), Self::Error>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Called in the function-dependent setup phase

fn request_setup_output<'life0, 'async_trait>( &'life0 mut self, count: usize ) -> Pin<Box<dyn Future<Output = Result<SetupData, Self::Error>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Called in the online phase for each layer. This method can be used to interleave the setup and online phase.

impl Protocol for BooleanAby2

const SIMD_SUPPORT: bool = false

type Plain = bool

type Share = Share

type Msg = Msg

type SimdMsg = ()

type Gate = BooleanGate

type Wire = ()

type ShareStorage = ShareVec

type SetupStorage = SetupData

The type which provides the data needed to evaluate interactive gate. In the case of normal GMW, this data is multiplication triples.

fn share_constant( &self, _party_id: usize, output_share: Self::Share, val: Self::Plain ) -> Self::Share

output_share is the share initialized for the constant gate by Protocol::setup_gate_outputs. This way, the conversion of a plain constant value to a shared

fn evaluate_non_interactive( &self, party_id: usize, gate: &Self::Gate, inputs: impl Iterator<Item = Self::Share> ) -> Self::Share

fn compute_msg( &self, party_id: usize, interactive_gates: impl Iterator<Item = BooleanGate>, gate_outputs: impl Iterator<Item = Share>, inputs: impl Iterator<Item = Share>, preprocessing_data: &mut SetupData ) -> Self::Msg

fn evaluate_interactive( &self, _party_id: usize, _interactive_gates: impl Iterator<Item = BooleanGate>, gate_outputs: impl Iterator<Item = Share>, _: Msg, _: Msg, _preprocessing_data: &mut SetupData ) -> Self::ShareStorage

fn setup_gate_outputs<Idx: GateIdx>( &mut self, _party_id: usize, circuit: &ExecutableCircuit<Self::Plain, Self::Gate, Idx> ) -> GateOutputs<Self::ShareStorage>

fn share_constant_simd( &self, party_id: usize, _output_share: &SimdShareOf<Self::Share>, val: Self::Plain, simd_len: NonZeroUsize ) -> SimdShareOf<Self::Share>

Default implementation uses Protocol::share_constant with a default constructed output_share. Overwrite this method if you need to use the SIMD output_share to properly share the SIMD constant.

fn evaluate_non_interactive_simd<'e>( &self, party_id: usize, gate: &Self::Gate, inputs: impl Iterator<Item = &'e <Self::Share as Share>::SimdShare> ) -> <Self::Share as Share>::SimdShare

fn compute_msg_simd<'e>( &self, _party_id: usize, _interactive_gates: impl Iterator<Item = Self::Gate>, _gate_outputs: impl Iterator<Item = &'e SimdShareOf<Self::Share>>, _inputs: impl Iterator<Item = &'e SimdShareOf<Self::Share>>, _preprocessing_data: &mut Self::SetupStorage ) -> Self::SimdMsg

fn evaluate_interactive_simd<'e>( &self, _party_id: usize, _interactive_gates: impl Iterator<Item = Self::Gate>, _gate_outputs: impl Iterator<Item = &'e SimdShareOf<Self::Share>>, _own_msg: Self::SimdMsg, _other_msg: Self::SimdMsg, _preprocessing_data: &mut Self::SetupStorage ) -> Vec<Self::ShareStorage>