Struct round_based::simulation::SimulationSync

pub struct SimulationSync<'a, O, M> { /* private fields */ }

Available on crate features state-machine and dev only.

Simulates MPC protocol with parties defined as state machines

Implementations

impl<'a, O, M> SimulationSync<'a, O, M>

where M: Clone + 'static,

pub fn empty() -> Self

Creates empty simulation containing no parties

New parties can be added via .add_party()

pub fn with_capacity(n: u16) -> Self

Constructs empty simulation containing no parties, with allocated memory that can fit up to n parties without re-allocations

pub fn from_async_fn<F>(n: u16, init: impl FnMut(u16, MpcParty<M>) -> F) -> Self

where F: Future<Output = O> + 'a,

Constructs a simulation with n parties from async function that defines the protocol

Each party has index 0 <= i < n and instantiated via provided init function

pub fn from_fn<S>(n: u16, init: impl FnMut(u16) -> S) -> Self

where S: StateMachine<Output = O, Msg = M> + 'a,

Construct a simulation with n parties from init function that constructs state machine for each party

Each party has index 0 <= i < n and instantiated via provided init function

pub fn add_party(&mut self, party: impl StateMachine<Output = O, Msg = M> + 'a)

Adds new party into the protocol

New party will be assigned index i = n - 1 where n is amount of parties in the simulation after this party was added.

pub fn parties_amount(&self) -> usize

Returns amount of parties in the simulation

pub fn run(self) -> Result<Vec<O>, SimulationSyncError>

Carries out the simulation