chia-blockchain 2.4.4__py3-none-any.whl

chia/_tests/blockchain/test_blockchain_transactions.py

@@ -0,0 +1,1050 @@
+from __future__ import annotations
+
+import logging
+from typing import Tuple
+
+import pytest
+from clvm.casts import int_to_bytes
+
+from chia._tests.blockchain.blockchain_test_utils import _validate_and_add_block
+from chia._tests.util.generator_tools_testing import run_and_get_removals_and_additions
+from chia.full_node.full_node_api import FullNodeAPI
+from chia.protocols import wallet_protocol
+from chia.server.server import ChiaServer
+from chia.simulator.block_tools import BlockTools, test_constants
+from chia.simulator.wallet_tools import WalletTool
+from chia.types.blockchain_format.sized_bytes import bytes32
+from chia.types.condition_opcodes import ConditionOpcode
+from chia.types.condition_with_args import ConditionWithArgs
+from chia.types.spend_bundle import SpendBundle, estimate_fees
+from chia.util.errors import ConsensusError, Err
+from chia.util.ints import uint32, uint64
+from chia.wallet.conditions import AssertCoinAnnouncement, AssertPuzzleAnnouncement
+
+BURN_PUZZLE_HASH = bytes32(b"0" * 32)
+
+WALLET_A = WalletTool(test_constants)
+WALLET_A_PUZZLE_HASHES = [WALLET_A.get_new_puzzlehash() for _ in range(5)]
+
+log = logging.getLogger(__name__)
+
+
+class TestBlockchainTransactions:
+    @pytest.mark.anyio
+    async def test_basic_blockchain_tx(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block, None)
+
+        spend_block = blocks[2]
+        spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+
+        assert spend_coin is not None
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_puzzlehash, spend_coin)
+
+        assert spend_bundle is not None
+        tx: wallet_protocol.SendTransaction = wallet_protocol.SendTransaction(spend_bundle)
+
+        await full_node_api_1.send_transaction(tx)
+
+        sb = full_node_1.mempool_manager.get_spendbundle(spend_bundle.name())
+        assert sb == spend_bundle
+
+        last_block = blocks[-1]
+        result = await full_node_1.mempool_manager.create_bundle_from_mempool(
+            last_block.header_hash, full_node_1.coin_store.get_unspent_lineage_info_for_puzzle_hash
+        )
+        assert result is not None
+        next_spendbundle, _ = result
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            block_list_input=blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=next_spendbundle,
+            guarantee_transaction_block=True,
+        )
+
+        next_block = new_blocks[-1]
+        await full_node_1.add_block(next_block)
+
+        blockchain_peak = full_node_1.blockchain.get_peak()
+        assert blockchain_peak is not None
+        assert next_block.header_hash == blockchain_peak.header_hash
+
+        added_coins = next_spendbundle.additions()
+
+        # Two coins are added, main spend and change
+        assert len(added_coins) == 2
+        for coin in added_coins:
+            unspent = await full_node_1.coin_store.get_coin_record(coin.name())
+            assert unspent is not None
+            assert not unspent.spent
+            assert not unspent.coinbase
+
+    @pytest.mark.anyio
+    async def test_validate_blockchain_with_double_spend(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 5
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        spend_block = blocks[2]
+        spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+        assert spend_coin is not None
+
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_puzzlehash, spend_coin)
+        spend_bundle_double = wallet_a.generate_signed_transaction(uint64(1001), receiver_puzzlehash, spend_coin)
+
+        block_spendbundle = SpendBundle.aggregate([spend_bundle, spend_bundle_double])
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            block_list_input=blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block_spendbundle,
+            guarantee_transaction_block=True,
+        )
+
+        next_block = new_blocks[-1]
+        await _validate_and_add_block(full_node_1.blockchain, next_block, expected_error=Err.DOUBLE_SPEND)
+
+    @pytest.mark.anyio
+    async def test_validate_blockchain_duplicate_output(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 3
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        spend_block = blocks[2]
+
+        spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+        assert spend_coin is not None
+
+        spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin, additional_outputs=[(receiver_puzzlehash, 1000)]
+        )
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            block_list_input=blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        next_block = new_blocks[-1]
+        await _validate_and_add_block(full_node_1.blockchain, next_block, expected_error=Err.DUPLICATE_OUTPUT)
+
+    @pytest.mark.anyio
+    async def test_validate_blockchain_with_reorg_double_spend(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        spend_block = blocks[2]
+
+        spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+        assert spend_coin is not None
+
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_puzzlehash, spend_coin)
+
+        blocks_spend = bt.get_consecutive_blocks(
+            1,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+            transaction_data=spend_bundle,
+        )
+        # Move chain to height 10, with a spend at height 10
+        for block in blocks_spend:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Reorg at height 5, add up to and including height 12
+        new_blocks = bt.get_consecutive_blocks(
+            7,
+            blocks[:6],
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+            seed=b"another seed",
+        )
+
+        for block in new_blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Spend the same coin in the new reorg chain at height 13
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            new_blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+            transaction_data=spend_bundle,
+        )
+
+        await _validate_and_add_block(full_node_api_1.full_node.blockchain, new_blocks[-1])
+
+        # But can't spend it twice
+        new_blocks_double = bt.get_consecutive_blocks(
+            1,
+            new_blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+            transaction_data=spend_bundle,
+        )
+
+        await _validate_and_add_block(
+            full_node_api_1.full_node.blockchain, new_blocks_double[-1], expected_error=Err.DOUBLE_SPEND
+        )
+
+        # Now test Reorg at block 5, same spend at block height 12
+        new_blocks_reorg = bt.get_consecutive_blocks(
+            1,
+            new_blocks[:12],
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+            transaction_data=spend_bundle,
+            seed=b"spend at 12 is ok",
+        )
+        for block in new_blocks_reorg:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Spend at height 13 is also OK (same height)
+        new_blocks_reorg = bt.get_consecutive_blocks(
+            1,
+            new_blocks[:13],
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+            transaction_data=spend_bundle,
+            seed=b"spend at 13 is ok",
+        )
+        for block in new_blocks_reorg:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Spend at height 14 is not OK (already spend)
+        new_blocks_reorg = bt.get_consecutive_blocks(
+            1,
+            new_blocks[:14],
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+            transaction_data=spend_bundle,
+            seed=b"spend at 14 is double spend",
+        )
+        with pytest.raises(ConsensusError):
+            for block in new_blocks_reorg:
+                await full_node_api_1.full_node.add_block(block)
+
+    @pytest.mark.anyio
+    async def test_validate_blockchain_spend_reorg_coin(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools], softfork_height: uint32
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_1_puzzlehash = WALLET_A_PUZZLE_HASHES[1]
+        receiver_2_puzzlehash = WALLET_A_PUZZLE_HASHES[2]
+        receiver_3_puzzlehash = WALLET_A_PUZZLE_HASHES[3]
+        full_node_api_1, _, _, _, bt = two_nodes
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        spend_block = blocks[2]
+
+        spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+
+        assert spend_coin
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_1_puzzlehash, spend_coin)
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks[:5],
+            seed=b"spend_reorg_coin",
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        await full_node_api_1.full_node.add_block(new_blocks[-1])
+
+        coin_2 = None
+        for coin in run_and_get_removals_and_additions(
+            new_blocks[-1],
+            test_constants.MAX_BLOCK_COST_CLVM,
+            height=softfork_height,
+            constants=bt.constants,
+        )[1]:
+            if coin.puzzle_hash == receiver_1_puzzlehash:
+                coin_2 = coin
+                break
+        assert coin_2 is not None
+
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_2_puzzlehash, coin_2)
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            new_blocks[:6],
+            seed=b"spend_reorg_coin",
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=spend_bundle,
+            guarantee_transaction_block=True,
+        )
+        await full_node_api_1.full_node.add_block(new_blocks[-1])
+
+        coin_3 = None
+        for coin in run_and_get_removals_and_additions(
+            new_blocks[-1],
+            test_constants.MAX_BLOCK_COST_CLVM,
+            height=softfork_height,
+            constants=bt.constants,
+        )[1]:
+            if coin.puzzle_hash == receiver_2_puzzlehash:
+                coin_3 = coin
+                break
+        assert coin_3 is not None
+
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_3_puzzlehash, coin_3)
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            new_blocks[:7],
+            seed=b"spend_reorg_coin",
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        await full_node_api_1.full_node.add_block(new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_validate_blockchain_spend_reorg_cb_coin(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 15
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_1_puzzlehash = WALLET_A_PUZZLE_HASHES[1]
+        full_node_api_1, _, _, _, bt = two_nodes
+        blocks = bt.get_consecutive_blocks(num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash)
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Spends a coinbase created in reorg
+        new_blocks = bt.get_consecutive_blocks(
+            5,
+            blocks[:6],
+            seed=b"reorg cb coin",
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+        )
+
+        for block in new_blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        spend_block = new_blocks[-1]
+        spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+        assert spend_coin is not None
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_1_puzzlehash, spend_coin)
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            new_blocks,
+            seed=b"reorg cb coin",
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        await full_node_api_1.full_node.add_block(new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_validate_blockchain_spend_reorg_since_genesis(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_1_puzzlehash = WALLET_A_PUZZLE_HASHES[1]
+        full_node_api_1, _, _, _, bt = two_nodes
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        spend_block = blocks[-1]
+        spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+        assert spend_coin is not None
+        spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_1_puzzlehash, spend_coin)
+
+        new_blocks = bt.get_consecutive_blocks(
+            1, blocks, seed=b"", farmer_reward_puzzle_hash=coinbase_puzzlehash, transaction_data=spend_bundle
+        )
+        await full_node_api_1.full_node.add_block(new_blocks[-1])
+
+        # Spends a coin in a genesis reorg, that was already spent
+        new_blocks = bt.get_consecutive_blocks(
+            12,
+            [],
+            seed=b"reorg since genesis",
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+        )
+
+        for block in new_blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            new_blocks,
+            seed=b"reorg since genesis",
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=spend_bundle,
+        )
+
+        await full_node_api_1.full_node.add_block(new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_my_coin_id(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+
+        spend_block = blocks[2]
+        bad_block = blocks[3]
+        spend_coin = None
+        bad_spend_coin = None
+        for coin in spend_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin = coin
+        assert spend_coin is not None
+        for coin in bad_block.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                bad_spend_coin = coin
+        assert bad_spend_coin is not None
+        valid_cvp = ConditionWithArgs(ConditionOpcode.ASSERT_MY_COIN_ID, [spend_coin.name()])
+        valid_dic = {valid_cvp.opcode: [valid_cvp]}
+        bad_cvp = ConditionWithArgs(ConditionOpcode.ASSERT_MY_COIN_ID, [bad_spend_coin.name()])
+
+        bad_dic = {bad_cvp.opcode: [bad_cvp]}
+        bad_spend_bundle = wallet_a.generate_signed_transaction(uint64(1000), receiver_puzzlehash, spend_coin, bad_dic)
+
+        valid_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin, valid_dic
+        )
+
+        assert bad_spend_bundle is not None
+        assert valid_spend_bundle is not None
+
+        # Invalid block bundle
+        # Create another block that includes our transaction
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=bad_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate that block
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.ASSERT_MY_COIN_ID_FAILED
+        )
+
+        # Valid block bundle
+        # Create another block that includes our transaction
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=valid_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_coin_announcement_consumed(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+        block1 = blocks[2]
+        block2 = blocks[3]
+
+        spend_coin_block_1 = None
+        spend_coin_block_2 = None
+        for coin in block1.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_1 = coin
+        assert spend_coin_block_1 is not None
+        for coin in block2.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_2 = coin
+        assert spend_coin_block_2 is not None
+
+        # This condition requires block2 coinbase to be spent
+        block1_cvp = ConditionWithArgs(
+            ConditionOpcode.ASSERT_COIN_ANNOUNCEMENT,
+            [AssertCoinAnnouncement(asserted_id=spend_coin_block_2.name(), asserted_msg=b"test").msg_calc],
+        )
+        block1_dic = {block1_cvp.opcode: [block1_cvp]}
+        block1_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic
+        )
+
+        # This condition requires block1 coinbase to be spent
+        block2_cvp = ConditionWithArgs(
+            ConditionOpcode.CREATE_COIN_ANNOUNCEMENT,
+            [b"test"],
+        )
+        block2_dic = {block2_cvp.opcode: [block2_cvp]}
+        block2_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_2, block2_dic
+        )
+
+        # Invalid block bundle
+        assert block1_spend_bundle is not None
+        # Create another block that includes our transaction
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate that block
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.ASSERT_ANNOUNCE_CONSUMED_FAILED
+        )
+
+        # bundle_together contains both transactions
+        bundle_together = SpendBundle.aggregate([block1_spend_bundle, block2_spend_bundle])
+
+        # Create another block that includes our transaction
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=bundle_together,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate newly created block
+        await _validate_and_add_block(full_node_1.blockchain, new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_puzzle_announcement_consumed(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+        block1 = blocks[2]
+        block2 = blocks[3]
+
+        spend_coin_block_1 = None
+        spend_coin_block_2 = None
+        for coin in block1.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_1 = coin
+        assert spend_coin_block_1 is not None
+        for coin in block2.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_2 = coin
+        assert spend_coin_block_2 is not None
+
+        # This condition requires block2 coinbase to be spent
+        block1_cvp = ConditionWithArgs(
+            ConditionOpcode.ASSERT_PUZZLE_ANNOUNCEMENT,
+            [AssertPuzzleAnnouncement(asserted_ph=spend_coin_block_2.puzzle_hash, asserted_msg=b"test").msg_calc],
+        )
+        block1_dic = {block1_cvp.opcode: [block1_cvp]}
+        block1_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic
+        )
+
+        # This condition requires block1 coinbase to be spent
+        block2_cvp = ConditionWithArgs(
+            ConditionOpcode.CREATE_PUZZLE_ANNOUNCEMENT,
+            [b"test"],
+        )
+        block2_dic = {block2_cvp.opcode: [block2_cvp]}
+        block2_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_2, block2_dic
+        )
+
+        # Invalid block bundle
+        assert block1_spend_bundle is not None
+        # Create another block that includes our transaction
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate that block
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.ASSERT_ANNOUNCE_CONSUMED_FAILED
+        )
+
+        # bundle_together contains both transactions
+        bundle_together = SpendBundle.aggregate([block1_spend_bundle, block2_spend_bundle])
+
+        # Create another block that includes our transaction
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=bundle_together,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate newly created block
+        await _validate_and_add_block(full_node_1.blockchain, new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_height_absolute(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+        block1 = blocks[2]
+        spend_coin_block_1 = None
+        for coin in block1.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_1 = coin
+        assert spend_coin_block_1 is not None
+
+        # This condition requires block1 coinbase to be spent after index 10
+        block1_cvp = ConditionWithArgs(ConditionOpcode.ASSERT_HEIGHT_ABSOLUTE, [int_to_bytes(10)])
+        block1_dic = {block1_cvp.opcode: [block1_cvp]}
+        block1_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic
+        )
+
+        # program that will be sent too early
+        assert block1_spend_bundle is not None
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate that block at index 10
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.ASSERT_HEIGHT_ABSOLUTE_FAILED
+        )
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, new_blocks[-1])
+
+        # At index 11, it can be spent
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            new_blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_height_relative(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 11
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+        block1 = blocks[2]
+        spend_coin_block_1 = None
+        for coin in block1.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_1 = coin
+        assert spend_coin_block_1 is not None
+
+        # This condition requires block1 coinbase to be spent after index 11
+        # This condition requires block1 coinbase to be spent more than 10 block after it was farmed
+        # block index has to be greater than (2 + 9 = 11)
+        block1_cvp = ConditionWithArgs(ConditionOpcode.ASSERT_HEIGHT_RELATIVE, [int_to_bytes(9)])
+        block1_dic = {block1_cvp.opcode: [block1_cvp]}
+        block1_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic
+        )
+
+        # program that will be sent too early
+        assert block1_spend_bundle is not None
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate that block at index 11
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.ASSERT_HEIGHT_RELATIVE_FAILED
+        )
+
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            guarantee_transaction_block=True,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, new_blocks[-1])
+
+        # At index 12, it can be spent
+        new_blocks = bt.get_consecutive_blocks(
+            1,
+            new_blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_seconds_relative(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+        block1 = blocks[2]
+        spend_coin_block_1 = None
+        for coin in block1.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_1 = coin
+        assert spend_coin_block_1 is not None
+
+        # This condition requires block1 coinbase to be spent 300 seconds after coin creation
+        block1_cvp = ConditionWithArgs(ConditionOpcode.ASSERT_SECONDS_RELATIVE, [int_to_bytes(300)])
+        block1_dic = {block1_cvp.opcode: [block1_cvp]}
+        block1_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic
+        )
+
+        # program that will be sent to early
+        assert block1_spend_bundle is not None
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            time_per_block=20,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate that block before 300 sec
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.ASSERT_SECONDS_RELATIVE_FAILED
+        )
+
+        # we compare the timestamp against the previous transaction block, so in
+        # order to progress the timestamp, we need to farm one more block
+        blocks.extend(
+            bt.get_consecutive_blocks(
+                1,
+                blocks,
+                farmer_reward_puzzle_hash=coinbase_puzzlehash,
+                guarantee_transaction_block=True,
+                time_per_block=301,
+            )
+        )
+        await full_node_api_1.full_node.add_block(blocks[-1])
+
+        valid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+            time_per_block=301,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, valid_new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_seconds_absolute(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+        block1 = blocks[2]
+        spend_coin_block_1 = None
+        for coin in block1.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_1 = coin
+        assert spend_coin_block_1 is not None
+
+        # This condition requires block1 coinbase to be spent after 30 seconds from now
+        assert blocks[-1].foliage_transaction_block is not None
+        current_time_plus3 = uint64(blocks[-1].foliage_transaction_block.timestamp + 30)
+        block1_cvp = ConditionWithArgs(ConditionOpcode.ASSERT_SECONDS_ABSOLUTE, [int_to_bytes(current_time_plus3)])
+        block1_dic = {block1_cvp.opcode: [block1_cvp]}
+        block1_spend_bundle = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic
+        )
+
+        # program that will be sent to early
+        assert block1_spend_bundle is not None
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            time_per_block=20,
+            guarantee_transaction_block=True,
+        )
+
+        # Try to validate that block before 30 sec
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.ASSERT_SECONDS_ABSOLUTE_FAILED
+        )
+
+        # we compare the timestamp against the previous transaction block, so in
+        # order to progress the timestamp, we need to farm one more block
+        blocks.extend(
+            bt.get_consecutive_blocks(
+                1,
+                blocks,
+                farmer_reward_puzzle_hash=coinbase_puzzlehash,
+                guarantee_transaction_block=True,
+                time_per_block=30,
+            )
+        )
+        await full_node_api_1.full_node.add_block(blocks[-1])
+
+        valid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle,
+            guarantee_transaction_block=True,
+            time_per_block=31,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, valid_new_blocks[-1])
+
+    @pytest.mark.anyio
+    async def test_assert_fee_condition(
+        self, two_nodes: Tuple[FullNodeAPI, FullNodeAPI, ChiaServer, ChiaServer, BlockTools]
+    ) -> None:
+        num_blocks = 10
+        wallet_a = WALLET_A
+        coinbase_puzzlehash = WALLET_A_PUZZLE_HASHES[0]
+        receiver_puzzlehash = BURN_PUZZLE_HASH
+        full_node_api_1, _, _, _, bt = two_nodes
+        full_node_1 = full_node_api_1.full_node
+        # Farm blocks
+        blocks = bt.get_consecutive_blocks(
+            num_blocks, farmer_reward_puzzle_hash=coinbase_puzzlehash, guarantee_transaction_block=True
+        )
+
+        for block in blocks:
+            await full_node_api_1.full_node.add_block(block)
+
+        # Coinbase that gets spent
+        block1 = blocks[2]
+        spend_coin_block_1 = None
+        for coin in block1.get_included_reward_coins():
+            if coin.puzzle_hash == coinbase_puzzlehash:
+                spend_coin_block_1 = coin
+        assert spend_coin_block_1 is not None
+
+        # This condition requires fee to be 10 mojo
+        cvp_fee = ConditionWithArgs(ConditionOpcode.RESERVE_FEE, [int_to_bytes(10)])
+        # This spend bundle has 9 mojo as fee
+        block1_dic_bad = {cvp_fee.opcode: [cvp_fee]}
+        block1_dic_good = {cvp_fee.opcode: [cvp_fee]}
+        block1_spend_bundle_bad = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic_bad, fee=9
+        )
+        block1_spend_bundle_good = wallet_a.generate_signed_transaction(
+            uint64(1000), receiver_puzzlehash, spend_coin_block_1, block1_dic_good, fee=10
+        )
+        log.warning(block1_spend_bundle_good.additions())
+        log.warning(f"Spend bundle fees: {estimate_fees(block1_spend_bundle_good)}")
+        invalid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle_bad,
+            guarantee_transaction_block=True,
+        )
+
+        await _validate_and_add_block(
+            full_node_1.blockchain, invalid_new_blocks[-1], expected_error=Err.RESERVE_FEE_CONDITION_FAILED
+        )
+
+        valid_new_blocks = bt.get_consecutive_blocks(
+            1,
+            blocks,
+            farmer_reward_puzzle_hash=coinbase_puzzlehash,
+            transaction_data=block1_spend_bundle_good,
+            guarantee_transaction_block=True,
+        )
+        await _validate_and_add_block(full_node_1.blockchain, valid_new_blocks[-1])