The following line of logic in kaspad-go was missing from rust impl. This means that we were searching for common ancestor when not needed hence loosing contiguous topology guarantees known from proof validation or from ongoing relation maintenance. This in turn lead to not including block_at_depth_2m in the proof in some cases, thus deleting it prematurely
The following line of logic in kaspad-go was missing from rust impl. This means that we were searching for common ancestor when not needed hence loosing contiguous topology guarantees known from proof validation or from ongoing relation maintenance. This in turn lead to not including
block_at_depth_2m
in the proof in some cases, thus deleting it prematurely