Module round_based::state_machine

Available on crate feature state-machine only.

Wraps the protocol defined as async function and provides sync API to execute it

In round_based framework, MPC protocols are defined as async function. However, sometimes it may not be possible/desirable to have async runtime which drives the futures until completion. For such use-cases, we provide wrap_protocol function that wraps an MPC protocol defined as async function and returns the StateMachine that exposes sync API to carry out the protocol.

Structs

• ExecutionError
  Error type which indicates that state machine failed to carry out the protocol
• Incomings
  Stream of incoming messages
• Outgoings
  Sink for outgoing messages
• Runtime
  State machine runtime
• SendErr
  Error returned by Outgoings sink
• YieldNow
  Future returned by runtime.yield_now()

Enums

• ProceedResult
  Tells why protocol execution stopped

Traits

• StateMachine
  Provides interface to execute the protocol

Functions

• wrap_protocol
  Wraps the protocol and provides sync API to execute it

Type Aliases

• Delivery
  Delivery implementation used in the state machine
• MpcParty
  MpcParty instantiated with state machine implementation of delivery and async runtime