mirror of
https://github.com/kaspanet/kaspad.git
synced 2025-05-29 10:16:45 +00:00

* Revert "[NOD-1500] Delete integration tests" This reverts commit fcb57a206690a884fa6afb69d5d493282954a8bf. * [NOD-1518] hashserialization -> consenusserialization * [NOD-1518] Fix add genesis to virtual * [NOD-1518] Fix a bug in SerializeCoinbasePayload. * [NOD-1518] Fix a loop error and make pastMedianTime behave correctly everywhere on genesis. * [NOD-1518] Fix another bug and an infinite loop. * [NOD-1518] Fix uninitialized slice. * [NOD-1518] Fix bad should-commit checks and another infinite loop. * [NOD-1518] Fix nil serialization. * [NOD-1518] Rename blockHash to currentBlockHash. * [NOD-1518] Move the check whether stagedVirtualUTXOSet != nil to the top of commitVirtualUTXODiff. * [NOD-1518] Simplify utxoDiffStore.Commit. * [NOD-1518] Unextract resolveBlockStatusAndCheckFinality. * [NOD-1518] Move no-transactions logic into CalculateIDMerkleRoot. * [NOD-1518] Remove redundant is-staged check. * [NOD-1518] Fix merge errors. * [NOD-1518] Don't write anything if utxoDiffChild is nil. * [NOD-1518] Stage virtualAcceptanceData and virtualMultiset. * [NOD-1518] Fix bugs in getBlockTemplate and submitBlock. * [NOD-1518] Fix bad validation order in validateHeaderInContext. * [NOD-1518] Fix bug in Next(). * [NOD-1518] Fix nil dereference of subnetworks in AddressCache. * [NOD-1518] Fix multisetStore.Get returning a pointer to a multiset that is changed in place. * [NOD-1518] Break on genesis in countSubtrees. * [NOD-1518] Fix createBlockLocator. * [NOD-1518] Fix MsgTxToDomainTransaction. * [NOD-1518] Set MaxTxVersion to 1. * [NOD-1518] Fix missing error handling, bug in MsgTxToDomainTransaction, and bad subnetwork equality check. * [NOD-1518] Fix bug in hasUTXOByOutpointFromStagedVirtualUTXODiff. * [NOD-1518] Remove irrelevant comments. * [NOD-1518] Generate transactions with sufficient fee in tx_relay_test. * [NOD-1518] Fix broken RPC handlers. * [NOD-1518] Fix merge errors. * [NOD-1518] Fix bad exists check in restorePastUTXO and missing genesis check in CalculatePastUTXOAndAcceptanceData. * [NOD-1518] Add a comment. * [NOD-1518] Use a regular mutex instead of a read-write mutex in consensus to avoid dealing with sneaky not-actually-read functions. * [NOD-1518] Fix a deadlock in GetVirtualSelectedParent. * [NOD-1518] Fix missing handler registration for CmdHeader. * [NOD-1518] Fix processHeader calling OnNewBlock and LogBlock. Also fix conversion errors in IBDRootUTXOSetAndBlock. * [NOD-1518] Fix bad Command() in MsgIBDRootUTXOSetAndBlock. * [NOD-1518] Fix bad SyncStateMissingUTXOSet logic in resolveSyncState. * [NOD-1518] Rename mode to syncState. * [NOD-1518] Fix headers-only blocks coming in after the consensus thinks it's synced. * [NOD-1518] Fix selectedChildIterator.Next not ignoring virtual, infinite loop in HashSet.Length(). * [NOD-1518] Fix not-properly wrapped IBD blocks. * [NOD-1518] Fix bad conversion in RequestIBDBlocks. * [NOD-1518] Fix bad string for CmdRequestHeaders. * [NOD-1518] Fix bad string for CmdDoneHeaders. * [NOD-1518] Fix bad Command() for MsgIBDRootNotFound. * [NOD-1518] Fix bad areHeaderTipsSyncedMaxTimeDifference value. * [NOD-1518] Add missing string for CmdRequestIBDBlocks. * [NOD-1518] Fix bad check for SyncStateMissingBlockBodies. * [NOD-1518] Fix bad timeout durations in tests. * [NOD-1518] Fix IBD blocks not calling OnNewBlock. * [NOD-1518] Change when IBD finishes. * [NOD-1518] Properly clone utxoDiffChild. * [NOD-1518] Fix merge errors. * [NOD-1518] Move call to LogBlock to into OnNewBlock. * [NOD-1518] Return "not implemented" in unimplemented RPC handlers. * [NOD-1518] Extract cloning of hashes to a method over DomainHash. * [NOD-1518] Use isHeaderOnlyBlock. * [NOD-1518] Use constants.TransactionVersion. * [NOD-1518] Break immediately if we reached the virtual in SelectedChildIterator. * [NOD-1518] Don't stage nil utxoDiffChild. * [NOD-1518] Properly check the genesis hash in CalculatePastUTXOAndAcceptanceData. * [NOD-1518] Explain why we break on current == nil in countSubtrees. * [NOD-1518] Add a comment explaining why we check against StatusValid in resolveSyncState. Co-authored-by: Mike Zak <feanorr@gmail.com> Co-authored-by: Ori Newman <orinewman1@gmail.com>
141 lines
4.1 KiB
Go
141 lines
4.1 KiB
Go
package consensusstatemanager
|
|
|
|
import (
|
|
"github.com/kaspanet/kaspad/domain/consensus/model"
|
|
"github.com/kaspanet/kaspad/domain/consensus/model/externalapi"
|
|
"github.com/kaspanet/kaspad/domain/consensus/processes/consensusstatemanager/utxoalgebra"
|
|
"github.com/kaspanet/kaspad/domain/consensus/ruleerrors"
|
|
"github.com/pkg/errors"
|
|
)
|
|
|
|
func (csm *consensusStateManager) resolveBlockStatus(blockHash *externalapi.DomainHash) (externalapi.BlockStatus, error) {
|
|
// get list of all blocks in the selected parent chain that have not yet resolved their status
|
|
unverifiedBlocks, selectedParentStatus, err := csm.getUnverifiedChainBlocksAndSelectedParentStatus(blockHash)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
|
|
// resolve the unverified blocks' statuses in opposite order
|
|
for i := len(unverifiedBlocks) - 1; i >= 0; i-- {
|
|
unverifiedBlockHash := unverifiedBlocks[i]
|
|
|
|
var blockStatus externalapi.BlockStatus
|
|
if selectedParentStatus == externalapi.StatusDisqualifiedFromChain {
|
|
blockStatus = externalapi.StatusDisqualifiedFromChain
|
|
} else {
|
|
blockStatus, err = csm.resolveSingleBlockStatus(unverifiedBlockHash)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
}
|
|
|
|
csm.blockStatusStore.Stage(unverifiedBlockHash, blockStatus)
|
|
selectedParentStatus = blockStatus
|
|
}
|
|
|
|
return 0, nil
|
|
}
|
|
|
|
func (csm *consensusStateManager) getUnverifiedChainBlocksAndSelectedParentStatus(blockHash *externalapi.DomainHash) (
|
|
[]*externalapi.DomainHash, externalapi.BlockStatus, error) {
|
|
|
|
unverifiedBlocks := []*externalapi.DomainHash{blockHash}
|
|
currentHash := blockHash
|
|
for {
|
|
ghostdagData, err := csm.ghostdagDataStore.Get(csm.databaseContext, currentHash)
|
|
if err != nil {
|
|
return nil, 0, err
|
|
}
|
|
|
|
if ghostdagData.SelectedParent == nil {
|
|
return unverifiedBlocks, externalapi.StatusValid, nil
|
|
}
|
|
|
|
selectedParentStatus, err := csm.blockStatusStore.Get(csm.databaseContext, ghostdagData.SelectedParent)
|
|
if err != nil {
|
|
return nil, 0, err
|
|
}
|
|
|
|
if selectedParentStatus != externalapi.StatusUTXOPendingVerification {
|
|
return unverifiedBlocks, selectedParentStatus, nil
|
|
}
|
|
|
|
unverifiedBlocks = append(unverifiedBlocks, ghostdagData.SelectedParent)
|
|
|
|
currentHash = ghostdagData.SelectedParent
|
|
}
|
|
}
|
|
|
|
func (csm *consensusStateManager) resolveSingleBlockStatus(blockHash *externalapi.DomainHash) (externalapi.BlockStatus, error) {
|
|
pastUTXODiff, acceptanceData, multiset, err := csm.CalculatePastUTXOAndAcceptanceData(blockHash)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
|
|
err = csm.acceptanceDataStore.Stage(blockHash, acceptanceData)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
|
|
block, err := csm.blockStore.Block(csm.databaseContext, blockHash)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
|
|
err = csm.verifyAndBuildUTXO(block, blockHash, pastUTXODiff, acceptanceData, multiset)
|
|
if err != nil {
|
|
if errors.As(err, &ruleerrors.RuleError{}) {
|
|
return externalapi.StatusDisqualifiedFromChain, nil
|
|
}
|
|
return 0, err
|
|
}
|
|
|
|
csm.multisetStore.Stage(blockHash, multiset)
|
|
err = csm.utxoDiffStore.Stage(blockHash, pastUTXODiff, nil)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
|
|
err = csm.updateParentDiffs(blockHash, pastUTXODiff)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
|
|
return externalapi.StatusValid, nil
|
|
}
|
|
func (csm *consensusStateManager) updateParentDiffs(
|
|
blockHash *externalapi.DomainHash, pastUTXODiff *model.UTXODiff) error {
|
|
parentHashes, err := csm.dagTopologyManager.Parents(blockHash)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
for _, parentHash := range parentHashes {
|
|
// skip all parents that already have a utxo-diff child
|
|
parentHasUTXODiffChild, err := csm.utxoDiffStore.HasUTXODiffChild(csm.databaseContext, parentHash)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
if parentHasUTXODiffChild {
|
|
continue
|
|
}
|
|
|
|
// parents that till now didn't have a utxo-diff child - were actually virtual's diffParents.
|
|
// Update them to have the new block as their utxo-diff child
|
|
parentCurrentDiff, err := csm.utxoDiffStore.UTXODiff(csm.databaseContext, parentHash)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
parentNewDiff, err := utxoalgebra.DiffFrom(pastUTXODiff, parentCurrentDiff)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
err = csm.utxoDiffStore.Stage(parentHash, parentNewDiff, blockHash)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
}
|
|
|
|
return nil
|
|
}
|