Page MenuHomePhabricator
Differential D11622 Diff 34016 src/avalanche/test/proof_tests.cpp

Changeset View

Standalone View

View Options

src/avalanche/test/proof_tests.cpp

// Copyright (c) 2020 The Bitcoin developers // Copyright (c) 2020 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.
#include <avalanche/proof.h> #include <avalanche/proof.h>
#include <avalanche/proofbuilder.h> #include <avalanche/proofbuilder.h>
#include <avalanche/test/util.h> #include <avalanche/test/util.h>
#include <avalanche/validation.h> #include <avalanche/validation.h>
#include <coins.h> #include <coins.h>
#include <script/standard.h> #include <script/standard.h>
#include <util/strencodings.h> #include <util/strencodings.h>
#include <util/translation.h> #include <util/translation.h>
#include <validation.h>
#include <test/util/setup_common.h> #include <test/util/setup_common.h>
#include <boost/test/unit_test.hpp> #include <boost/test/unit_test.hpp>
using namespace avalanche; using namespace avalanche;
BOOST_FIXTURE_TEST_SUITE(proof_tests, TestingSetup) BOOST_FIXTURE_TEST_SUITE(proof_tests, TestChain100Setup)
BOOST_AUTO_TEST_CASE(proof_random) { BOOST_AUTO_TEST_CASE(proof_random) {
for (int i = 0; i < 1000; i++) { for (int i = 0; i < 1000; i++) {
const uint32_t score = InsecureRand32(); const uint32_t score = InsecureRand32();
auto p = buildRandomProof(score); auto p = buildRandomProof(score);
BOOST_CHECK_EQUAL(p->getScore(), score); BOOST_CHECK_EQUAL(p->getScore(), score);
ProofValidationResult expected_state = ProofValidationResult expected_state =
▲ Show 20 Lines • Show All 989 Lines • ▼ Show 20 Lines // Wrong stake ordering
BOOST_CHECK(pb.addUTXO(other_pkh_outpoint, value, height, false, key)); BOOST_CHECK(pb.addUTXO(other_pkh_outpoint, value, height, false, key));
ProofRef p = TestProofBuilder::buildWithReversedOrderStakes(pb); ProofRef p = TestProofBuilder::buildWithReversedOrderStakes(pb);
ProofValidationState state; ProofValidationState state;
BOOST_CHECK(!p->verify(state, coins)); BOOST_CHECK(!p->verify(state, coins));
BOOST_CHECK(state.GetResult() == BOOST_CHECK(state.GetResult() ==
ProofValidationResult::WRONG_STAKE_ORDERING); ProofValidationResult::WRONG_STAKE_ORDERING);
} }
// Immature stake
{
uint32_t chaintipHeight = ::ChainActive().Height();
// tuple<stake confs, avaproofutxoconfirmations, result>
std::vector<std::tuple<uint32_t, std::string, ProofValidationResult>>
testCases = {
// Require less or equal the number of confirmations the stake
// has
{chaintipHeight, "0", ProofValidationResult::NONE},
{50, "0", ProofValidationResult::NONE},
{50, "49", ProofValidationResult::NONE},
{50, "50", ProofValidationResult::NONE},
// Require more than the number of confirmations the stake has
{chaintipHeight, "1", ProofValidationResult::IMMATURE_UTXO},
{50, "51", ProofValidationResult::IMMATURE_UTXO},
{50, "100", ProofValidationResult::IMMATURE_UTXO},
};
for (auto it = testCases.begin(); it != testCases.end(); ++it) {
const uint32_t stakeConfs = std::get<0>(*it);
COutPoint outpoint(TxId(InsecureRand256()), InsecureRand32());
CTxOut output(value, GetScriptForRawPubKey(pubkey));
coins.AddCoin(outpoint, Coin(output, stakeConfs, false), false);
gArgs.ForceSetArg("-avaproofutxoconfirmations", std::get<1>(*it));
runCheck(std::get<2>(*it), outpoint, value, stakeConfs, false, key);
}
gArgs.ClearForcedArg("-avaproofutxoconfirmations");
}
} }
BOOST_AUTO_TEST_CASE(deterministic_proofid) { BOOST_AUTO_TEST_CASE(deterministic_proofid) {
CCoinsView coinsDummy; CCoinsView coinsDummy;
CCoinsViewCache coins(&coinsDummy); CCoinsViewCache coins(&coinsDummy);
auto key = CKey::MakeCompressedKey(); auto key = CKey::MakeCompressedKey();
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines