mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
avoid code doubling
This commit is contained in:
CJentzsch
parent
f0b2d0f30b
commit
9e63ab10ca
472
block.cpp
472
block.cpp
@ -69,96 +69,183 @@ void doBlockTests(json_spirit::mValue& _v, bool _fillin)
|
|||||||
cerr << i.first << endl;
|
cerr << i.first << endl;
|
||||||
mObject& o = i.second.get_obj();
|
mObject& o = i.second.get_obj();
|
||||||
|
|
||||||
if (_fillin == false)
|
BOOST_REQUIRE(o.count("genesisBlockHeader") > 0);
|
||||||
{
|
|
||||||
BOOST_REQUIRE(o.count("genesisBlockHeader") > 0);
|
|
||||||
|
|
||||||
// construct RLP of the genesis block
|
// construct RLP of the genesis block
|
||||||
bytes blockRLP = createBlockRLPFromFields(o["genesisBlockHeader"].get_obj());
|
bytes blockRLP = createBlockRLPFromFields(o["genesisBlockHeader"].get_obj());
|
||||||
RLP myRLP(blockRLP);
|
RLP myRLP(blockRLP);
|
||||||
BlockInfo blockFromFields;
|
BlockInfo blockFromFields;
|
||||||
|
|
||||||
try
|
try
|
||||||
{
|
{
|
||||||
blockFromFields.populateFromHeader(myRLP, false);
|
blockFromFields.populateFromHeader(myRLP, false);
|
||||||
}
|
}
|
||||||
catch (Exception const& _e)
|
catch (Exception const& _e)
|
||||||
{
|
{
|
||||||
cnote << "block construction did throw an exception: " << diagnostic_information(_e);
|
cnote << "block construction did throw an exception: " << diagnostic_information(_e);
|
||||||
BOOST_ERROR("Failed block construction Test with Exception: " << _e.what());
|
BOOST_ERROR("Failed block construction Test with Exception: " << _e.what());
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
catch (std::exception const& _e)
|
catch (std::exception const& _e)
|
||||||
{
|
{
|
||||||
cnote << "block construction did throw an exception: " << _e.what();
|
cnote << "block construction did throw an exception: " << _e.what();
|
||||||
BOOST_ERROR("Failed block construction Test with Exception: " << _e.what());
|
BOOST_ERROR("Failed block construction Test with Exception: " << _e.what());
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
catch(...)
|
catch(...)
|
||||||
{
|
{
|
||||||
cnote << "block construction did throw an unknown exception\n";
|
cnote << "block construction did throw an unknown exception\n";
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_REQUIRE(o.count("pre") > 0);
|
BOOST_REQUIRE(o.count("pre") > 0);
|
||||||
|
|
||||||
ImportTest importer(o["pre"].get_obj());
|
ImportTest importer(o["pre"].get_obj());
|
||||||
State theState(Address(), OverlayDB(), BaseState::Empty);
|
State theState(Address(), OverlayDB(), BaseState::Empty);
|
||||||
importer.importState(o["pre"].get_obj(), theState);
|
importer.importState(o["pre"].get_obj(), theState);
|
||||||
|
|
||||||
// commit changes to DB
|
// commit changes to DB
|
||||||
theState.commit();
|
theState.commit();
|
||||||
|
|
||||||
BOOST_CHECK_MESSAGE(blockFromFields.stateRoot == theState.rootHash(), "root hash do not match");
|
if (_fillin)
|
||||||
|
blockFromFields.stateRoot = theState.rootHash();
|
||||||
|
else
|
||||||
|
BOOST_CHECK_MESSAGE(blockFromFields.stateRoot == theState.rootHash(), "root hash do not match");
|
||||||
|
|
||||||
// create new "genesis" block
|
if (_fillin)
|
||||||
RLPStream rlpStream;
|
{
|
||||||
blockFromFields.streamRLP(rlpStream, WithNonce);
|
// find new valid nonce
|
||||||
|
ProofOfWork pow;
|
||||||
|
MineInfo ret;
|
||||||
|
tie(ret, blockFromFields.nonce) = pow.mine(blockFromFields.headerHash(WithoutNonce), blockFromFields.difficulty, 1000, true, false);
|
||||||
|
|
||||||
RLPStream block(3);
|
//update genesis block in json file
|
||||||
block.appendRaw(rlpStream.out());
|
o["genesisBlockHeader"].get_obj()["stateRoot"] = toString(blockFromFields.stateRoot);
|
||||||
block.appendRaw(RLPEmptyList);
|
o["genesisBlockHeader"].get_obj()["nonce"] = toString(blockFromFields.nonce);
|
||||||
block.appendRaw(RLPEmptyList);
|
}
|
||||||
|
|
||||||
blockFromFields.verifyInternals(&block.out());
|
// create new "genesis" block
|
||||||
|
RLPStream rlpStream;
|
||||||
|
blockFromFields.streamRLP(rlpStream, WithNonce);
|
||||||
|
|
||||||
// construct blockchain
|
RLPStream block(3);
|
||||||
BlockChain bc(block.out(), string(), true);
|
block.appendRaw(rlpStream.out());
|
||||||
|
block.appendRaw(RLPEmptyList);
|
||||||
|
block.appendRaw(RLPEmptyList);
|
||||||
|
|
||||||
try
|
blockFromFields.verifyInternals(&block.out());
|
||||||
{
|
|
||||||
theState.sync(bc);
|
// construct blockchain
|
||||||
bytes blockRLP = importByteArray(o["rlp"].get_str());
|
BlockChain bc(block.out(), string(), true);
|
||||||
|
|
||||||
|
if (_fillin)
|
||||||
|
{
|
||||||
|
BOOST_REQUIRE(o.count("transactions") > 0);
|
||||||
|
|
||||||
|
TransactionQueue txs;
|
||||||
|
|
||||||
|
for (auto const& txObj: o["transactions"].get_array())
|
||||||
|
{
|
||||||
|
mObject tx = txObj.get_obj();
|
||||||
|
BOOST_REQUIRE(tx.count("nonce") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("gasPrice") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("gasLimit") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("to") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("value") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("v") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("r") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("s") > 0);
|
||||||
|
BOOST_REQUIRE(tx.count("data") > 0);
|
||||||
|
|
||||||
|
//Transaction txFromFields(createRLPStreamFromTransactionFields(tx).out(), CheckSignature::Sender);
|
||||||
|
|
||||||
|
if (!txs.attemptImport(&createRLPStreamFromTransactionFields(tx).out()))
|
||||||
|
cnote << "failed importing transaction\n";
|
||||||
|
}
|
||||||
|
|
||||||
|
try
|
||||||
|
{
|
||||||
|
theState.sync(bc);
|
||||||
|
theState.sync(bc,txs);
|
||||||
|
theState.commitToMine(bc);
|
||||||
|
MineInfo info;
|
||||||
|
for (info.completed = false; !info.completed; info = theState.mine()) {}
|
||||||
|
theState.completeMine();
|
||||||
|
}
|
||||||
|
catch (Exception const& _e)
|
||||||
|
{
|
||||||
|
cnote << "state sync or mining did throw an exception: " << diagnostic_information(_e);
|
||||||
|
}
|
||||||
|
catch (std::exception const& _e)
|
||||||
|
{
|
||||||
|
cnote << "state sync or mining did throw an exception: " << _e.what();
|
||||||
|
}
|
||||||
|
|
||||||
|
o["rlp"] = "0x" + toHex(theState.blockData());
|
||||||
|
|
||||||
|
// write block header
|
||||||
|
|
||||||
|
mObject oBlockHeader;
|
||||||
|
BlockInfo current_BlockHeader = theState.info();
|
||||||
|
oBlockHeader["parentHash"] = toString(current_BlockHeader.parentHash);
|
||||||
|
oBlockHeader["uncleHash"] = toString(current_BlockHeader.sha3Uncles);
|
||||||
|
oBlockHeader["coinbase"] = toString(current_BlockHeader.coinbaseAddress);
|
||||||
|
oBlockHeader["stateRoot"] = toString(current_BlockHeader.stateRoot);
|
||||||
|
oBlockHeader["transactionsTrie"] = toString(current_BlockHeader.transactionsRoot);
|
||||||
|
oBlockHeader["receiptTrie"] = toString(current_BlockHeader.receiptsRoot);
|
||||||
|
oBlockHeader["bloom"] = toString(current_BlockHeader.logBloom);
|
||||||
|
oBlockHeader["difficulty"] = toString(current_BlockHeader.difficulty);
|
||||||
|
oBlockHeader["number"] = toString(current_BlockHeader.number);
|
||||||
|
oBlockHeader["gasLimit"] = toString(current_BlockHeader.gasLimit);
|
||||||
|
oBlockHeader["gasUsed"] = toString(current_BlockHeader.gasUsed);
|
||||||
|
oBlockHeader["timestamp"] = toString(current_BlockHeader.timestamp);
|
||||||
|
oBlockHeader["extraData"] = toHex(current_BlockHeader.extraData);
|
||||||
|
oBlockHeader["nonce"] = toString(current_BlockHeader.nonce);
|
||||||
|
|
||||||
|
o["blockHeader"] = oBlockHeader;
|
||||||
|
|
||||||
|
// write uncle list
|
||||||
|
|
||||||
|
mArray aUncleList; // as of now, our parent is always the genesis block, so we can not have uncles.
|
||||||
|
o["uncleHeaders"] = aUncleList;
|
||||||
|
}
|
||||||
|
|
||||||
|
else
|
||||||
|
{
|
||||||
|
try
|
||||||
|
{
|
||||||
|
theState.sync(bc);
|
||||||
|
bytes blockRLP = importByteArray(o["rlp"].get_str());
|
||||||
bc.import(blockRLP, theState.db());
|
bc.import(blockRLP, theState.db());
|
||||||
theState.sync(bc);
|
theState.sync(bc);
|
||||||
}
|
}
|
||||||
// if exception is thrown, RLP is invalid and not blockHeader, Transaction list, and Uncle list should be given
|
// if exception is thrown, RLP is invalid and not blockHeader, Transaction list, and Uncle list should be given
|
||||||
catch (Exception const& _e)
|
catch (Exception const& _e)
|
||||||
{
|
{
|
||||||
cnote << "state sync or block import did throw an exception: " << diagnostic_information(_e);
|
cnote << "state sync or block import did throw an exception: " << diagnostic_information(_e);
|
||||||
BOOST_CHECK(o.count("blockHeader") == 0);
|
BOOST_CHECK(o.count("blockHeader") == 0);
|
||||||
BOOST_CHECK(o.count("transactions") == 0);
|
BOOST_CHECK(o.count("transactions") == 0);
|
||||||
BOOST_CHECK(o.count("uncleHeaders") == 0);
|
BOOST_CHECK(o.count("uncleHeaders") == 0);
|
||||||
}
|
}
|
||||||
catch (std::exception const& _e)
|
catch (std::exception const& _e)
|
||||||
{
|
{
|
||||||
cnote << "state sync or block import did throw an exception: " << _e.what();
|
cnote << "state sync or block import did throw an exception: " << _e.what();
|
||||||
BOOST_CHECK(o.count("blockHeader") == 0);
|
BOOST_CHECK(o.count("blockHeader") == 0);
|
||||||
BOOST_CHECK(o.count("transactions") == 0);
|
BOOST_CHECK(o.count("transactions") == 0);
|
||||||
BOOST_CHECK(o.count("uncleHeaders") == 0);
|
BOOST_CHECK(o.count("uncleHeaders") == 0);
|
||||||
}
|
}
|
||||||
catch(...)
|
catch(...)
|
||||||
{
|
{
|
||||||
cnote << "state sync or block import did throw an exception\n";
|
cnote << "state sync or block import did throw an exception\n";
|
||||||
BOOST_CHECK(o.count("blockHeader") == 0);
|
BOOST_CHECK(o.count("blockHeader") == 0);
|
||||||
BOOST_CHECK(o.count("transactions") == 0);
|
BOOST_CHECK(o.count("transactions") == 0);
|
||||||
BOOST_CHECK(o.count("uncleHeaders") == 0);
|
BOOST_CHECK(o.count("uncleHeaders") == 0);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
// if yes, check parameters in blockHeader
|
// if yes, check parameters in blockHeader
|
||||||
// check transaction list
|
// check transaction list
|
||||||
// check uncle list
|
// check uncle list
|
||||||
|
|
||||||
BOOST_REQUIRE(o.count("blockHeader") > 0);
|
BOOST_REQUIRE(o.count("blockHeader") > 0);
|
||||||
|
|
||||||
@ -171,14 +258,14 @@ void doBlockTests(json_spirit::mValue& _v, bool _fillin)
|
|||||||
BlockInfo blockFromRlp = bc.info();
|
BlockInfo blockFromRlp = bc.info();
|
||||||
|
|
||||||
//Check the fields restored from RLP to original fields
|
//Check the fields restored from RLP to original fields
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.headerHash(WithNonce) == blockFromRlp.headerHash(WithNonce), "hash in given RLP not matching the block hash!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.headerHash(WithNonce) == blockFromRlp.headerHash(WithNonce), "hash in given RLP not matching the block hash!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.parentHash == blockFromRlp.parentHash, "parentHash in given RLP not matching the block parentHash!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.parentHash == blockFromRlp.parentHash, "parentHash in given RLP not matching the block parentHash!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.sha3Uncles == blockFromRlp.sha3Uncles, "sha3Uncles in given RLP not matching the block sha3Uncles!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.sha3Uncles == blockFromRlp.sha3Uncles, "sha3Uncles in given RLP not matching the block sha3Uncles!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.coinbaseAddress == blockFromRlp.coinbaseAddress,"coinbaseAddress in given RLP not matching the block coinbaseAddress!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.coinbaseAddress == blockFromRlp.coinbaseAddress,"coinbaseAddress in given RLP not matching the block coinbaseAddress!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.stateRoot == blockFromRlp.stateRoot, "stateRoot in given RLP not matching the block stateRoot!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.stateRoot == blockFromRlp.stateRoot, "stateRoot in given RLP not matching the block stateRoot!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.transactionsRoot == blockFromRlp.transactionsRoot, "transactionsRoot in given RLP not matching the block transactionsRoot!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.transactionsRoot == blockFromRlp.transactionsRoot, "transactionsRoot in given RLP not matching the block transactionsRoot!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.receiptsRoot == blockFromRlp.receiptsRoot, "receiptsRoot in given RLP not matching the block receiptsRoot!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.receiptsRoot == blockFromRlp.receiptsRoot, "receiptsRoot in given RLP not matching the block receiptsRoot!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.logBloom == blockFromRlp.logBloom, "logBloom in given RLP not matching the block logBloom!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.logBloom == blockFromRlp.logBloom, "logBloom in given RLP not matching the block logBloom!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.difficulty == blockFromRlp.difficulty, "difficulty in given RLP not matching the block difficulty!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.difficulty == blockFromRlp.difficulty, "difficulty in given RLP not matching the block difficulty!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.number == blockFromRlp.number, "number in given RLP not matching the block number!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.number == blockFromRlp.number, "number in given RLP not matching the block number!");
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields.gasLimit == blockFromRlp.gasLimit,"gasLimit in given RLP not matching the block gasLimit!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields.gasLimit == blockFromRlp.gasLimit,"gasLimit in given RLP not matching the block gasLimit!");
|
||||||
@ -189,215 +276,60 @@ void doBlockTests(json_spirit::mValue& _v, bool _fillin)
|
|||||||
|
|
||||||
BOOST_CHECK_MESSAGE(blockHeaderFromFields == blockFromRlp, "However, blockHeaderFromFields != blockFromRlp!");
|
BOOST_CHECK_MESSAGE(blockHeaderFromFields == blockFromRlp, "However, blockHeaderFromFields != blockFromRlp!");
|
||||||
|
|
||||||
//Check transaction list
|
//Check transaction list
|
||||||
|
|
||||||
Transactions txsFromField;
|
Transactions txsFromField;
|
||||||
|
|
||||||
for (auto const& txObj: o["transactions"].get_array())
|
for (auto const& txObj: o["transactions"].get_array())
|
||||||
{
|
{
|
||||||
mObject tx = txObj.get_obj();
|
mObject tx = txObj.get_obj();
|
||||||
BOOST_REQUIRE(tx.count("nonce") > 0);
|
BOOST_REQUIRE(tx.count("nonce") > 0);
|
||||||
BOOST_REQUIRE(tx.count("gasPrice") > 0);
|
BOOST_REQUIRE(tx.count("gasPrice") > 0);
|
||||||
BOOST_REQUIRE(tx.count("gasLimit") > 0);
|
BOOST_REQUIRE(tx.count("gasLimit") > 0);
|
||||||
BOOST_REQUIRE(tx.count("to") > 0);
|
BOOST_REQUIRE(tx.count("to") > 0);
|
||||||
BOOST_REQUIRE(tx.count("value") > 0);
|
BOOST_REQUIRE(tx.count("value") > 0);
|
||||||
BOOST_REQUIRE(tx.count("v") > 0);
|
BOOST_REQUIRE(tx.count("v") > 0);
|
||||||
BOOST_REQUIRE(tx.count("r") > 0);
|
BOOST_REQUIRE(tx.count("r") > 0);
|
||||||
BOOST_REQUIRE(tx.count("s") > 0);
|
BOOST_REQUIRE(tx.count("s") > 0);
|
||||||
BOOST_REQUIRE(tx.count("data") > 0);
|
BOOST_REQUIRE(tx.count("data") > 0);
|
||||||
|
|
||||||
Transaction t(createRLPStreamFromTransactionFields(tx).out(), CheckSignature::Sender);
|
Transaction t(createRLPStreamFromTransactionFields(tx).out(), CheckSignature::Sender);
|
||||||
txsFromField.push_back(t);
|
txsFromField.push_back(t);
|
||||||
}
|
}
|
||||||
|
|
||||||
Transactions txsFromRlp;
|
Transactions txsFromRlp;
|
||||||
bytes blockRLP2 = importByteArray(o["rlp"].get_str());
|
bytes blockRLP2 = importByteArray(o["rlp"].get_str());
|
||||||
RLP root(blockRLP2);
|
RLP root(blockRLP2);
|
||||||
for (auto const& tr: root[1])
|
for (auto const& tr: root[1])
|
||||||
{
|
{
|
||||||
Transaction tx(tr.data(), CheckSignature::Sender);
|
Transaction tx(tr.data(), CheckSignature::Sender);
|
||||||
txsFromRlp.push_back(tx);
|
txsFromRlp.push_back(tx);
|
||||||
}
|
}
|
||||||
|
|
||||||
cout << "size of pending transactions: " << txsFromRlp.size() << endl;
|
cout << "size of pending transactions: " << txsFromRlp.size() << endl;
|
||||||
|
|
||||||
BOOST_CHECK_MESSAGE(txsFromRlp.size() == txsFromField.size(), "transaction list size does not match");
|
BOOST_CHECK_MESSAGE(txsFromRlp.size() == txsFromField.size(), "transaction list size does not match");
|
||||||
|
|
||||||
for (size_t i = 0; i < txsFromField.size(); ++i)
|
for (size_t i = 0; i < txsFromField.size(); ++i)
|
||||||
{
|
{
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].data() == txsFromRlp[i].data(), "transaction data in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].data() == txsFromRlp[i].data(), "transaction data in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].gas() == txsFromRlp[i].gas(), "transaction gasLimit in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].gas() == txsFromRlp[i].gas(), "transaction gasLimit in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].gasPrice() == txsFromRlp[i].gasPrice(), "transaction gasPrice in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].gasPrice() == txsFromRlp[i].gasPrice(), "transaction gasPrice in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].nonce() == txsFromRlp[i].nonce(), "transaction nonce in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].nonce() == txsFromRlp[i].nonce(), "transaction nonce in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].signature().r == txsFromRlp[i].signature().r, "transaction r in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].signature().r == txsFromRlp[i].signature().r, "transaction r in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].signature().s == txsFromRlp[i].signature().s, "transaction s in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].signature().s == txsFromRlp[i].signature().s, "transaction s in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].signature().v == txsFromRlp[i].signature().v, "transaction v in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].signature().v == txsFromRlp[i].signature().v, "transaction v in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].receiveAddress() == txsFromRlp[i].receiveAddress(), "transaction receiveAddress in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].receiveAddress() == txsFromRlp[i].receiveAddress(), "transaction receiveAddress in rlp and in field do not match");
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i].value() == txsFromRlp[i].value(), "transaction receiveAddress in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i].value() == txsFromRlp[i].value(), "transaction receiveAddress in rlp and in field do not match");
|
||||||
|
|
||||||
BOOST_CHECK_MESSAGE(txsFromField[i] == txsFromRlp[i], "however, transactions in rlp and in field do not match");
|
BOOST_CHECK_MESSAGE(txsFromField[i] == txsFromRlp[i], "however, transactions in rlp and in field do not match");
|
||||||
}
|
}
|
||||||
|
|
||||||
// check uncle list
|
|
||||||
|
|
||||||
BOOST_CHECK_MESSAGE(o["uncleList"].get_array().size() == 0, "Uncle list is not empty, but the genesis block can not have uncles");
|
// check uncle list
|
||||||
|
|
||||||
|
BOOST_CHECK_MESSAGE((o["uncleList"].type() == json_spirit::null_type ? 0 : o["uncleList"].get_array().size()) == 0, "Uncle list is not empty, but the genesis block can not have uncles");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
BOOST_REQUIRE(o.count("genesisBlockHeader") > 0);
|
|
||||||
|
|
||||||
// construct RLP of the genesis block
|
|
||||||
bytes blockRLP = createBlockRLPFromFields(o["genesisBlockHeader"].get_obj());
|
|
||||||
RLP myRLP(blockRLP);
|
|
||||||
BlockInfo blockFromFields;
|
|
||||||
|
|
||||||
try
|
|
||||||
{
|
|
||||||
blockFromFields.populateFromHeader(myRLP, false);
|
|
||||||
}
|
|
||||||
catch (Exception const& _e)
|
|
||||||
{
|
|
||||||
cnote << "block construction did throw an exception: " << diagnostic_information(_e);
|
|
||||||
BOOST_ERROR("Failed block construction Test with Exception: " << _e.what());
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
catch (std::exception const& _e)
|
|
||||||
{
|
|
||||||
cnote << "block construction did throw an exception: " << _e.what();
|
|
||||||
BOOST_ERROR("Failed block construction Test with Exception: " << _e.what());
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
catch(...)
|
|
||||||
{
|
|
||||||
cnote << "block construction did throw an unknown exception\n";
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
|
|
||||||
BOOST_REQUIRE(o.count("pre") > 0);
|
|
||||||
|
|
||||||
ImportTest importer(o["pre"].get_obj());
|
|
||||||
State theState(Address(), OverlayDB(), BaseState::Empty);
|
|
||||||
importer.importState(o["pre"].get_obj(), theState);
|
|
||||||
|
|
||||||
// commit changes to DB
|
|
||||||
theState.commit();
|
|
||||||
|
|
||||||
|
|
||||||
// fillin specific --- start
|
|
||||||
|
|
||||||
BOOST_REQUIRE(o.count("transactions") > 0);
|
|
||||||
|
|
||||||
TransactionQueue txs;
|
|
||||||
|
|
||||||
for (auto const& txObj: o["transactions"].get_array())
|
|
||||||
{
|
|
||||||
mObject tx = txObj.get_obj();
|
|
||||||
BOOST_REQUIRE(tx.count("nonce") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("gasPrice") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("gasLimit") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("to") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("value") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("v") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("r") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("s") > 0);
|
|
||||||
BOOST_REQUIRE(tx.count("data") > 0);
|
|
||||||
|
|
||||||
//Transaction txFromFields(createRLPStreamFromTransactionFields(tx).out(), CheckSignature::Sender);
|
|
||||||
|
|
||||||
if (!txs.attemptImport(&createRLPStreamFromTransactionFields(tx).out()))
|
|
||||||
cnote << "failed importing transaction\n";
|
|
||||||
}
|
|
||||||
|
|
||||||
// update stateRootHash
|
|
||||||
blockFromFields.stateRoot = theState.rootHash();
|
|
||||||
cout << "root hash1: " << theState.rootHash() << endl;
|
|
||||||
|
|
||||||
// find new valid nonce
|
|
||||||
ProofOfWork pow;
|
|
||||||
MineInfo ret;
|
|
||||||
tie(ret, blockFromFields.nonce) = pow.mine(blockFromFields.headerHash(WithoutNonce), blockFromFields.difficulty, 1000, true, false);
|
|
||||||
//---stop
|
|
||||||
|
|
||||||
//update genesis block in json file
|
|
||||||
o["genesisBlockHeader"].get_obj()["stateRoot"] = toString(blockFromFields.stateRoot);
|
|
||||||
o["genesisBlockHeader"].get_obj()["nonce"] = toString(blockFromFields.nonce);
|
|
||||||
|
|
||||||
|
|
||||||
// create new "genesis" block
|
|
||||||
RLPStream rlpStream;
|
|
||||||
blockFromFields.streamRLP(rlpStream, WithNonce);
|
|
||||||
|
|
||||||
RLPStream block(3);
|
|
||||||
block.appendRaw(rlpStream.out());
|
|
||||||
block.appendRaw(RLPEmptyList);
|
|
||||||
block.appendRaw(RLPEmptyList);
|
|
||||||
|
|
||||||
blockFromFields.verifyInternals(&block.out());
|
|
||||||
|
|
||||||
// construct blockchain
|
|
||||||
BlockChain bc(block.out(), string(), true);
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
try
|
|
||||||
{
|
|
||||||
theState.sync(bc);
|
|
||||||
cout << "root hash2: " << theState.rootHash() << endl;
|
|
||||||
theState.sync(bc,txs);
|
|
||||||
cout << "root hash3: " << theState.rootHash() << endl;
|
|
||||||
theState.commitToMine(bc);
|
|
||||||
cout << "root hash4: " << theState.rootHash() << endl;
|
|
||||||
MineInfo info;
|
|
||||||
for (info.completed = false; !info.completed; info = theState.mine()) {}
|
|
||||||
cout << "root hash5: " << theState.rootHash() << endl;
|
|
||||||
theState.completeMine();
|
|
||||||
cout << "root hash6: " << theState.rootHash() << endl;
|
|
||||||
}
|
|
||||||
catch (Exception const& _e)
|
|
||||||
{
|
|
||||||
cnote << "state sync or mining did throw an exception: " << diagnostic_information(_e);
|
|
||||||
}
|
|
||||||
catch (std::exception const& _e)
|
|
||||||
{
|
|
||||||
cnote << "state sync or mining did throw an exception: " << _e.what();
|
|
||||||
}
|
|
||||||
|
|
||||||
o["rlp"] = "0x" + toHex(theState.blockData());
|
|
||||||
|
|
||||||
// write block header
|
|
||||||
|
|
||||||
mObject oBlockHeader;
|
|
||||||
BlockInfo current_BlockHeader = theState.info();
|
|
||||||
oBlockHeader["parentHash"] = toString(current_BlockHeader.parentHash);
|
|
||||||
oBlockHeader["uncleHash"] = toString(current_BlockHeader.sha3Uncles);
|
|
||||||
oBlockHeader["coinbase"] = toString(current_BlockHeader.coinbaseAddress);
|
|
||||||
oBlockHeader["stateRoot"] = toString(current_BlockHeader.stateRoot);
|
|
||||||
oBlockHeader["transactionsTrie"] = toString(current_BlockHeader.transactionsRoot);
|
|
||||||
oBlockHeader["receiptTrie"] = toString(current_BlockHeader.receiptsRoot);
|
|
||||||
oBlockHeader["bloom"] = toString(current_BlockHeader.logBloom);
|
|
||||||
oBlockHeader["difficulty"] = toString(current_BlockHeader.difficulty);
|
|
||||||
oBlockHeader["number"] = toString(current_BlockHeader.number);
|
|
||||||
oBlockHeader["gasLimit"] = toString(current_BlockHeader.gasLimit);
|
|
||||||
oBlockHeader["gasUsed"] = toString(current_BlockHeader.gasUsed);
|
|
||||||
oBlockHeader["timestamp"] = toString(current_BlockHeader.timestamp);
|
|
||||||
oBlockHeader["extraData"] = toHex(current_BlockHeader.extraData);
|
|
||||||
oBlockHeader["nonce"] = toString(current_BlockHeader.nonce);
|
|
||||||
|
|
||||||
o["blockHeader"] = oBlockHeader;
|
|
||||||
|
|
||||||
// write uncle list
|
|
||||||
|
|
||||||
mArray aUncleList; // as of now, our parent is always the genesis block, so we can not have uncles.
|
|
||||||
o["uncleHeaders"] = aUncleList;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
} }// Namespace Close
|
} }// Namespace Close
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user