proposal

package
v0.3.6 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Feb 1, 2024 License: GPL-3.0 Imports: 6 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func DifferentJustifications

func DifferentJustifications() tests.SpecTest

DifferentJustifications tests a proposal for > 1 round, prepared previously with rc justification prepares at different heights (tests the highest prepared calculation)

func DuplicateMsg

func DuplicateMsg() tests.SpecTest

DuplicateMsg tests a duplicate proposal msg processing

func DuplicateMsgDifferentRoot added in v0.3.0

func DuplicateMsgDifferentRoot() tests.SpecTest

DuplicateMsgDifferentRoot tests a duplicate proposal msg processing (second one with different root)

func DuplicateRCMsg

func DuplicateRCMsg() tests.SpecTest

DuplicateRCMsg tests a proposal for > 1 round, not prepared previously with quorum of round change but 2 are duplicates (shouldn't find quorum)

func FirstRoundJustification

func FirstRoundJustification() tests.SpecTest

FirstRoundJustification tests proposal justification for first round (proposer is correct check)

func ForceStop added in v0.3.1

func ForceStop() tests.SpecTest

ForceStop tests processing a proposal msg when instance force stopped

func FutureRound added in v0.2.7

func FutureRound() tests.SpecTest

FutureRound tests a proposal for state.ProposalAcceptedForCurrentRound != nil && signedProposal.Message.Round > state.Round

func FutureRoundPrevNotPrepared added in v0.2.7

func FutureRoundPrevNotPrepared() tests.SpecTest

FutureRoundPrevNotPrepared tests a proposal for future round, currently not prepared

func InvalidFullData added in v0.3.0

func InvalidFullData() tests.SpecTest

InvalidFullData tests signed proposal with an invalid full data field (H(full data) != root)

func InvalidPrepareJustificationRound

func InvalidPrepareJustificationRound() tests.SpecTest

InvalidPrepareJustificationRound tests a proposal for > 1 round, prepared previously but one of the prepare justifications has round != highest prepared round

func InvalidPrepareJustificationValue

func InvalidPrepareJustificationValue() tests.SpecTest

InvalidPrepareJustificationValue tests a proposal for > 1 round, prepared previously but one of the prepare justifications has value != highest prepared

func InvalidRoundChangeJustification

func InvalidRoundChangeJustification() tests.SpecTest

InvalidRoundChangeJustification tests a proposal for > 1 round, not prepared previously but one of the round change justifications has validRoundChange != nil

func InvalidRoundChangeJustificationPrepared

func InvalidRoundChangeJustificationPrepared() tests.SpecTest

InvalidRoundChangeJustificationPrepared tests a proposal for > 1 round, prepared previously but one of the round change justifications has validRoundChange != nil TODO: make sure it does what it used to do before (https://github.com/bloxapp/ssv-spec/pull/156#discussion_r1113040758)

func InvalidValueCheck

func InvalidValueCheck() tests.SpecTest

InvalidValueCheck tests a proposal that doesn't pass value check

func JustificationsNotHeighest

func JustificationsNotHeighest() tests.SpecTest

JustificationsNotHeighest tests a proposal for > 1 round, prepared previously with rc justification prepares at different heights but the prepare justification is not the highest

func MultiSigner

func MultiSigner() tests.SpecTest

MultiSigner tests a proposal msg with > 1 signers

func NoRCJustification

func NoRCJustification() tests.SpecTest

NoRCJustification tests a proposal for > 1 round, not prepared previously but without quorum of round change msgs justification

func NotPreparedPreviouslyJustification

func NotPreparedPreviouslyJustification() tests.SpecTest

NotPreparedPreviouslyJustification tests a proposal for > 1 round, not prepared previously

func PastRoundProposalPrevNotPrepared added in v0.2.7

func PastRoundProposalPrevNotPrepared() tests.SpecTest

PastRoundProposalPrevNotPrepared tests a valid proposal for past round (not prev prepared)

func PastRoundProposalPrevPrepared added in v0.2.7

func PastRoundProposalPrevPrepared() tests.SpecTest

PastRoundProposalPrevPrepared tests a valid proposal for past round (prev prepared)

func PostCutoff added in v0.3.1

func PostCutoff() tests.SpecTest

PostCutoff tests processing a proposal msg when round >= cutoff

func PostDecided

func PostDecided() tests.SpecTest

PostDecided tests processing proposal msg after instance decided

func PostPrepared

func PostPrepared() tests.SpecTest

PostPrepared tests processing proposal msg after instance prepared

func PreparedPreviouslyDuplicatePrepareMsg

func PreparedPreviouslyDuplicatePrepareMsg() tests.SpecTest

PreparedPreviouslyDuplicatePrepareMsg tests a proposal for > 1 round, prepared previously with quorum of prepared msgs (2 of which are duplicates, shouldn't find quorum)

func PreparedPreviouslyDuplicatePrepareQuorum

func PreparedPreviouslyDuplicatePrepareQuorum() tests.SpecTest

PreparedPreviouslyDuplicatePrepareQuorum tests a proposal for > 1 round, prepared previously with quorum of prepared msgs (2 of which are duplicates)

func PreparedPreviouslyDuplicateRCMsg

func PreparedPreviouslyDuplicateRCMsg() tests.SpecTest

PreparedPreviouslyDuplicateRCMsg tests a proposal for > 1 round, prepared previously with quorum of round change but 2 are duplicates (shouldn't find quorum)

func PreparedPreviouslyDuplicateRCQuorum

func PreparedPreviouslyDuplicateRCQuorum() tests.SpecTest

PreparedPreviouslyDuplicateRCQuorum tests a proposal for > 1 round, prepared previously with quorum of round change but 2 are duplicates

func PreparedPreviouslyJustification

func PreparedPreviouslyJustification() tests.SpecTest

PreparedPreviouslyJustification tests a proposal for > 1 round, prepared previously with quorum of round change msgs justification

func PreparedPreviouslyNoPrepareJustificationQuorum

func PreparedPreviouslyNoPrepareJustificationQuorum() tests.SpecTest

PreparedPreviouslyNoPrepareJustificationQuorum tests a proposal for > 1 round, prepared previously but without quorum of prepared msgs justification

func PreparedPreviouslyNoRCJustificationQuorum

func PreparedPreviouslyNoRCJustificationQuorum() tests.SpecTest

PreparedPreviouslyNoRCJustificationQuorum tests a proposal for > 1 round, prepared previously but without quorum of round change msgs justification

func SecondProposalForRound

func SecondProposalForRound() tests.SpecTest

SecondProposalForRound tests a second proposal (by same signer) for current round. state.ProposalAcceptedForCurrentRound != nil && signedProposal.Message.Round == state.Round

func UnknownSigner added in v0.2.7

func UnknownSigner() tests.SpecTest

UnknownSigner tests a single proposal received with an unknown signer

func ValidFullData added in v0.3.0

func ValidFullData() tests.SpecTest

ValidFullData tests the signed commit with a valid full data field (H(full data) == root)

func WrongHeight

func WrongHeight() tests.SpecTest

WrongHeight tests a proposal msg received with the wrong height

func WrongProposer

func WrongProposer() tests.SpecTest

WrongProposer tests a proposal by the wrong proposer

func WrongSignature

func WrongSignature() tests.SpecTest

WrongSignature tests a single proposal received with a wrong signature

Types

This section is empty.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL