kaspad/domain/consensus/processes/consensusstatemanager/add_block_to_virtual.go

package consensusstatemanager

import (
	"github.com/kaspanet/kaspad/domain/consensus/model"
	"github.com/kaspanet/kaspad/domain/consensus/model/externalapi"
)

// AddBlockToVirtual submits the given block to be added to the
// current virtual. This process may result in a new virtual block
// getting created
func (csm *consensusStateManager) AddBlockToVirtual(blockHash *externalapi.DomainHash) error {
	log.Tracef("AddBlockToVirtual start for block %s", blockHash)
	defer log.Tracef("AddBlockToVirtual end for block %s", blockHash)

	log.Tracef("Resolving whether the block %s is the next virtual selected parent", blockHash)
	isNextVirtualSelectedParent, err := csm.isNextVirtualSelectedParent(blockHash)
	if err != nil {
		return err
	}

	if isNextVirtualSelectedParent {
		log.Tracef("Block %s is the new virtual. Resolving its block status", blockHash)
		blockStatus, err := csm.resolveBlockStatus(blockHash)
		if err != nil {
			return err
		}

		if blockStatus == externalapi.StatusValid {
			log.Tracef("Block %s is tentatively valid. Resolving whether it violates finality", blockHash)
			err = csm.checkFinalityViolation(blockHash)
			if err != nil {
				return err
			}

			// Re-fetch the block status for logging purposes
			// because it could've been changed in
			// checkFinalityViolation
			blockStatus, err = csm.blockStatusStore.Get(csm.databaseContext, blockHash)
			if err != nil {
				return err
			}
		}

		log.Debugf("Block %s is the next virtual selected parent. "+
			"Its resolved status is `%s`", blockHash, blockStatus)
	} else {
		log.Debugf("Block %s is not the next virtual selected parent, "+
			"therefore its status remains `%s`", blockHash, externalapi.StatusUTXOPendingVerification)
	}

	log.Tracef("Adding block %s to the DAG tips", blockHash)
	newTips, err := csm.addTip(blockHash)
	if err != nil {
		return err
	}
	log.Tracef("After adding %s, the new tips are %s", blockHash, newTips)

	log.Tracef("Updating the virtual with the new tips")
	err = csm.updateVirtual(blockHash, newTips)
	if err != nil {
		return err
	}

	return nil
}

func (csm *consensusStateManager) isNextVirtualSelectedParent(blockHash *externalapi.DomainHash) (bool, error) {
	log.Tracef("isNextVirtualSelectedParent start for block %s", blockHash)
	defer log.Tracef("isNextVirtualSelectedParent end for block %s", blockHash)

	if *blockHash == *csm.genesisHash {
		log.Tracef("Block %s is the genesis block, therefore it is "+
			"the selected parent by definition", blockHash)
		return true, nil
	}

	virtualGhostdagData, err := csm.ghostdagDataStore.Get(csm.databaseContext, model.VirtualBlockHash)
	if err != nil {
		return false, err
	}

	log.Tracef("Selecting the next selected parent between "+
		"the block %s the current selected parent %s", blockHash, virtualGhostdagData.SelectedParent)
	nextVirtualSelectedParent, err := csm.ghostdagManager.ChooseSelectedParent(virtualGhostdagData.SelectedParent, blockHash)
	if err != nil {
		return false, err
	}
	log.Tracef("The next selected parent is: %s", nextVirtualSelectedParent)

	return *blockHash == *nextVirtualSelectedParent, nil
}

func (csm *consensusStateManager) addTip(newTipHash *externalapi.DomainHash) (newTips []*externalapi.DomainHash, err error) {
	log.Tracef("addTip start for new tip %s", newTipHash)
	defer log.Tracef("addTip end for new tip %s", newTipHash)

	log.Tracef("Calculating the new tips for new tip %s", newTipHash)
	newTips, err = csm.calculateNewTips(newTipHash)
	if err != nil {
		return nil, err
	}
	log.Tracef("The new tips are: %s", newTips)

	err = csm.consensusStateStore.StageTips(newTips)
	if err != nil {
		return nil, err
	}
	log.Tracef("Staged the new tips %s", newTips)

	return newTips, nil
}

func (csm *consensusStateManager) calculateNewTips(newTipHash *externalapi.DomainHash) ([]*externalapi.DomainHash, error) {
	log.Tracef("calculateNewTips start for new tip %s", newTipHash)
	defer log.Tracef("calculateNewTips end for new tip %s", newTipHash)

	if *newTipHash == *csm.genesisHash {
		log.Tracef("The new tip is the genesis block, therefore it is the only tip by definition")
		return []*externalapi.DomainHash{newTipHash}, nil
	}

	currentTips, err := csm.consensusStateStore.Tips(csm.databaseContext)
	if err != nil {
		return nil, err
	}
	log.Tracef("The current tips are: %s", currentTips)

	newTipParents, err := csm.dagTopologyManager.Parents(newTipHash)
	if err != nil {
		return nil, err
	}
	log.Tracef("The parents of the new tip are: %s", newTipParents)

	newTips := []*externalapi.DomainHash{newTipHash}

	for _, currentTip := range currentTips {
		isCurrentTipInNewTipParents := false
		for _, newTipParent := range newTipParents {
			if *currentTip == *newTipParent {
				isCurrentTipInNewTipParents = true
				break
			}
		}
		if !isCurrentTipInNewTipParents {
			newTips = append(newTips, currentTip)
		}
	}
	log.Tracef("The calculated new tips are: %s", newTips)

	return newTips, nil
}