Method ValidateProposal

controller/block.go:185–220

ValidateProposal() fully validates a proposal in the form of a quorum certificate and resets back to begin block state

(rcBuildHeight uint64, qc *lib.QuorumCertificate, evidence *bft.ByzantineEvidence)

// ValidateProposal() fully validates a proposal in the form of a quorum certificate and resets back to begin block state
func (c *Controller) ValidateProposal(rcBuildHeight uint64, qc *lib.QuorumCertificate, evidence *bft.ByzantineEvidence) (blockResult *lib.BlockResult, err lib.ErrorI) {
	// reset the mempool at the beginning of the function to preserve the state for CommitCertificate()
	c.FSM.Reset()
	// log the beginning of proposal validation
	c.log.Debugf("Validating proposal from leader")
	// configure the FSM in 'consensus mode' for validator proposals
	resetProposalConfig := c.SetFSMInConsensusModeForProposals()
	// once done proposing, 'reset' the proposal mode back to default to 'accept all'
	defer resetProposalConfig()
	// ensure the proposal inside the quorum certificate is valid at a stateless level
	block, err := qc.CheckProposalBasic(c.FSM.Height(), c.Config.NetworkID, c.Config.ChainId)
	if err != nil {
		// exit with error
		return
	}
	// validate the byzantine evidence portion of the proposal (bft is canopy controlled)
	if err = c.Consensus.ValidateByzantineEvidence(qc.Results.SlashRecipients, evidence); err != nil {
		// exit with error
		return
	}
	// play the block against the state machine to generate a block result
	blockResult, err = c.ApplyAndValidateBlock(block, false)
	if err != nil {
		// exit with error
		return
	}
	// create a comparable certificate results (includes reward recipients, slash recipients, swap commands, etc)
	compareResults := c.NewCertificateResults(c.FSM, block, blockResult, evidence, rcBuildHeight)
	// ensure generated the same results
	if !qc.Results.Equals(compareResults) {
		// exit with error
		return nil, fsm.ErrMismatchCertResults()
	}
	// exit
	return
}

// CommitCertificate() is executed after the quorum agrees on a block
// - applies block against the fsm