mirror of
https://github.com/bitcoin/bitcoin.git
synced 2025-01-15 22:32:37 -03:00
54 lines
1.5 KiB
C++
54 lines
1.5 KiB
C++
|
// Copyright (c) 2018 The Bitcoin Core developers
|
||
|
|
// Distributed under the MIT software license, see the accompanying
|
||
|
|
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
||
|
|
#include <key.h>
|
||
|
|
|
||
|
|
#include <base58.h>
|
||
|
|
#include <script/script.h>
|
||
|
|
#include <uint256.h>
|
||
|
|
#include <util.h>
|
||
|
|
#include <utilstrencodings.h>
|
||
|
|
#include <test/test_bitcoin.h>
|
||
|
|
#include <string>
|
||
|
|
#include <vector>
|
||
|
|
|
||
|
|
#include <boost/test/unit_test.hpp>
|
||
|
|
#include <rapidcheck/boost_test.h>
|
||
|
|
#include <rapidcheck/gen/Arbitrary.h>
|
||
|
|
#include <rapidcheck/Gen.h>
|
||
|
|
|
||
|
|
#include <test/gen/crypto_gen.h>
|
||
|
|
|
||
|
|
BOOST_FIXTURE_TEST_SUITE(key_properties, BasicTestingSetup)
|
||
|
|
|
||
|
|
/** Check CKey uniqueness */
|
||
|
|
RC_BOOST_PROP(key_uniqueness, (const CKey& key1, const CKey& key2))
|
||
|
|
{
|
||
|
|
RC_ASSERT(!(key1 == key2));
|
||
|
|
}
|
||
|
|
|
||
|
|
/** Verify that a private key generates the correct public key */
|
||
|
|
RC_BOOST_PROP(key_generates_correct_pubkey, (const CKey& key))
|
||
|
|
{
|
||
|
|
CPubKey pubKey = key.GetPubKey();
|
||
|
|
RC_ASSERT(key.VerifyPubKey(pubKey));
|
||
|
|
}
|
||
|
|
|
||
|
|
/** Create a CKey using the 'Set' function must give us the same key */
|
||
|
|
RC_BOOST_PROP(key_set_symmetry, (const CKey& key))
|
||
|
|
{
|
||
|
|
CKey key1;
|
||
|
|
key1.Set(key.begin(), key.end(), key.IsCompressed());
|
||
|
|
RC_ASSERT(key1 == key);
|
||
|
|
}
|
||
|
|
|
||
|
|
/** Create a CKey, sign a piece of data, then verify it with the public key */
|
||
|
|
RC_BOOST_PROP(key_sign_symmetry, (const CKey& key, const uint256& hash))
|
||
|
|
{
|
||
|
|
std::vector<unsigned char> vchSig;
|
||
|
|
key.Sign(hash, vchSig, 0);
|
||
|
|
const CPubKey& pubKey = key.GetPubKey();
|
||
|
|
RC_ASSERT(pubKey.Verify(hash, vchSig));
|
||
|
|
}
|
||
|
|
BOOST_AUTO_TEST_SUITE_END()
|