proposal

Documentation

Index

• Variables
• func Justify(share *beacon.Share, state *qbft.State, round specqbft.Round, ...) error
• func ValidateProposalMsg(share *beacon.Share, state *qbft.State, resolver LeaderResolver) pipelines.SignedMessagePipeline
• type LeaderResolver

Variables

var ErrInvalidSignersNum = errors.New("proposal msg allows 1 signer")

ErrInvalidSignersNum represents an error when the number of signers is invalid.

Functions

func Justify

func Justify(share *beacon.Share, state *qbft.State, round specqbft.Round, roundChanges, prepares []*specqbft.SignedMessage, proposedValue []byte) error

Justify implements: predicate JustifyProposal(hPROPOSAL, λi, round, value)

return
	round = 1
	∨ received a quorum Qrc of valid <ROUND-CHANGE, λi, round, prj , pvj> messages such that:
		∀ <ROUND-CHANGE, λi, round, prj , pvj> ∈ Qrc : prj = ⊥ ∧ prj = ⊥
		∨ received a quorum of valid <PREPARE, λi, pr, value> messages such that:
			(pr, value) = HighestPrepared(Qrc)

TODO: move its tests to this package

func ValidateProposalMsg

func ValidateProposalMsg(share *beacon.Share, state *qbft.State, resolver LeaderResolver) pipelines.SignedMessagePipeline

ValidateProposalMsg validates proposal message

Types

type LeaderResolver

type LeaderResolver func(round specqbft.Round) uint64

LeaderResolver resolves round's leader