root
API
Generated with
root/org.sigilaris/org.sigilaris.node/org.sigilaris.node.jvm/org.sigilaris.node.jvm.runtime/org.sigilaris.node.jvm.runtime.consensus.hotstuff/HotStuffFinalizedAnchorVerifier

HotStuffFinalizedAnchorVerifier

org.sigilaris.node.jvm.runtime.consensus.hotstuff.HotStuffFinalizedAnchorVerifier
object HotStuffFinalizedAnchorVerifier

Verifies finalized anchor suggestions against the validator set and selects the highest verified.

Attributes

Source
Finalization.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def selectHighestVerified[F[_] : Monad](suggestions: Iterable[FinalizedAnchorSuggestion], validatorSetLookup: ValidatorSetLookup[F]): F[Either[FinalizedAnchorSafetyFault, Option[FinalizedAnchorSuggestion]]]

Selects the highest verified finalized anchor from multiple suggestions, detecting safety faults.

Selects the highest verified finalized anchor from multiple suggestions, detecting safety faults.

Attributes

Source
Finalization.scala
def verify[F[_] : Monad](suggestion: FinalizedAnchorSuggestion, validatorSetLookup: ValidatorSetLookup[F]): F[Either[FinalizedAnchorVerificationFailure, FinalizedAnchorSuggestion]]

Verifies a finalized anchor suggestion by checking all three proposals and their QCs.

Verifies a finalized anchor suggestion by checking all three proposals and their QCs.

Attributes

Source
Finalization.scala
Generated with