diff --git a/src/avalanche/proof.h b/src/avalanche/proof.h --- a/src/avalanche/proof.h +++ b/src/avalanche/proof.h @@ -42,6 +42,8 @@ struct StakeCommitment : public uint256 { explicit StakeCommitment() : uint256() {} explicit StakeCommitment(const uint256 &b) : uint256(b) {} + StakeCommitment(const ProofId &proofid, int64_t expirationTime, + const CPubKey &master); }; class Stake { @@ -145,8 +147,8 @@ const ProofId &getId() const { return proofid; } const LimitedProofId &getLimitedId() const { return limitedProofId; } const StakeCommitment getStakeCommitment() const { - return StakeCommitment(proofid); - } + return StakeCommitment(proofid, expirationTime, master); + }; uint32_t getScore() const; bool verify(ProofValidationState &state) const; diff --git a/src/avalanche/proof.cpp b/src/avalanche/proof.cpp --- a/src/avalanche/proof.cpp +++ b/src/avalanche/proof.cpp @@ -20,6 +20,19 @@ namespace avalanche { +StakeCommitment::StakeCommitment(const ProofId &proofid, int64_t expirationTime, + const CPubKey &master) { + if (Proof::useLegacy(gArgs)) { + memcpy(m_data, proofid.data(), sizeof(m_data)); + } else { + CHashWriter ss(SER_GETHASH, 0); + ss << expirationTime; + ss << master; + const uint256 &hash = ss.GetHash(); + memcpy(m_data, hash.data(), sizeof(m_data)); + } +} + void Stake::computeStakeId() { CHashWriter ss(SER_GETHASH, 0); ss << *this; diff --git a/src/avalanche/proofbuilder.cpp b/src/avalanche/proofbuilder.cpp --- a/src/avalanche/proofbuilder.cpp +++ b/src/avalanche/proofbuilder.cpp @@ -41,7 +41,9 @@ } const ProofId proofid = getProofId(); - const StakeCommitment commitment(proofid); + + const StakeCommitment commitment(proofid, expirationTime, + masterKey.GetPubKey()); std::vector signedStakes; signedStakes.reserve(stakes.size()); diff --git a/src/avalanche/test/proof_tests.cpp b/src/avalanche/test/proof_tests.cpp --- a/src/avalanche/test/proof_tests.cpp +++ b/src/avalanche/test/proof_tests.cpp @@ -408,9 +408,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68029b86def00" - "0cf224e0dc3056061a95f263601de3e0710a542229abfb3aacd57f7f2c0ecfdf33ed5" - "f297dfaee8fc9cd704b16e1c12d44a71118dfa840f8a92b2f43410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9ac05a9ea3a5333926249331f" "34a41a3519bab179ce9228dc940019ee80f754da0499379229f9b49f1bccc6566a734" @@ -422,13 +422,13 @@ "c964aa6fde575e4ce8404581c7be874e21023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde302d1e26c2287948bc6ab2b55945c591b8ba3ff" "a237f5d9164d30a4f10145a61f788e639b1480731e2aead30500bf8462872102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680e5e54109ff" - "d206dbdef011f2492ad79d6a4b4e2e00af834568de569f9f6a152e7ebf68152504530" - "df9c1c51d5faa0338d4c55852cf38ebe8cdb9dbb37f51638dd1e26c2287948bc6ab2b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6806b8111af77" + "e1076caba7cb76de29abae963b7f6a1879318e8e37ff488d5843b783215fe9561431a" + "c55ecef78ce214869aac0c271d35bee7fdb0858a7ddffe3b0d1e26c2287948bc6ab2b" "55945c591b8ba3ffa237f5d9164d30a4f10145a61f788e639b1480731e2aead30500b" "f8462872102449fb5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8" - "bce680ce0defb9f4586ef8fd4d26b34de05aa6a4f0d1c9b0bad3dea2ff32bec0c9d44" - "35cb1a5628751c60770f47d72c8b1227544358a0d1705672cbe991e0283b5f0bf2321" + "bce6802f5c4b2a2ab7fb315d3b9e0318e4e90faa997f28ea6fb31c3487332718079c1" + "0131da1acd028a093be651330679bb02bd471053e18a590e373a08c2e60ca15f92321" "038439233261789dd340bdc1450172d9c671b72ee8c0b2736ed2a3a250760897fdac3" "dfb66133d94674a3a6565d8f84e1a31e2f79a4bb399c04adc802abcf8b395f62315d3" "ad8450ba57e11dfb61b1f5a7325094d5ffda1f5830e0990dcc2ebb9be8", @@ -439,45 +439,45 @@ "c964aa6fde575e4ce8404581c7be874e21023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde3030b1e5f35704cb63360aa3d5f444ee35eea4c" "154c1af6d4e7595b409ada4b42377764698a915c2ac4000000000f28db322102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6809baf26b73d" - "bc864a1e22707b70fef52e53883bed090e5bf0ccc15e20aead9e6c1b9e606c4ceb965" - "f2ffcb5d0ef02f1654437aa451e34046f5bcd00a3a7f543d0e4ed76e1f19b2c2a0fcc" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6809d1eddf2e4" + "6ca8bfc4ff8d512c2c9fed6371baf1335940397ec40b1d6da8f8f086f8cd01a90ecee" + "97096d0cfc4f56f8b5166d03ee1d1935a5b4e79c11cbf9c74e4ed76e1f19b2c2a0fcc" "069b4ace4a078cb5cc31e9e19b266d0af41ea8bb0c30c8b47c95a856d9aa000000007" "dfdd89a2102449fb5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8" - "bce6801f651d8aa27e72c783d4aad0e30dd45189711c90e859b4e354a36cb9bb2532e" - "e202db46024c8a0f7c7e6508818aa08d9712b1080b1162dcfa763aa2f46300b6fac09" + "bce680dfcfdcf00a1ac526c8ca44fe095a0a204e5e2b85b0ad3fadaf53ec84e2c9408" + "300f2dc21781346d71f941e045871f7931622dc4a4331c795d8ca596d24ddb021ac09" "8c86414715db364a4e32216084c561acdd79e0860b1fdf7497b159cb1323045120029" "6c902ee000000009f2bc7392102449fb5237efe8f647d32e8b64f06c22d1d40368eac" - "a2a71ffc6a13ecc8bce68063cd2862613da2315977965e75e4bd47b99f77be0d83e8e" - "6677c35cafe6ee2de8fb2240c7b81e47c9bc7e21a230939d701cd5d784d7b68a3fdf1" - "d1e6d9dc53652321038439233261789dd340bdc1450172d9c671b72ee8c0b2736ed2a" + "a2a71ffc6a13ecc8bce6801f42d48c9369898b7c5eb4157f30745b9ee51b32882b320" + "32429f77166a1ebab6b88de018bf0340097887b1aeff8b7aa728a072b38e02ee8a705" + "14db1de147ad2321038439233261789dd340bdc1450172d9c671b72ee8c0b2736ed2a" "3a250760897fdace7662689aa1c9c5d9d9a6dbe9a94859be27fbddca080abff31012a" "5277bc98630c47bb04830514ac04304d726b598e05c4cd89506bb2e1f0a78f54ab3f3" "15cfe", ProofId::fromHex("95c9673bc14f3c36e9310297e8df81867b42dd1a7bb7944aeb6c" "1797fbd2a6d5"), 10150, ProofValidationResult::NONE}, - {"Changing sequence affect ProofId", + {"Changing sequence affect ProofId but not the stake signature", "d87587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3443410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9ac80bdeb2ada22b35856fa25" "d2fe7a145b4ce09c6332b72925dbf2b09140d6163863437a8076f7836fcbb7154b831" "65a65910d1b2a8c3655d111f008a57315f5a0", ProofId::fromHex("8b0640e7bf81f487d90d6b5c3ead4bc41eae418da4e6874618b2" "89124e52ba1e"), - 444638638, ProofValidationResult::INVALID_STAKE_SIGNATURE}, + 444638638, ProofValidationResult::NONE}, {"Changing expiration affect ProofId", "d97587e6c882615797011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3443410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9ac5995555107107e656abd8e" "2852f311ff0f5c4f606695b63ec44e04303e3378a2e21e16bf05727240ebee1334d2f" @@ -489,9 +489,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30179a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3443410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9acaefee33b8b7a0ce4d5d1ab" "92ea8d08dd2538102a4dde790f6317558ceb68e5d2267aac97a0f313dccec827d0401" @@ -503,9 +503,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91df00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3443410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9acecc6e78166848efad9772b" "a11ed0a8b1e9e844cbc2727c69c5e1898430548c9062a52ca9dc1dbe614213d9f7d54" @@ -517,9 +517,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21814712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3443410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9acefbdde03c4cc7065075d06" "6c693086c0df0b6b349ec9300ff1333cca65d076364560fb2cbb1365240cdd6c9c323" @@ -531,9 +531,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010028e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3443410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9ac4fc8c51b5a993c0a8f3a53" "c88fb49f228305da66d20b8c73e7e9de55300ac1de52c898fa73e8c5f54a727edc4a6" @@ -545,9 +545,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102459fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3443410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fc43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9ac893ad17cf6a17016f35337" "f6a10f85357689be2760734137c51225cbe0eca4fa00b671f50deacfb86afd61d9cdf" @@ -559,9 +559,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a7adc748c0" - "7a7dd7a9f62c0d755bb7dd840a1f658096f178734683b11f2bc193a567146ed5513c6" - "d6f3e6c27a95c1ca4c01110aac03c0f5aa7660f6efb964f3543410469ab5a892ffa4b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68099f1e258ab" + "54f960102c8b480e1dd5795422791bb8a7a19e5542fe8b6a76df7fa09a3fd4be62db7" + "50131f1fbea6f7bb978288f7fe941c39ef625aa80576e19fd43410469ab5a892ffa4b" "b104a3d5760dd893a5502512eea4ba32a6d6672767be4959c0f70489b803a47a3abf8" "3f30e8d9da978de4027c70ce7e0d3b0ad62eb08edd8f9ac3359ba425e0084157ca510" "e30865693578e3f5eb426d97597ccbd7766db411abaf653aea59c34861cbafeaee076" @@ -573,9 +573,9 @@ "a6d6852ffa70b172d37a0ad2c01c2acd21023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30145a4d07798547464daa53acefb7c97c0c415" "ed8e81e549ff56a0ef6f847fcc9ca855b3620000000000000000e707d7272102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68065cd42e0e6" - "9d511ad24ecb3c3af07176bcf890caa7cfc64039dc65e51014dd99d11bd00ffbfbcc1" - "9619ca502bfd4dd6dbc0967692ff6d2211b0bd9b9f05e12982321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680061c669954" + "f964a68b43b1b354b65b651f349a3ff310a1dcb862aa285f26fc7f6fd0b9cb766f1e1" + "f90fc63ce03c956b3dac9a4ac2fff963f643ae1326b08d33c2321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac6ad76de70caa0fb07" "12a44e24f791244f733017920ef42c876220a9c50f0239d97414829fe9103741aba28" "7579d8ea26ca28162e3091d53cc51fd58be9b18d22", @@ -588,9 +588,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6804534ca1f5e" + "22670be3df5cbd5957d8dd83d05c8f17eae391f0e7ffdce4fb3defadb7c079473ebec" + "cf88c1f8ce87c61e451447b89c445967335ffd1aadef429982321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -601,9 +601,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6802ddcceb12b" - "f6fa6f3b5001e0c7a60dd79ae373bb83d52630a11691b62a9c32e43a3003f6c13ca22" - "8e33add06fafba4c76ce91bab15171b0c53aef732e824f78b1976a914f8172c51efbf" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6804848a02e2b" + "1c8aa1d21c31b056ab6a63f08e07bb0b56258d1c58b87f3ff472b7b5b9a5907142a04" + "041e95e6874ae0874d0f7bbe266f7c4606af315711d0f49341976a914f8172c51efbf" "34413a308a030fd4b164c5bfcd8f88ac2d805b078f5efe022304f8c6ccd0ef5255d80" "6a473fc85a5ad1caf1aa94a4e49ef7625b9dc85d263b2829d5822af62226bc50a4a83" "76a3a6e1cd0a37ea2fbbf9", @@ -614,9 +614,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680091c7780f8" - "981eb8edbdf98aae9a9072cb2f0af1a87b426c734e79e32704b02878086b5e933ba5d" - "3fc6948ab24b14669e1f670ff0ac2965cce03dcd315e9322a17a914da1745e9b549bd" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680575db01b67" + "5b042bf1ab89aa6ad3842804bb57bf87ebf2bfbcb169debdbf9c51e5d2638eb981bfd" + "0e7465a5f3edd152d52b2f6d0108fcd277168be362e849e1f17a914da1745e9b549bd" "0bfa1a569971c77eba30cd5a4b87fea0a245528a4aadfc1dd5731c0cfe738e276c938" "15c69789fe97b15a5fb5b4f75b598ed94096205561e8d16203b8ef21763891d8e79a5" "9862bccbbd5bdf3a58", @@ -627,9 +627,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680e669fa3d48" - "1cce63ddf4dd4f1bc486f7294f4d3fa06bf3e03185423d614aeba8b8577aaca91b0d6" - "212a335e4977523c54d701db772ac5a16b352efc085fb0741255121023beefdde700a" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680ea4c55850f" + "587c7839fe254880547049a8be7c27cf511e440fa46237db32dced28e0c10edcf5ddb" + "31e2f61e5c749e7324e7edf9aa09547810d64a12fb960a206255121023beefdde700a" "6bc02036335b4df141c8bc67bb05a971f5ac2745fd683797dde351ae29eaecb058c9b" "b74eef68dbeaa5da8b96aacc00bc89c911095ad016cfbdc53b1eeb10a9f29d6c48a5f" "b3a1e6e30d332a05bdc67062f94acffbe6d6c909bb5643", @@ -640,9 +640,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6808d8b48717e" - "f23eafb7254c8bdb79cec84b259d023f973c6a086fb6c369671c97c93d2a22c698d17" - "5b4c37c30f5b681a6b019106dd1fab54dc6212e8eb12c500f695221023beefdde700a" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680edf24d6c6e" + "1ed44a0e0d651d5d2611f80e5c921778c3cbc2923fade878d7d9c69e5f4f7ff0c8dd9" + "985ff427011c5cf0cac854c607e1d788d140f8b6d6010aad8695221023beefdde700a" "6bc02036335b4df141c8bc67bb05a971f5ac2745fd683797dde321023beefdde700a6" "bc02036335b4df141c8bc67bb05a971f5ac2745fd683797dde321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde353ae34814734c1bd2c4" @@ -655,9 +655,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a89393513c" - "b33ef4c1941f19e25e5cc9d75f648e89b91b748598d9966de35a0781c4e0409765bdf" - "896f53f8430b7150077e1952c118d374bdfaab1c37713cdb01b6a19492077616e7420" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680b746fe5c9d" + "10002880169f03c69456f57d60589cd451c2fa078fc0241a022f2c6f1736b4bb49ea0" + "d7b878e581de9625f301c68defeda9d506f9b128dbccb08481b6a19492077616e7420" "746f206275726e206d792072657761726473f42ae2e5fa253a700e5dcb3970a894db4" "48b61960b45c84723bf769d4dab0370994d0163e235b688da2fabc8e5b57e24805dce" "3baa62e064c32266a723c6adb6", @@ -668,9 +668,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680176d115007" - "f81be4be87ae2883fda15d87a7991645f00c8acf79b7f31501ee823604df88d29acfb" - "4d911c02294d5157191ebcf6657926764757da69dad2897540100b71f0e77b4ad5d73" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce68082a5aec394" + "b2a25fedc70a81f93bb08b46a51bd1259f3f10fa421a4989039d74d30cf449de3b8b4" + "6551b8ec927a83d16caaf8fc32636110407cfc9effbaf8c210100b71f0e77b4ad5d73" "d5a872ab43699309b5c194f72be5ee0812236c1a46a5b2c22ddd71d909cf52143f487" "54a61dfe0c6566342fa50b7d62c40fb44d1ff5abed3", ProofId::fromHex("046e75fa2d7f0868dcfa683bbdf657fc6a49b8f8b0d5c2dfdf90" @@ -680,9 +680,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680a90f09c643" - "edc82a5babbd25c446fe22df502eba5c9eff4dee2c471fb8c9cc8e5142d71583ac970" - "d5dc717f5cd4969a1089f9b74ac558afe94398022422fce0cad5121023beefdde700a" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6804d972714d8" + "bcdeb680cd736ee6252c92453d7de362b97007c77abe1d76c80c41b502aa331a94d50" + "fb2d709b66a679e2b4b2385dd2f4fad13c85015fc4c6ae7e4ad5121023beefdde700a" "6bc02036335b4df141c8bc67bb05a971f5ac2745fd683797dde321023beefdde700a6" "bc02036335b4df141c8bc67bb05a971f5ac2745fd683797dde321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde321023beefdde700a6bc" @@ -693,13 +693,14 @@ ProofId::fromHex("e66b0ab11de5e2f358d2e1f65b1ebe608e4a1f10a9f5d42f1173" "b262e1a218a6"), 444638638, ProofValidationResult::INVALID_PAYOUT_SCRIPT}, - {"Changing the payout address changes the proof signature (P2PK)", + {"Changing the payout address changes the proof signature (P2PK) but " + "not the stake signature", "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6804534ca1f5e" + "22670be3df5cbd5957d8dd83d05c8f17eae391f0e7ffdce4fb3defadb7c079473ebec" + "cf88c1f8ce87c61e451447b89c445967335ffd1aadef429982321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde4ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -711,9 +712,9 @@ "da7587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6808ef3a5bb64" + "dc73a757aba041f348e7bc93c9c96f53a3d48a9a9df6f505f37283834788bad9370e9" + "e6e702f8ba5323d38cb3b720adfefee6af4187ee6d9bed2482321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -724,9 +725,9 @@ "d97587e6c882615797011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680e475b4323a" + "a8775b6b0ab82985f515bd95fb1cc18389d40c7a59a49df1ffa788ae68cfcc21e60c0" + "e39806e935ce19b71f1182f4ca83f51d654a95b2e9b021ea12321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -738,9 +739,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde40169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680306b113bd2" + "fc0e5c4f0cc46aed8a6c8efb0b5bcdc214ad78a29e00b1174c67d1c4576f4d815ba74" + "ef6bdd0d8243402f6c4c8dcf71a4eb24d97f6d6b1d4a65b912321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -751,9 +752,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde3016aa79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680e0d7f1933e" + "b1e4f9011b9cf363f198f764ff5d65f471f4e4568beeed834d15f6917378fc9f84a3a" + "5c3e445329dbfed556d82ba43e74619e32baad4b3437e2f482321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -764,9 +765,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91df00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6803671ac4cd4" + "928d9db4be75e0213709e903855369c90f2bd8459ad24ad936a09c550b87d2ab7c7c0" + "f1e7b18c484c65aa175e3fc10088b198334d9b2846d7c19272321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -777,9 +778,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21814712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680c4a8d2cbb3" + "ef086b41da91cbf99404c4970fee9cd8dff8c82d4169751e1049fb2506a194e14ef96" + "4f308f1afdbb3853df59f58fa88cedcf71722f8130f89e6ef2321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -790,9 +791,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf2180471280659401003ae168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6804fb8adfb4e" + "08ad2e6284042968f65dfe365b975492fdac597c75ae91edcb3b0d7ad9352d0cff1b2" + "7577eb5fc4646f0106d57d214f71ce21272eb31af09482f2b2321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -803,9 +804,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010039e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6807b0eeab05c" + "31d69c288fab140311274530dea518a7b62846c33e6a087b489210fed85b8a18017d4" + "30751e81e276aecdb565a3cd5c58b5a0f81cbf5af33196dfd2321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -816,9 +817,9 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce681baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbda2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6814534ca1f5e" + "22670be3df5cbd5957d8dd83d05c8f17eae391f0e7ffdce4fb3defadb7c079473ebec" + "cf88c1f8ce87c61e451447b89c445967335ffd1aadef429982321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", @@ -829,15 +830,33 @@ "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" "c67bb05a971f5ac2745fd683797dde30169a79ff23e1d58c64afad42ad81cffe53967" "e16beb692fc5776bb442c79c5d91de00cf21804712806594010038e168a32102449fb" - "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680baa8704cc7" - "97482ae7b673f04fec50be1cdcefdffc3863029352aef07b16336d57a6036c0c62782" - "780fb12051839ac46328040bffe675bfbcdd15f5f6a5acbdb2321023beefdde700a6b" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce6804534ca1f5e" + "22670be3df5cbd5957d8dd83d05c8f17eae391f0e7ffdce4fb3defadb7c079473ebec" + "cf88c1f8ce87c61e451447b89c445967335ffd1aadef429992321023beefdde700a6b" "c02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac7b0b7865200f63052" "ff980b93f965f398dda04917d411dd46e3c009a5fef35661fac28779b6a22760c0000" "4f5ddf7d9865c7fead7e4a840b947939590261640f", ProofId::fromHex("455f34eb8a00b0799630071c0728481bdb1653035b1484ac33e9" "74aa4ae7db6d"), 444638638, ProofValidationResult::INVALID_STAKE_SIGNATURE}, + {"Adding a stake changes the proof signature but does not involve " + "changing the previous stake signature", + "d97587e6c882615796011ec8f9a7b1c621023beefdde700a6bc02036335b4df141c8b" + "c67bb05a971f5ac2745fd683797dde3026aa79ff23e1d58c64afad42ad81cffe53967" + "e16beb692fc5776bb442c79c5d91df00cf2180471280659401003be168a32102449fb" + "5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8bce680f2adfb4bcb" + "14bf1f6aa38a44994419bd34e9da07d972d3f092cd3ef037fe7bcd92e3d7073faa7e6" + "e0697b9fab8670417959ab0b0958fdc576a11dffe599e851269a79ff23e1d58c64afa" + "d42ad81cffe53967e16beb692fc5776bb442c79c5d91de00cf2180471280659401003" + "8e168a32102449fb5237efe8f647d32e8b64f06c22d1d40368eaca2a71ffc6a13ecc8" + "bce6804534ca1f5e22670be3df5cbd5957d8dd83d05c8f17eae391f0e7ffdce4fb3de" + "fadb7c079473ebeccf88c1f8ce87c61e451447b89c445967335ffd1aadef429982321" + "023beefdde700a6bc02036335b4df141c8bc67bb05a971f5ac2745fd683797dde3ac9" + "32ce54c4d405de52399cf48b4b10038d1bbbd65206f0934b2bdfc7b6a4a2e1cff1803" + "a69bd03dd3897d4cfde46c2ee2cf17895880770c8b49089a26b6b5ff1e", + ProofId::fromHex("96bd9fee759d81f9bc30e26015d979df3f6046c7a8764582d1a2" + "c5c3d61c2f44"), + 2 * 444638638, ProofValidationResult::NONE}, }; auto checkCases = [&](const std::vector &testcases) {