Trait synedrion::ProtocolResult

source · 
pub trait ProtocolResult: Debug {
    type Success;
    type ProvableError: Debug + Clone;
    type CorrectnessProof: Debug + Clone;
}
Expand description

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

Required Associated Types§

source

type Success

The result obtained on successful termination of the protocol.

source

type ProvableError: Debug + Clone

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

source

type CorrectnessProof: Debug + Clone

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§