Trait ProtocolResult

pub trait ProtocolResult: Debug {
    type Success;
    type ProvableError: Debug;
    type CorrectnessProof: Debug;
}

Typed outcomes of a protocol, specific for each protocol (in addition to non-specific errors common for all protocols).

Required Associated Types

type Success

The result obtained on successful termination of the protocol.

type ProvableError: Debug

A collection of data which, in combination with the messages received, can be used to prove malicious behavior of a remote node.

type CorrectnessProof: Debug

A collection of data which, in combination with the messages received, can be used to prove correct behavior of this node.

That is, on errors where the culprit cannot be immediately identified, each node will have to provide the correctness proof for itself.

Implementors

impl<P: SchemeParams, I: Ord + Debug> ProtocolResult for KeyResharingResult<P, I>

type Success = Option<ThresholdKeyShare<P, I>>

type ProvableError = KeyResharingError

type CorrectnessProof = ()

impl<P: SchemeParams, I: Debug + Ord> ProtocolResult for AuxGenResult<P, I>

type Success = AuxInfo<P, I>

type ProvableError = AuxGenError

type CorrectnessProof = ()

impl<P: SchemeParams, I: Debug + Ord> ProtocolResult for KeyGenResult<P, I>

type Success = (KeyShare<P, I>, AuxInfo<P, I>)

type ProvableError = KeyGenError<P, I>

type CorrectnessProof = KeyGenProof<P, I>

impl<P: SchemeParams, I: Debug + Ord> ProtocolResult for KeyInitResult<P, I>

type Success = KeyShare<P, I>

type ProvableError = KeyInitError

type CorrectnessProof = ()

impl<P: SchemeParams, I: Debug + Ord> ProtocolResult for KeyRefreshResult<P, I>

type Success = (KeyShareChange<P, I>, AuxInfo<P, I>)

type ProvableError = KeyRefreshError<P>

type CorrectnessProof = ()

impl<P: SchemeParams, I: Debug> ProtocolResult for InteractiveSigningResult<P, I>

type Success = RecoverableSignature

type ProvableError = InteractiveSigningError<P, I>

type CorrectnessProof = InteractiveSigningProof<P, I>

impl<P: SchemeParams, I: Debug> ProtocolResult for PresigningResult<P, I>

type Success = PresigningData<P, I>

type ProvableError = PresigningError

type CorrectnessProof = PresigningProof<P, I>

impl<P: SchemeParams, I: Debug> ProtocolResult for SigningResult<P, I>

type Success = RecoverableSignature

type ProvableError = ()

type CorrectnessProof = SigningProof<P, I>