Changeset View
Changeset View
Standalone View
Standalone View
test/functional/abc-finalize-block.py
| #!/usr/bin/env python3 | #!/usr/bin/env python3 | ||||
| # Copyright (c) 2018 The Bitcoin developers | # Copyright (c) 2018 The Bitcoin developers | ||||
| # Distributed under the MIT software license, see the accompanying | # Distributed under the MIT software license, see the accompanying | ||||
| # file COPYING or http://www.opensource.org/licenses/mit-license.php. | # file COPYING or http://www.opensource.org/licenses/mit-license.php. | ||||
| """Test the finalizeblock RPC calls.""" | """Test the finalizeblock RPC calls.""" | ||||
| import os | import os | ||||
| from test_framework.test_framework import BitcoinTestFramework | from test_framework.test_framework import BitcoinTestFramework | ||||
| from test_framework.util import assert_equal, assert_raises_rpc_error, connect_nodes_bi, sync_blocks, wait_until | from test_framework.util import assert_equal, assert_raises_rpc_error, connect_nodes_bi, sync_blocks, wait_until | ||||
| RPC_FINALIZE_INVALID_BLOCK_ERROR = 'finalize-invalid-block' | RPC_FINALIZE_INVALID_BLOCK_ERROR = 'finalize-invalid-block' | ||||
| RPC_FORK_PRIOR_FINALIZED_ERROR = 'bad-fork-prior-finalized' | |||||
| RPC_BLOCK_NOT_FOUND_ERROR = 'Block not found' | RPC_BLOCK_NOT_FOUND_ERROR = 'Block not found' | ||||
| AUTO_FINALIZATION_DEPTH = 10 | AUTO_FINALIZATION_DEPTH = 10 | ||||
| class FinalizeBlockTest(BitcoinTestFramework): | class FinalizeBlockTest(BitcoinTestFramework): | ||||
| def set_test_params(self): | def set_test_params(self): | ||||
| self.num_nodes = 2 | self.num_nodes = 2 | ||||
| self.extra_flags = [["-maxreorgdepth={}".format(AUTO_FINALIZATION_DEPTH)], [ | self.extra_flags = [["-maxreorgdepth={}".format(AUTO_FINALIZATION_DEPTH)], [ | ||||
| Show All 12 Lines | class FinalizeBlockTest(BitcoinTestFramework): | ||||
| def run_test(self): | def run_test(self): | ||||
| node = self.nodes[0] | node = self.nodes[0] | ||||
| self.log.info("Test block finalization...") | self.log.info("Test block finalization...") | ||||
| node.generate(10) | node.generate(10) | ||||
| tip = node.getbestblockhash() | tip = node.getbestblockhash() | ||||
| node.finalizeblock(tip) | node.finalizeblock(tip) | ||||
| assert_equal(node.getbestblockhash(), tip) | assert_equal(node.getbestblockhash(), tip) | ||||
| assert_equal(node.getfinalizedblockhash(), tip) | |||||
| alt_node = self.nodes[1] | alt_node = self.nodes[1] | ||||
| connect_nodes_bi(self.nodes, 0, 1) | connect_nodes_bi(self.nodes, 0, 1) | ||||
| sync_blocks(self.nodes[0:2]) | sync_blocks(self.nodes[0:2]) | ||||
| alt_node.invalidateblock(tip) | alt_node.invalidateblock(tip) | ||||
| # We will use this later to check auto-finalization during a reorg | # We will use this later | ||||
| block_209 = alt_node.getbestblockhash() | block_209 = alt_node.getbestblockhash() | ||||
| # Node 0 should not accept the whole alt_node's chain due to tip being finalized, | # Node 0 should not accept the whole alt_node's chain due to tip being finalized, | ||||
| # even though it is longer. | # even though it is longer. | ||||
| # Headers would not be accepted if previousblock is invalid: | # Headers would not be accepted if previousblock is invalid: | ||||
| # - First block from alt node has same height than node tip, it will be accepted but inactive | # - First block from alt node has same height than node tip, it will be accepted but inactive | ||||
| # - Second block from alt node has height > node tip height, will be marked as invalid because | # - Second block from alt node has height > node tip height, will be marked as invalid because | ||||
| # node tip is finalized | # node tip is finalized | ||||
| Show All 31 Lines | def run_test(self): | ||||
| wait_for_block(node, invalid_block) | wait_for_block(node, invalid_block) | ||||
| # Later block headers are rejected | # Later block headers are rejected | ||||
| for i in range(2, 9): | for i in range(2, 9): | ||||
| alt_node.generate(1) | alt_node.generate(1) | ||||
| assert_raises_rpc_error(-5, RPC_BLOCK_NOT_FOUND_ERROR, | assert_raises_rpc_error(-5, RPC_BLOCK_NOT_FOUND_ERROR, | ||||
| node.getblockheader, alt_node.getbestblockhash()) | node.getblockheader, alt_node.getbestblockhash()) | ||||
| assert_equal(node.getbestblockhash(), tip) | |||||
| assert_equal(node.getfinalizedblockhash(), tip) | |||||
| self.log.info("Test that an invalid block cannot be finalized...") | self.log.info("Test that an invalid block cannot be finalized...") | ||||
| assert_raises_rpc_error(-20, RPC_FINALIZE_INVALID_BLOCK_ERROR, | assert_raises_rpc_error(-20, RPC_FINALIZE_INVALID_BLOCK_ERROR, | ||||
| node.finalizeblock, invalid_block) | node.finalizeblock, invalid_block) | ||||
| self.log.info( | self.log.info( | ||||
| "Test that invalidating a finalized block moves the finalization backward...") | "Test that invalidating a finalized block moves the finalization backward...") | ||||
| # Node's finalized block will be invalidated, which causes the finalized block to | # Node's finalized block will be invalidated, which causes the finalized block to | ||||
| ▲ Show 20 Lines • Show All 56 Lines • ▼ Show 20 Lines | def run_test(self): | ||||
| node.getfinalizedblockhash())['height'], 209) | node.getfinalizedblockhash())['height'], 209) | ||||
| assert_equal(alt_node.getblockheader( | assert_equal(alt_node.getblockheader( | ||||
| alt_node.getbestblockhash())['height'], 219) | alt_node.getbestblockhash())['height'], 219) | ||||
| assert_equal(alt_node.getblockheader( | assert_equal(alt_node.getblockheader( | ||||
| alt_node.getfinalizedblockhash())['height'], 209) | alt_node.getfinalizedblockhash())['height'], 209) | ||||
| self.log.info("Trigger reorg via block finalization...") | self.log.info("Trigger reorg via block finalization...") | ||||
| # Finalize node tip to reorg | # Generate some more blockes on alt_node. Auto-finalization will occur on | ||||
| # both chains. | |||||
| # | # | ||||
| # Expected state: | # Expected state: | ||||
| # | # | ||||
| # On alt_node: | # On alt_node: | ||||
| # >(210)->(211)-> // ->(218)->(219 tip) | # >(210)->(211)-> // ->(219 auto-finalized)-> // ->(229 tip) | ||||
| # / | # / | ||||
| # (200)->(201)-> // ->(209 auto-finalized)->(210 invalid) | # (200)->(201)-> // ->(209)->(210 invalid) | ||||
| # | # | ||||
| # On node: | # On node: | ||||
| # >(210 invalid)-> // ->(219 invalid) | # >(210)->(211)-> // ->(219 auto-finalized)-> // ->(229 tip) | ||||
| # / | # / | ||||
| # (200)->(201)-> // ->(209)->(210 finalized, tip) | # (200)->(201)-> // ->(209)->(210 invalid) | ||||
| node.finalizeblock(tip) | for i in range(10): | ||||
| assert_equal(node.getfinalizedblockhash(), | alt_node.generate(1) | ||||
| tip) | sync_blocks(self.nodes[0:2]) | ||||
| assert_equal(node.getbestblockhash(), alt_node.getbestblockhash()) | |||||
| assert_equal(node.getfinalizedblockhash(), block_219) | |||||
| assert_equal(alt_node.getfinalizedblockhash(), block_219) | |||||
| assert_equal(node.getblockheader( | |||||
| node.getbestblockhash())['height'], 229) | |||||
| assert_equal(node.getblockheader( | |||||
| node.getfinalizedblockhash())['height'], 219) | |||||
| assert_equal(alt_node.getblockheader( | |||||
| alt_node.getbestblockhash())['height'], 229) | |||||
| assert_equal(alt_node.getblockheader( | |||||
| alt_node.getfinalizedblockhash())['height'], 219) | |||||
| self.log.info("Try to finalize a block on a competiting fork...") | self.log.info("Try to finalize a block on a competiting fork...") | ||||
| assert_raises_rpc_error(-20, RPC_FINALIZE_INVALID_BLOCK_ERROR, | # Finalizing the tip should not be allowed, because it would | ||||
| node.finalizeblock, alt_node.getbestblockhash()) | # fork before a finalized block | ||||
| assert node.getfinalizedblockhash() != alt_node.getbestblockhash(), \ | assert_raises_rpc_error(-20, RPC_FORK_PRIOR_FINALIZED_ERROR, | ||||
| "Finalize block is alt_node's tip!" | node.finalizeblock, tip) | ||||
| assert node.getfinalizedblockhash() != tip, \ | |||||
| "Finalization should not occur: a competing chain is already finalized" | |||||
| self.log.info( | |||||
| "Try to finalize a block on an already finalized chain...") | |||||
| # Finalizing a block of an already finalized chain should have no effect | |||||
| block_218 = node.getblockhash(218) | |||||
| node.finalizeblock(block_218) | |||||
| assert_equal(node.getfinalizedblockhash(), block_219) | |||||
| self.log.info( | self.log.info( | ||||
| "Make sure reconsidering block move the finalization point...") | "Make sure reconsidering block move the finalization point...") | ||||
| # Reconsidering alt_node tip will move finalized block on node | # Reconsidering the tip will move back the finalized block on node | ||||
| # | # | ||||
| # Expected state: | # Expected state: | ||||
| # | # | ||||
| # On alt_node: | # On alt_node: | ||||
| # >(210)->(211)-> // ->(218)->(219 tip) | # >(210)->(211)-> // ->(219 auto-finalized)-> // ->(229 tip) | ||||
| # / | # / | ||||
| # (200)->(201)-> // ->(209 auto-finalized)->(210 invalid) | # (200)->(201)-> // ->(209)->(210 invalid) | ||||
| # | # | ||||
| # On node: | # On node: | ||||
| # >(210)-> // ->(219 tip) | # >(210)->(211)-> // ->(219)-> // ->(229 tip) | ||||
| # / | # / | ||||
| # (200)->(201)-> // ->(209 finalized)->(210) | # (200)->(201)-> // ->(209 finalized)->(210) | ||||
| node.reconsiderblock(alt_node.getbestblockhash()) | node.reconsiderblock(tip) | ||||
| assert_equal(node.getbestblockhash(), alt_node.getbestblockhash()) | assert_equal(node.getbestblockhash(), alt_node.getbestblockhash()) | ||||
| assert_equal(node.getfinalizedblockhash(), block_209) | assert_equal(node.getfinalizedblockhash(), block_209) | ||||
| assert_equal(node.getblockheader( | assert_equal(node.getblockheader( | ||||
| node.getbestblockhash())['height'], 219) | node.getbestblockhash())['height'], 229) | ||||
| assert_equal(node.getblockheader( | assert_equal(node.getblockheader( | ||||
| node.getfinalizedblockhash())['height'], 209) | node.getfinalizedblockhash())['height'], 209) | ||||
| if __name__ == '__main__': | if __name__ == '__main__': | ||||
| FinalizeBlockTest().main() | FinalizeBlockTest().main() | ||||