mirror of
https://github.com/kaspanet/kaspad.git
synced 2025-09-13 04:50:11 +00:00

* [NOD-1249] Add pruning related constants (#869) * [NOD-1249] Add pruning related constants * [NOD-1249] Change status suspect to UTXONotVerified * [NOD-1249] Add TestPruningDepth * [NOD-1249] Add comment to pruningDepth * [NOD-1249] Add pruning helper functions (#875) * [NOD-1249] Added node.blockAtDepth * [NOD-1249] Added node.finalityPoint() * [NOD-1249] Add hasFinalityPointInOthersSelectedChain * [NOD-1249] Add nonFinalityViolatingBlues * [NOD-1249] Added isInPastOfAny * [NOD-1249] Updated all calls to blockNode functions that require dag * [NOD-1249] Add blockNode.reds field and persist it * [NOD-1249] Add checkObjectiveFinality * [NOD-1249] Add isViolatingSubjectiveFinality * [NOD-1249] Added to TestGHOSTDAG check that reds are as expected * [NOD-1249] Add checkMergeLimit and checkDAGRelations * [NOD-1249] Invert condition in blockInDepth * [NOD-1249] Make isInPastOfAny resemble isInPast * [NOD-1249] Added comments to isInPast and isInPastOfAny * [NOD-1252] Remove any references to legacy finality (#876) * [NOD-1032] validateParents: check number of parents and that no parents were manually rejected (#877) * [NOD-1254] Block verification changes (#882) * [NOD-1254] Call checkDAGRelations and move it to correct place * [NOD-1254] Use blockStatuses properly * [NOD-1254] Add support for setting node's verification flag and set it to UTXONotVerified once block passes basic verification * [NOD-1254] Check for subjctiveFinality, and for node not being in the selectedParentChain * [NOD-1254] Make blockStatus an ordinary value - not bit flags * [NOD-1254] Isolate all utxo-requiring validation into a single separate if branches * [NOD-1254] Re-arrange connectBloc so that things that happen in UTXO-validated blocks only are all grouped together * [NOD-1254] Resolve and check selectedParent's status before validatingUTXO * [NOD-1254] Separate virtualUTXODiff from utxoVerificationOutput * [NOD-1254] Stylistic fixes * [NOD-1254] Use dag.index.(Set)BlockNodeStatus instead of accessing node.status * [NOD-1288] Sub-routinize checkConnectToPastUTXO * [NOD-1288] Re-write checkConnectToPastUTXO in a way that allows to filter-out invalid transactions * [NOD-1288] Make checkTxSequenceLock use already calculated utxo outputs * [NOD-1288] Make checkTxMass use already calculated utxo outputs * [NOD-1288] Use dag.sigCache for ValidateTransactionScripts * [NOD-1288] Use checkConnectTransactionToPastUTXO in applyBlueBlocks * [NOD-1288] Clean-up old code-path from no longer used functions * [NOD-1288] Skip any irrelevant parts of txo verification if block is genesis * [NOD-1288] Set where it should have been * [NOD-1288] Fix reachability checks to never use the new node + make isInSelectedParentChainOf return true if node == other * [NOD-1288] invert the condition for isNewSelectedTip * [NOD-1288] Separate checkIsAccepted to own function, and properly handle coinbase * [NOD-1288] Don't update utxo-diff for UTXONotVerified parents/tips + Make PrepareBlockForTest resolve the selectedParent's UTXOSet if needed * [NOD-1288] Include mass off coinbase transactions * [NOD-1288] Move comment to correct position * [NOD-1288] If blockAtDepth should return genesis - do it immidiately * [NOD-1288] Comment-out instead of removeing scriptval_test.go * [NOD-1288] Rename: entry -> utxoEntry * [NOD-1288] Remove special function for calcCoinbaseTxMass * [NOD-1288] Remove redundant check from checkEntryAmounts * [NOD-1288] Rename: MaxMassPerBlock -> MaxMassAcceptedByBlock * [NOD-1255] Implement boundedMergeBreakingParents * [NOD-1255] Implement selectAllowedTips * [NOD-1255] Integrate virtual parent selection into block verification process * [NOD-1255] Add node to tips all the time, remove it from candidates and add it's parents if it's disqualified * [NOD-1255] remove tips from virtaulBlock * [NOD-1255] Rename: didVirtualParentsChanged -> didVirtualParentsChange * [NOD-1255] Remove redundant sanity check * [NOD-1255] Handle a forgotten error * [NOD-1255] Prettify selectVirtualParents * [NOD-1255] UpdateTipsUTXO should run over all UTXO-Verified tips, even if they are not parents of virtual * [NOD-1311] Make isInPast inclusive * [NOD-1032] Handle finality conflicts (#904) * [NOD-1312] AddTip should not include finalityViolating and manuallyRejected blocks * [NOD-1312] Implement resolveFinalityConflict * [NOD-1312] Implement dag notifications for finalityChanges + updateing DAG state * [NOD-1312] Added finality conflict rpc boilerplate * [NOD-1312] Implement handling of getFinalityConflicts + resolveFinalityConflict RPCs * [NOD-1312] Implement finality conflict related notifications * [NOD-1312] Move all time to millisecond time * [NOD-1312] Add comments + unexport some methods * [NOD-1312] Add clarification in comments * [NOD-1312] Move updateFinalityConflictResolution to finality_conflicts.go * [NOD-1312] Rename: currentSelectedTip -> selectedTip * [NOD-1312] Add long comment to ResolveFinalityConflict * [NOD-1312] Convert areAllInSelectedParentChainOf into isInSelectedParentChainOfAll * [NOD-1312] Rename chainUpdates (type) -> selectedParentChainUpdates, to distinguish from the variable chainUpdates * [NOD-1032] Make all blockdag tests compile * [NOD-1278] Fix finality-related tests (#910) * [NOD-1032] Don't return node.dag.genesis from blockAtDepth because it might still not exist * [NOD-1032] Actually add a tip in dag.addTip * [NOD-1278] Add transaction to utxo set if it's coinbase * [NOD-1278] Use VirtualParentHashes instead of TipHashes where appropriate * [NOD-1278] If no valid virtual parent candidates - return error, don't wait for panic * [NOD-1278] Transition TestCalcSequenceLock from newTestDAG to DAGSetup * [NOD-1278] Fix .bluest() tie-breaker * [NOD-1278] Remove feeData structure, as it no longer works, store feeData in acceptanceData * [NOD-1278] Remove dag parameter from blockNode methods * [NOD-1278] Fix TestBlueBlockWindow * [NOD-1278] Don't subject selectedParent to MaxMergeSet * [NOD-1278] se PrepareAndProcessBlockForTest instead of .addTip in TestSelectedPath * [NOD-1278] Fixed TestDAGStateSerialization * [NOD-1278] Fix TestAcceptanceIndexRecover * [NOD-1278] Fix TestCheckConnectBlockTemplate * [NOD-1278] Fix TestChainUpdates * [NOD-1278] Fix and rename TestVirtualBlock -> TestTips * [NOD-1278] Rename checkIsAccepted -> maybeAcceptTx * [NOD-1278] Re-activate TestDoubleSpends * Revert "[NOD-1278] Fixed TestDAGStateSerialization" This reverts commit 845095d6de7207b07cf819d05f3f38ad94da9cf6. * [NOD-1278] Remove dag parameter from expectedCoinbaseTransaction * [NOD-1348] Implemented simplified Finality Conflict Resolution scheme (#911) * [NOD-1348] Rename functions according to Research spec * [NOD-1348] Added blockSet.areAllIn * [NOD-1348] Implemented simplified finality conflict resolution scheme * [NOD-1348] Refactorings and fixes in selectVirtualParents * [NOD-1278] Fix bugs discovered by unit-tests + Fix unit-tests (#916) * Updated to version v0.3.1 * [NOD-858] Don't switch sync peer if the syncing process hasn't yet started with the current sync peer (#700) * [NOD-858] Don't switch sync peer if the syncing process hasn't yet started with the current sync peer * [NOD-858] SetShouldSendBlockLocator(false) on OnBlockLocator * [NOD-858] Rename shouldSendBlockLocator->wasBlockLocatorRequested * [NOD-858] Move panic to shouldReplaceSyncPeer * [NOD-869] Add a print after os.Exit(1) to see if it is ever called (#701) * [NOD-1238] Fix acceptance index never being initialized. (#859) * [NOD-1278] Genesis never violates finality * [NOD-1348] Refactorings and fixes in selectVirtualParents * [NOD-1278] Don't call dag.selectVirtualParents for genesis * [NOD-1278] Properly organize errors in maybeAcceptBlock * [NOD-1278] updateTipsUTXO should only run on tips whose status is * [NOD-1278] updateTipsUTXO should only run on tips whose status is `valid` * [NOD-1278] Fix TestDoubleSpends * [NOD-1278] Fix TestDAGIndexFailedStatus * [NOD-1278] IsFinalizedTransaction should use uint64 everywhere * [NOD-1278] If tx is coinbase and not selectedParent - don't update pastUTXO * [NOD-1278] Store tips and validTips separately * [NOD-1278] Store ValidTips and VirtualParents in dagState * [NOD-1278] Fix TestProcessOrphans * [NOD-1278] Fix TestProcessOrphans * [NOD-1278] Fix TestOrderInDiffFromAcceptanceData * [NOD-1278] Fix TestHelp * [NOD-1278] Remove mining.PrepareBlockForTest; use blockdag.PrepareBlockForTest instead * [NOD-1278] Explicitly disallow chained transactions * [NOD-1278] * [NOD-1278] Fix some comments Co-authored-by: Ori Newman <orinewman1@gmail.com> Co-authored-by: stasatdaglabs <39559713+stasatdaglabs@users.noreply.github.com> Co-authored-by: Yuval Shaul <yuval.shaul@gmail.com> * [NOD-1355] Add unit-test for finality + When resolving finalityConflict - make sure the block that will come out selectedTip is statusValid (#919) * [NOD-1355] Added test for finality * [NOD-1355] When resolving finalityConflict - make sure the block that will come out selectedTip is statusValid * [NOD-1032] Renames: anything about inputsWithReferencedUTXOEntries -> remove 'Referenced' * [NOD-1032] Don't ignore non-rule errors * [NOD-1032] Fix comment * [NOD-1032] Enhanced comments on TestChainUpdates * [NOD-1032] Remove scriptval_test.go * [NOD-1032] Extracted isNewSelectedTip to a method * [NOD-1032] Use dag.Now() instead of mstime.Now() * [NOD-1032] Print block status when accepting block * [NOD-1032] Add comment explaining boundedMergeBreakingParents * [NOD-1032] Enhanced test and imporved comments in TestFinality * [NOD-1032] Rename: Objective finality -> bounded merge depth * [NOD-1032] No need to check that validTips are valid * [NOD-1032] Remove dag from arguments of updateDiffAndDiffChild * [NOD-1032] Correct variable names in LookupNodes [NOD-1032] Correct variable names in LookupNodes * [NOD-1032] Fix some comments * [NOD-1032] Some style changes * [NOD-1032] Refactor isAnyInPastOf * [NOD-1032] Enhance comment in updateVirtualParents * [NOD-1032] Flip condition in updateVirtualParents * [NOD-1032] Stylistic and grammatic fixes in dag.go and dag_test.go * [NOD-1032] Explain why updateSelectedParentSet receives geneses on init * [NOD-1032] Remove ErrParentManuallyRejected * [NOD-1032] Added wrapper for resolveNodeStatus that creates a special transaction for it * [NOD-1032] Rename: statusUTXONotVerified -> statusUTXOPendingVerification * [NOD-1032] Use virtual parents in CurrentBits() * [NOD-1032] rename: isViolatingSubjectiveFinality -> isViolatingFinality * [NOD-1032] Move updateVirtualAndTips to applyDAGChanges * [NOD-1032] Invert condition for isFinalityPointInPast * [NOD-1032] Fix antiPastBetween isInPast became inclusive * [NOD-1032] Remove redundant call for addTip * [NOD-1032] Use calcCoinbaseTxMass where appropriate * [NOD-1032] Remove time fields from conflict notifications * [NOD-1032] Assign the correct thing to i * [NOD-1032] unify checkOutputsAmounts and checkTxOutputAmounts * [NOD-1032] Cleanup in CheckTransactionInputsAndCalulateFee * [NOD-1032] Fixed some style and comments * [NOD-1032] If selectedParent is disqualifiedFromChain - validateAndApplyUTXOSet should return this as a ruleError * [NOD-1032] Set the status in resolveNodeStatus * [NOD-1032] Correct comment on boundedMergeBreakingParents * [NOD-1032] Fix a typo. * [NOD-1032] Update a variable name. * [NOD-1032] Fix a comment. * [NOD-1032] Fix merge errors. * [NOD-1032] Add VirtualParentHashes to getBlockDagInfo. * [NOD-1032] Update handleGetBlockTemplate. * [NOD-1032] Comment out all the old RPC stuff. * [NOD-1032] Remove irrelevant type. * [NOD-1032] Implement ResolveFinalityConflict. * [NOD-1032] Remove irrelevant comments. * [NOD-1032] Implement NotifyFinalityConflicts. * [NOD-1032] Add FinalityConflictNotification and FinalityConflictResolvedNotification. * [NOD-1032] Finish implementing finality conflict notifications. * [NOD-1032] Remove old RPC stuff. * [NOD-1032] Fix grammar in a comment. Co-authored-by: Ori Newman <orinewman1@gmail.com> Co-authored-by: stasatdaglabs <39559713+stasatdaglabs@users.noreply.github.com> Co-authored-by: Yuval Shaul <yuval.shaul@gmail.com> Co-authored-by: stasatdaglabs <stas@daglabs.com>
379 lines
12 KiB
Go
379 lines
12 KiB
Go
// Copyright (c) 2015-2017 The btcsuite developers
|
|
// Use of this source code is governed by an ISC
|
|
// license that can be found in the LICENSE file.
|
|
|
|
package blockdag
|
|
|
|
import (
|
|
"fmt"
|
|
"math"
|
|
|
|
"github.com/kaspanet/kaspad/domain/dagconfig"
|
|
"github.com/kaspanet/kaspad/util/mstime"
|
|
"github.com/pkg/errors"
|
|
|
|
"github.com/kaspanet/kaspad/app/appmessage"
|
|
"github.com/kaspanet/kaspad/util/daghash"
|
|
)
|
|
|
|
// blockStatus is representing the validation state of the block.
|
|
type blockStatus byte
|
|
|
|
const (
|
|
// statusDataStored indicates that the block's payload is stored on disk.
|
|
statusDataStored blockStatus = iota
|
|
|
|
// statusValid indicates that the block has been fully validated.
|
|
statusValid
|
|
|
|
// statusValidateFailed indicates that the block has failed validation.
|
|
statusValidateFailed
|
|
|
|
// statusInvalidAncestor indicates that one of the block's ancestors has
|
|
// has failed validation, thus the block is also invalid.
|
|
statusInvalidAncestor
|
|
|
|
// statusUTXOPendingVerification indicates that the block is pending verification against its past UTXO-Set, either
|
|
// because it was not yet verified since the block was never in the selected parent chain, or if the
|
|
// block violates finality.
|
|
statusUTXOPendingVerification
|
|
|
|
// statusDisqualifiedFromChain indicates that the block is not eligible to be a selected parent.
|
|
statusDisqualifiedFromChain
|
|
)
|
|
|
|
var blockStatusToString = map[blockStatus]string{
|
|
statusDataStored: "statusDataStored",
|
|
statusValid: "statusValid",
|
|
statusValidateFailed: "statusValidateFailed",
|
|
statusInvalidAncestor: "statusInvalidAncestor",
|
|
statusUTXOPendingVerification: "statusUTXOPendingVerification",
|
|
statusDisqualifiedFromChain: "statusDisqualifiedFromChain",
|
|
}
|
|
|
|
func (status blockStatus) String() string {
|
|
return blockStatusToString[status]
|
|
}
|
|
|
|
// KnownValid returns whether the block is known to be valid. This will return
|
|
// false for a valid block that has not been fully validated yet.
|
|
func (status blockStatus) KnownValid() bool {
|
|
return status == statusValid
|
|
}
|
|
|
|
// KnownInvalid returns whether the block is known to be invalid. This may be
|
|
// because the block itself failed validation or any of its ancestors is
|
|
// invalid. This will return false for invalid blocks that have not been proven
|
|
// invalid yet.
|
|
func (status blockStatus) KnownInvalid() bool {
|
|
return status == statusValidateFailed || status == statusInvalidAncestor
|
|
}
|
|
|
|
// blockNode represents a block within the block DAG. The DAG is stored into
|
|
// the block database.
|
|
type blockNode struct {
|
|
// NOTE: Additions, deletions, or modifications to the order of the
|
|
// definitions in this struct should not be changed without considering
|
|
// how it affects alignment on 64-bit platforms. The current order is
|
|
// specifically crafted to result in minimal padding. There will be
|
|
// hundreds of thousands of these in memory, so a few extra bytes of
|
|
// padding adds up.
|
|
|
|
// dag is the blockDAG in which this node resides
|
|
dag *BlockDAG
|
|
|
|
// parents is the parent blocks for this node.
|
|
parents blockSet
|
|
|
|
// selectedParent is the selected parent for this node.
|
|
// The selected parent is the parent that if chosen will maximize the blue score of this block
|
|
selectedParent *blockNode
|
|
|
|
// children are all the blocks that refer to this block as a parent
|
|
children blockSet
|
|
|
|
// blues are all blue blocks in this block's worldview that are in its merge set
|
|
blues []*blockNode
|
|
|
|
// reds are all red blocks in this block's worldview that are in its merge set
|
|
reds []*blockNode
|
|
|
|
// blueScore is the count of all the blue blocks in this block's past
|
|
blueScore uint64
|
|
|
|
// bluesAnticoneSizes is a map holding the set of blues affected by this block and their
|
|
// modified blue anticone size.
|
|
bluesAnticoneSizes map[*blockNode]dagconfig.KType
|
|
|
|
// hash is the double sha 256 of the block.
|
|
hash *daghash.Hash
|
|
|
|
// Some fields from block headers to aid in reconstructing headers
|
|
// from memory. These must be treated as immutable and are intentionally
|
|
// ordered to avoid padding on 64-bit platforms.
|
|
version int32
|
|
bits uint32
|
|
nonce uint64
|
|
timestamp int64
|
|
hashMerkleRoot *daghash.Hash
|
|
acceptedIDMerkleRoot *daghash.Hash
|
|
utxoCommitment *daghash.Hash
|
|
|
|
// status is a bitfield representing the validation state of the block. The
|
|
// status field, unlike the other fields, may be written to and so should
|
|
// only be accessed using the concurrent-safe BlockNodeStatus method on
|
|
// blockIndex once the node has been added to the global index.
|
|
status blockStatus
|
|
}
|
|
|
|
// newBlockNode returns a new block node for the given block header and parents, and the
|
|
// anticone of its selected parent (parent with highest blue score).
|
|
// selectedParentAnticone is used to update reachability data we store for future reachability queries.
|
|
// This function is NOT safe for concurrent access.
|
|
func (dag *BlockDAG) newBlockNode(blockHeader *appmessage.BlockHeader, parents blockSet) (node *blockNode, selectedParentAnticone []*blockNode) {
|
|
node = &blockNode{
|
|
dag: dag,
|
|
parents: parents,
|
|
children: make(blockSet),
|
|
blueScore: math.MaxUint64, // Initialized to the max value to avoid collisions with the genesis block
|
|
timestamp: dag.Now().UnixMilliseconds(),
|
|
bluesAnticoneSizes: make(map[*blockNode]dagconfig.KType),
|
|
}
|
|
|
|
// blockHeader is nil only for the virtual block
|
|
if blockHeader != nil {
|
|
node.hash = blockHeader.BlockHash()
|
|
node.version = blockHeader.Version
|
|
node.bits = blockHeader.Bits
|
|
node.nonce = blockHeader.Nonce
|
|
node.timestamp = blockHeader.Timestamp.UnixMilliseconds()
|
|
node.hashMerkleRoot = blockHeader.HashMerkleRoot
|
|
node.acceptedIDMerkleRoot = blockHeader.AcceptedIDMerkleRoot
|
|
node.utxoCommitment = blockHeader.UTXOCommitment
|
|
} else {
|
|
node.hash = &daghash.ZeroHash
|
|
}
|
|
|
|
if len(parents) == 0 {
|
|
// The genesis block is defined to have a blueScore of 0
|
|
node.blueScore = 0
|
|
return node, nil
|
|
}
|
|
|
|
selectedParentAnticone, err := dag.ghostdag(node)
|
|
if err != nil {
|
|
panic(errors.Wrap(err, "unexpected error in GHOSTDAG"))
|
|
}
|
|
return node, selectedParentAnticone
|
|
}
|
|
|
|
// updateParentsChildren updates the node's parents to point to new node
|
|
func (node *blockNode) updateParentsChildren() {
|
|
for parent := range node.parents {
|
|
parent.children.add(node)
|
|
}
|
|
}
|
|
|
|
func (node *blockNode) less(other *blockNode) bool {
|
|
if node.blueScore == other.blueScore {
|
|
return daghash.Less(node.hash, other.hash)
|
|
}
|
|
|
|
return node.blueScore < other.blueScore
|
|
}
|
|
|
|
// Header constructs a block header from the node and returns it.
|
|
//
|
|
// This function is safe for concurrent access.
|
|
func (node *blockNode) Header() *appmessage.BlockHeader {
|
|
// No lock is needed because all accessed fields are immutable.
|
|
return &appmessage.BlockHeader{
|
|
Version: node.version,
|
|
ParentHashes: node.ParentHashes(),
|
|
HashMerkleRoot: node.hashMerkleRoot,
|
|
AcceptedIDMerkleRoot: node.acceptedIDMerkleRoot,
|
|
UTXOCommitment: node.utxoCommitment,
|
|
Timestamp: node.time(),
|
|
Bits: node.bits,
|
|
Nonce: node.nonce,
|
|
}
|
|
}
|
|
|
|
// SelectedAncestor returns the ancestor block node at the provided blue score by following
|
|
// the selected-parents chain backwards from this node. The returned block will be nil when a
|
|
// blue score is requested that is higher than the blue score of the passed node.
|
|
//
|
|
// This function is safe for concurrent access.
|
|
func (node *blockNode) SelectedAncestor(blueScore uint64) *blockNode {
|
|
if blueScore > node.blueScore {
|
|
return nil
|
|
}
|
|
|
|
n := node
|
|
for n != nil && n.blueScore > blueScore {
|
|
n = n.selectedParent
|
|
}
|
|
|
|
return n
|
|
}
|
|
|
|
// RelativeAncestor returns the ancestor block node a relative 'distance' of
|
|
// blue blocks before this node. This is equivalent to calling Ancestor with
|
|
// the node's blue score minus provided distance.
|
|
//
|
|
// This function is safe for concurrent access.
|
|
func (node *blockNode) RelativeAncestor(distance uint64) *blockNode {
|
|
return node.SelectedAncestor(node.blueScore - distance)
|
|
}
|
|
|
|
// CalcPastMedianTime returns the median time of the previous few blocks
|
|
// prior to, and including, the block node.
|
|
//
|
|
// This function is safe for concurrent access.
|
|
func (node *blockNode) PastMedianTime() mstime.Time {
|
|
window := blueBlockWindow(node, 2*node.dag.TimestampDeviationTolerance-1)
|
|
medianTimestamp, err := window.medianTimestamp()
|
|
if err != nil {
|
|
panic(fmt.Sprintf("blueBlockWindow: %s", err))
|
|
}
|
|
return mstime.UnixMilliseconds(medianTimestamp)
|
|
}
|
|
|
|
func (node *blockNode) selectedParentMedianTime() mstime.Time {
|
|
medianTime := node.Header().Timestamp
|
|
if !node.isGenesis() {
|
|
medianTime = node.selectedParent.PastMedianTime()
|
|
}
|
|
return medianTime
|
|
}
|
|
|
|
func (node *blockNode) ParentHashes() []*daghash.Hash {
|
|
return node.parents.hashes()
|
|
}
|
|
|
|
// isGenesis returns if the current block is the genesis block
|
|
func (node *blockNode) isGenesis() bool {
|
|
return len(node.parents) == 0
|
|
}
|
|
|
|
func (node *blockNode) finalityScore() uint64 {
|
|
return node.blueScore / node.dag.FinalityInterval()
|
|
}
|
|
|
|
// String returns a string that contains the block hash.
|
|
func (node blockNode) String() string {
|
|
return node.hash.String()
|
|
}
|
|
|
|
func (node *blockNode) time() mstime.Time {
|
|
return mstime.UnixMilliseconds(node.timestamp)
|
|
}
|
|
|
|
func (node *blockNode) blockAtDepth(depth uint64) *blockNode {
|
|
if node.blueScore <= depth { // to prevent overflow of requiredBlueScore
|
|
depth = node.blueScore
|
|
}
|
|
|
|
current := node
|
|
requiredBlueScore := node.blueScore - depth
|
|
|
|
for current.blueScore >= requiredBlueScore {
|
|
if current.isGenesis() {
|
|
return current
|
|
}
|
|
current = current.selectedParent
|
|
}
|
|
|
|
return current
|
|
}
|
|
|
|
func (node *blockNode) finalityPoint() *blockNode {
|
|
return node.blockAtDepth(node.dag.FinalityInterval())
|
|
}
|
|
|
|
func (node *blockNode) hasFinalityPointInOthersSelectedChain(other *blockNode) (bool, error) {
|
|
finalityPoint := node.finalityPoint()
|
|
return node.dag.isInSelectedParentChainOf(finalityPoint, other)
|
|
}
|
|
|
|
func (node *blockNode) nonBoundedMergeDepthViolatingBlues() (blockSet, error) {
|
|
nonBoundedMergeDepthViolatingBlues := newBlockSet()
|
|
|
|
for _, blueNode := range node.blues {
|
|
notViolatingFinality, err := node.hasFinalityPointInOthersSelectedChain(blueNode)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
if notViolatingFinality {
|
|
nonBoundedMergeDepthViolatingBlues.add(blueNode)
|
|
}
|
|
}
|
|
|
|
return nonBoundedMergeDepthViolatingBlues, nil
|
|
}
|
|
|
|
func (node *blockNode) checkBoundedMergeDepth() error {
|
|
nonBoundedMergeDepthViolatingBlues, err := node.nonBoundedMergeDepthViolatingBlues()
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
finalityPoint := node.finalityPoint()
|
|
for _, red := range node.reds {
|
|
doesRedHaveFinalityPointInPast, err := node.dag.isInPast(finalityPoint, red)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
isRedInPastOfAnyNonFinalityViolatingBlue, err := node.dag.isInPastOfAny(red, nonBoundedMergeDepthViolatingBlues)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
if !doesRedHaveFinalityPointInPast && !isRedInPastOfAnyNonFinalityViolatingBlue {
|
|
return ruleError(ErrViolatingBoundedMergeDepth, "block is violating bounded merge depth")
|
|
}
|
|
}
|
|
|
|
return nil
|
|
}
|
|
|
|
func (node *blockNode) isViolatingFinality() (bool, error) {
|
|
if node.isGenesis() {
|
|
return false, nil
|
|
}
|
|
|
|
if node.dag.virtual.less(node) {
|
|
isVirtualFinalityPointInNodesSelectedChain, err := node.dag.isInSelectedParentChainOf(
|
|
node.dag.virtual.finalityPoint(), node.selectedParent) // use node.selectedParent because node still doesn't have reachability data
|
|
if err != nil {
|
|
return false, err
|
|
}
|
|
if !isVirtualFinalityPointInNodesSelectedChain {
|
|
return true, nil
|
|
}
|
|
}
|
|
|
|
return false, nil
|
|
}
|
|
|
|
func (node *blockNode) checkMergeSizeLimit() error {
|
|
mergeSetSize := len(node.reds) + len(node.blues)
|
|
|
|
if mergeSetSize > mergeSetSizeLimit {
|
|
return ruleError(ErrViolatingMergeLimit,
|
|
fmt.Sprintf("The block merges %d blocks > %d merge set size limit", mergeSetSize, mergeSetSizeLimit))
|
|
}
|
|
|
|
return nil
|
|
}
|
|
|
|
func (node *blockNode) hasValidChildren() bool {
|
|
for child := range node.children {
|
|
if node.dag.index.BlockNodeStatus(child) == statusValid {
|
|
return true
|
|
}
|
|
}
|
|
return false
|
|
}
|