dash/test/functional/feature_llmq_dkgerrors.py at develop · dashpay/dash · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
#!/usr/bin/env python3
# Copyright (c) 2015-2025 The Dash Core developers
# Distributed under the MIT software license, see the accompanying
# file COPYING or http://www.opensource.org/licenses/mit-license.php.

import copy
from io import BytesIO

from test_framework.messages import (
    CBlock,
    CFinalCommitmentPayload,
    from_hex,
)

from test_framework.test_framework import DashTestFramework
from test_framework.util import assert_equal
'''
feature_llmq_dkgerrors.py

Simulate and check DKG errors

'''

class LLMQDKGErrors(DashTestFramework):
    def add_options(self, parser):
        self.add_wallet_options(parser)

    def set_test_params(self):
        self.set_dash_test_params(4, 3, [["-whitelist=127.0.0.1"]] * 4)

    def run_test(self):
        self.nodes[0].sporkupdate("SPORK_17_QUORUM_DKG_ENABLED", 0)
        self.wait_for_sporks_same()

        qh = self.test_qc()

        self.log.info("Mine one regular quorum with no invalid members is mined at this point")
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, True)

        mninfos_valid = self.mninfo.copy()[1:]

        self.log.info("Lets omit the contribution")
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'contribution-omit', 100)
        qh = self.mine_quorum(expected_contributions=2, mninfos_valid=mninfos_valid)
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, False)

        self.log.info("Lets lie in the contribution but provide a correct justification")
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'contribution-omit', 0)
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'contribution-lie', 100)
        qh = self.mine_quorum(expected_contributions=3, expected_complaints=2, expected_justifications=1, mninfos_valid=mninfos_valid)
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, True)

        self.log.info("Lets lie in the contribution and then omit the justification")
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'justify-omit', 100)
        qh = self.mine_quorum(expected_contributions=3, expected_complaints=2, mninfos_valid=mninfos_valid)
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, False)

        self.log.info("Heal some damage (don't get PoSe banned)")
        self.heal_masternodes(33)

        self.log.info("Lets lie in the contribution and then also lie in the justification")
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'justify-omit', 0)
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'justify-lie', 100)
        qh = self.mine_quorum(expected_contributions=3, expected_complaints=2, expected_justifications=1, mninfos_valid=mninfos_valid)
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, False)

        self.log.info("Lets lie about another MN")
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'contribution-lie', 0)
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'justify-lie', 0)
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'complain-lie', 100)
        qh = self.mine_quorum(expected_contributions=3, expected_complaints=1, expected_justifications=2, mninfos_valid=mninfos_valid)
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, True)

        self.log.info("Lets omit 1 premature commitments")
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'complain-lie', 0)
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'commit-omit', 100)
        qh = self.mine_quorum(expected_contributions=3, expected_complaints=0, expected_justifications=0, expected_commitments=2, mninfos_valid=mninfos_valid)
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, True)

        self.log.info("Lets lie in 1 premature commitments")
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'commit-omit', 0)
        self.mninfo[0].get_node(self).quorum('dkgsimerror', 'commit-lie', 100)
        qh = self.mine_quorum(expected_contributions=3, expected_complaints=0, expected_justifications=0, expected_commitments=2, mninfos_valid=mninfos_valid)
        self.assert_member_valid(qh, self.mninfo[0].proTxHash, True)

    def test_qc(self):
        quorumHash = self.mine_quorum(skip_maturity=True)
        best = self.nodes[0].getbestblockhash()
        block_hex = self.nodes[0].getblock(best, 0)

        block = from_hex(CBlock(), block_hex)

        self.nodes[0].invalidateblock(best)

        self.test_invalid(block, 'bad-qc-commitment-type', lambda qc : (setattr(qc, 'llmqType', 77), qc)[1])
        self.test_invalid(block, 'bad-qc-invalid', lambda qc : (setattr(qc, 'llmqType', 106), qc)[1])
        # TODO: test quorumIndex for rotation quorums
        # self.test_invalid(block, 'bad-qc-invalid', lambda qc : (setattr(qc, 'quorumIndex', 2), qc)[1])
        self.test_invalid(block, 'bad-qc-invalid', lambda qc : (setattr(qc, 'quorumSig', getattr(qc, 'membersSig')), qc)[1])
        self.test_invalid(block, 'bad-qc-invalid', lambda qc : (setattr(qc, 'membersSig', getattr(qc, 'quorumSig')), qc)[1])
        self.test_invalid(block, 'bad-qc-invalid', lambda qc : (setattr(qc, 'quorumPublicKey', b'\x00' * 48), qc)[1])
        # TODO: test quorumVvecHash
        # TODO: test signers
        # TODO: test validMembers

        self.nodes[0].reconsiderblock(best)
        # Mine 8 (SIGN_HEIGHT_OFFSET) more blocks to make sure that the new quorum gets eligible for signing sessions
        self.generate(self.nodes[0], 8, sync_fun=lambda: self.sync_blocks(self.nodes))

        return quorumHash

    def test_invalid(self, original_block, error, transform):
        node = self.nodes[0]

        block = copy.deepcopy(original_block)

        for tx in block.vtx:
            if tx.nType == 6:
                qc_payload = CFinalCommitmentPayload()
                qc_payload.deserialize(BytesIO(tx.vExtraPayload))
                # test not only quorum 100, rotation quorums also and single-node quorum
                if qc_payload.commitment.llmqType == 100:
                    qc_payload.commitment = transform(qc_payload.commitment)

                tx.vExtraPayload = qc_payload.serialize()
                tx.rehash()

        def assert_submitblock(block, result_str_1, result_str_2=None):
            block.hashMerkleRoot = block.calc_merkle_root()
            block.solve()
            result_str_2 = result_str_2 or 'duplicate-invalid'
            assert_equal(result_str_1, node.submitblock(hexdata=block.serialize().hex()))
            assert_equal(result_str_2, node.submitblock(hexdata=block.serialize().hex()))

        # TODO: implement similar validation not only for submitblock but for p2p message
        assert_submitblock(block, error)


    def assert_member_valid(self, quorumHash, proTxHash, expectedValid):
        q = self.nodes[0].quorum('info', 100, quorumHash, True)
        for m in q['members']:
            if m['proTxHash'] == proTxHash:
                if expectedValid:
                    assert m['valid']
                else:
                    assert not m['valid']
            else:
                assert m['valid']

    def heal_masternodes(self, blockCount):
        # We're not testing PoSe here, so lets heal the MNs :)
        self.nodes[0].sporkupdate("SPORK_17_QUORUM_DKG_ENABLED", 4070908800)
        self.wait_for_sporks_same()
        for _ in range(blockCount):
            self.bump_mocktime(1)
            self.generate(self.nodes[0], 1, sync_fun=self.no_op)
        self.sync_all()
        self.nodes[0].sporkupdate("SPORK_17_QUORUM_DKG_ENABLED", 0)
        self.wait_for_sporks_same()


if __name__ == '__main__':
    LLMQDKGErrors().main()