2023-11-01 03:32:09 +00:00
|
|
|
# Nimbus
|
2024-02-23 09:17:24 +00:00
|
|
|
# Copyright (c) 2019-2024 Status Research & Development GmbH
|
2023-11-01 03:32:09 +00:00
|
|
|
# Licensed under either of
|
|
|
|
# * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0)
|
|
|
|
# * MIT license ([LICENSE-MIT](LICENSE-MIT) or
|
|
|
|
# http://opensource.org/licenses/MIT)
|
|
|
|
# at your option. This file may not be copied, modified, or distributed except
|
|
|
|
# according to those terms.
|
|
|
|
|
2021-05-13 09:01:58 +00:00
|
|
|
import
|
|
|
|
std/[os],
|
2022-12-02 04:39:12 +00:00
|
|
|
unittest2,
|
|
|
|
../nimbus/config,
|
|
|
|
../nimbus/common/common
|
2018-08-01 12:50:44 +00:00
|
|
|
|
No ext update (#2494)
* Imported/rebase from `no-ext`, PR #2485
Store extension nodes together with the branch
Extension nodes must be followed by a branch - as such, it makes sense
to store the two together both in the database and in memory:
* fewer reads, writes and updates to traverse the tree
* simpler logic for maintaining the node structure
* less space used, both memory and storage, because there are fewer
nodes overall
There is also a downside: hashes can no longer be cached for an
extension - instead, only the extension+branch hash can be cached - this
seems like a fine tradeoff since computing it should be fast.
TODO: fix commented code
* Fix merge functions and `toNode()`
* Update `merkleSignCommit()` prototype
why:
Result is always a 32bit hash
* Update short Merkle hash key generation
details:
Ethereum reference MPTs use Keccak hashes as node links if the size of
an RLP encoded node is at least 32 bytes. Otherwise, the RLP encoded
node value is used as a pseudo node link (rather than a hash.) This is
specified in the yellow paper, appendix D.
Different to the `Aristo` implementation, the reference MPT would not
store such a node on the key-value database. Rather the RLP encoded node value is stored instead of a node link in a parent node
is stored as a node link on the parent database.
Only for the root hash, the top level node is always referred to by the
hash.
* Fix/update `Extension` sections
why:
Were commented out after removal of a dedicated `Extension` type which
left the system disfunctional.
* Clean up unused error codes
* Update unit tests
* Update docu
---------
Co-authored-by: Jacek Sieka <jacek@status.im>
2024-07-16 19:47:59 +00:00
|
|
|
#import ../nimbus/db/aristo/aristo_debug
|
|
|
|
|
|
|
|
|
2022-02-11 16:28:39 +00:00
|
|
|
const
|
2022-03-16 09:13:17 +00:00
|
|
|
baseDir = [".", "tests", ".."/"tests", $DirSep] # path containg repo
|
|
|
|
repoDir = [".", "customgenesis"] # alternative repo paths
|
2022-02-11 16:28:39 +00:00
|
|
|
|
|
|
|
proc findFilePath(file: string): string =
|
|
|
|
result = "?unknown?" / file
|
|
|
|
for dir in baseDir:
|
|
|
|
for repo in repoDir:
|
|
|
|
let path = dir / repo / file
|
|
|
|
if path.fileExists:
|
|
|
|
return path
|
2021-05-13 09:01:58 +00:00
|
|
|
|
2022-12-02 04:39:12 +00:00
|
|
|
proc makeGenesis(networkId: NetworkId): BlockHeader =
|
2024-02-23 09:17:24 +00:00
|
|
|
let com = CommonRef.new(newCoreDbRef DefaultDbMemory, params = networkParams(networkId))
|
No ext update (#2494)
* Imported/rebase from `no-ext`, PR #2485
Store extension nodes together with the branch
Extension nodes must be followed by a branch - as such, it makes sense
to store the two together both in the database and in memory:
* fewer reads, writes and updates to traverse the tree
* simpler logic for maintaining the node structure
* less space used, both memory and storage, because there are fewer
nodes overall
There is also a downside: hashes can no longer be cached for an
extension - instead, only the extension+branch hash can be cached - this
seems like a fine tradeoff since computing it should be fast.
TODO: fix commented code
* Fix merge functions and `toNode()`
* Update `merkleSignCommit()` prototype
why:
Result is always a 32bit hash
* Update short Merkle hash key generation
details:
Ethereum reference MPTs use Keccak hashes as node links if the size of
an RLP encoded node is at least 32 bytes. Otherwise, the RLP encoded
node value is used as a pseudo node link (rather than a hash.) This is
specified in the yellow paper, appendix D.
Different to the `Aristo` implementation, the reference MPT would not
store such a node on the key-value database. Rather the RLP encoded node value is stored instead of a node link in a parent node
is stored as a node link on the parent database.
Only for the root hash, the top level node is always referred to by the
hash.
* Fix/update `Extension` sections
why:
Were commented out after removal of a dedicated `Extension` type which
left the system disfunctional.
* Clean up unused error codes
* Update unit tests
* Update docu
---------
Co-authored-by: Jacek Sieka <jacek@status.im>
2024-07-16 19:47:59 +00:00
|
|
|
#debugEcho pp(com.db.defCtx.mpt)
|
2022-12-02 04:39:12 +00:00
|
|
|
com.genesisHeader
|
|
|
|
|
2021-05-13 09:01:58 +00:00
|
|
|
proc genesisTest() =
|
2019-09-21 05:45:23 +00:00
|
|
|
suite "Genesis":
|
|
|
|
test "Correct mainnet hash":
|
2022-12-02 04:39:12 +00:00
|
|
|
let b = makeGenesis(MainNet)
|
2019-09-21 05:45:23 +00:00
|
|
|
check(b.blockHash == "D4E56740F876AEF8C010B86A40D5F56745A118D0906A34E69AEC8C0DB1CB8FA3".toDigest)
|
2020-04-09 10:06:08 +00:00
|
|
|
|
2022-07-01 20:16:26 +00:00
|
|
|
test "Correct sepolia hash":
|
2022-12-02 04:39:12 +00:00
|
|
|
let b = makeGenesis(SepoliaNet)
|
2022-07-01 20:16:26 +00:00
|
|
|
check b.blockHash == "25a5cc106eea7138acab33231d7160d69cb777ee0c2c553fcddf5138993e6dd9".toDigest
|
|
|
|
|
2023-10-25 06:27:55 +00:00
|
|
|
test "Correct holesky hash":
|
|
|
|
let b = makeGenesis(HoleskyNet)
|
|
|
|
check b.blockHash == "b5f7f912443c940f21fd611f12828d75b534364ed9e95ca4e307729a4661bde4".toDigest
|
|
|
|
check b.stateRoot == "69D8C9D72F6FA4AD42D4702B433707212F90DB395EB54DC20BC85DE253788783".toDigest
|
|
|
|
|
2021-05-13 09:01:58 +00:00
|
|
|
proc customGenesisTest() =
|
|
|
|
suite "Custom Genesis":
|
|
|
|
test "loadCustomGenesis":
|
2021-09-16 15:59:46 +00:00
|
|
|
var cga, cgb, cgc: NetworkParams
|
2022-02-11 16:28:39 +00:00
|
|
|
check loadNetworkParams("berlin2000.json".findFilePath, cga)
|
|
|
|
check loadNetworkParams("chainid7.json".findFilePath, cgb)
|
|
|
|
check loadNetworkParams("noconfig.json".findFilePath, cgc)
|
2022-12-02 04:39:12 +00:00
|
|
|
check cga.config.consensusType == ConsensusType.POW
|
|
|
|
check cgb.config.consensusType == ConsensusType.POW
|
|
|
|
check cgc.config.consensusType == ConsensusType.POW
|
2021-08-05 05:12:45 +00:00
|
|
|
|
2022-03-16 09:13:17 +00:00
|
|
|
test "Devnet4.json (aka Kintsugi in all but chainId)":
|
2022-02-11 16:28:39 +00:00
|
|
|
var cg: NetworkParams
|
2022-03-16 09:13:17 +00:00
|
|
|
check loadNetworkParams("devnet4.json".findFilePath, cg)
|
2024-02-23 09:17:24 +00:00
|
|
|
let com = CommonRef.new(newCoreDbRef DefaultDbMemory, params = cg)
|
2022-02-11 16:28:39 +00:00
|
|
|
let stateRoot = "3b84f313bfd49c03cc94729ade2e0de220688f813c0c895a99bd46ecc9f45e1e".toDigest
|
|
|
|
let genesisHash = "a28d8d73e087a01d09d8cb806f60863652f30b6b6dfa4e0157501ff07d422399".toDigest
|
2022-12-02 04:39:12 +00:00
|
|
|
check com.genesisHeader.stateRoot == stateRoot
|
|
|
|
check com.genesisHeader.blockHash == genesisHash
|
|
|
|
check com.consensus == ConsensusType.POW
|
2022-02-11 16:28:39 +00:00
|
|
|
|
2022-03-16 09:13:17 +00:00
|
|
|
test "Devnet5.json (aka Kiln in all but chainId and TTD)":
|
|
|
|
var cg: NetworkParams
|
|
|
|
check loadNetworkParams("devnet5.json".findFilePath, cg)
|
2024-02-23 09:17:24 +00:00
|
|
|
let com = CommonRef.new(newCoreDbRef DefaultDbMemory, params = cg)
|
2022-03-16 09:13:17 +00:00
|
|
|
let stateRoot = "52e628c7f35996ba5a0402d02b34535993c89ff7fc4c430b2763ada8554bee62".toDigest
|
|
|
|
let genesisHash = "51c7fe41be669f69c45c33a56982cbde405313342d9e2b00d7c91a7b284dd4f8".toDigest
|
2022-12-02 04:39:12 +00:00
|
|
|
check com.genesisHeader.stateRoot == stateRoot
|
|
|
|
check com.genesisHeader.blockHash == genesisHash
|
|
|
|
check com.consensus == ConsensusType.POW
|
2022-03-16 09:13:17 +00:00
|
|
|
|
2022-05-06 08:02:28 +00:00
|
|
|
test "Mainnet shadow fork 1":
|
|
|
|
var cg: NetworkParams
|
|
|
|
check loadNetworkParams("mainshadow1.json".findFilePath, cg)
|
2024-02-23 09:17:24 +00:00
|
|
|
let com = CommonRef.new(newCoreDbRef DefaultDbMemory, params = cg)
|
2022-05-06 08:02:28 +00:00
|
|
|
let stateRoot = "d7f8974fb5ac78d9ac099b9ad5018bedc2ce0a72dad1827a1709da30580f0544".toDigest
|
|
|
|
let genesisHash = "d4e56740f876aef8c010b86a40d5f56745a118d0906a34e69aec8c0db1cb8fa3".toDigest
|
|
|
|
let ttd = "46_089_003_871_917_200_000_000".parse(Uint256)
|
2022-12-02 04:39:12 +00:00
|
|
|
check com.genesisHeader.stateRoot == stateRoot
|
|
|
|
check com.genesisHeader.blockHash == genesisHash
|
|
|
|
check com.ttd.get == ttd
|
|
|
|
check com.consensus == ConsensusType.POW
|
2022-05-06 08:02:28 +00:00
|
|
|
|
2023-11-29 02:03:19 +00:00
|
|
|
test "Geth shadow fork 1":
|
|
|
|
# parse using geth format should produce the same result with nimbus format
|
|
|
|
var cg: NetworkParams
|
|
|
|
check loadNetworkParams("geth_mainshadow1.json".findFilePath, cg)
|
2024-02-23 09:17:24 +00:00
|
|
|
let com = CommonRef.new(newCoreDbRef DefaultDbMemory, params = cg)
|
2023-11-29 02:03:19 +00:00
|
|
|
let stateRoot = "d7f8974fb5ac78d9ac099b9ad5018bedc2ce0a72dad1827a1709da30580f0544".toDigest
|
|
|
|
let genesisHash = "d4e56740f876aef8c010b86a40d5f56745a118d0906a34e69aec8c0db1cb8fa3".toDigest
|
|
|
|
let ttd = "46_089_003_871_917_200_000_000".parse(Uint256)
|
|
|
|
check com.genesisHeader.stateRoot == stateRoot
|
|
|
|
check com.genesisHeader.blockHash == genesisHash
|
|
|
|
check com.ttd.get == ttd
|
|
|
|
check com.consensus == ConsensusType.POW
|
|
|
|
check cg.config.mergeNetsplitBlock.isSome
|
2024-06-14 07:31:08 +00:00
|
|
|
check cg.config.mergeNetsplitBlock.get == 14660963.BlockNumber
|
2023-11-29 02:03:19 +00:00
|
|
|
check cg.config.mergeNetsplitBlock == cg.config.mergeForkBlock
|
|
|
|
|
2023-10-25 06:27:55 +00:00
|
|
|
test "Holesky":
|
|
|
|
var cg: NetworkParams
|
|
|
|
check loadNetworkParams("holesky.json".findFilePath, cg)
|
2024-02-23 09:17:24 +00:00
|
|
|
let com = CommonRef.new(newCoreDbRef DefaultDbMemory, params = cg)
|
2023-10-25 06:27:55 +00:00
|
|
|
let stateRoot = "69D8C9D72F6FA4AD42D4702B433707212F90DB395EB54DC20BC85DE253788783".toDigest
|
|
|
|
let genesisHash = "b5f7f912443c940f21fd611f12828d75b534364ed9e95ca4e307729a4661bde4".toDigest
|
|
|
|
check com.genesisHeader.stateRoot == stateRoot
|
|
|
|
check com.genesisHeader.blockHash == genesisHash
|
|
|
|
check com.chainId == 17000.ChainId
|
|
|
|
|
2023-11-29 02:03:19 +00:00
|
|
|
test "Geth Holesky":
|
|
|
|
# parse using geth format should produce the same result with nimbus format
|
|
|
|
var cg: NetworkParams
|
|
|
|
check loadNetworkParams("geth_holesky.json".findFilePath, cg)
|
2024-02-23 09:17:24 +00:00
|
|
|
let com = CommonRef.new(newCoreDbRef DefaultDbMemory, params = cg)
|
2023-11-29 02:03:19 +00:00
|
|
|
let stateRoot = "69D8C9D72F6FA4AD42D4702B433707212F90DB395EB54DC20BC85DE253788783".toDigest
|
|
|
|
let genesisHash = "b5f7f912443c940f21fd611f12828d75b534364ed9e95ca4e307729a4661bde4".toDigest
|
|
|
|
check com.genesisHeader.stateRoot == stateRoot
|
|
|
|
check com.genesisHeader.blockHash == genesisHash
|
|
|
|
check com.chainId == 17000.ChainId
|
|
|
|
|
2021-05-13 09:01:58 +00:00
|
|
|
proc genesisMain*() =
|
|
|
|
genesisTest()
|
|
|
|
customGenesisTest()
|
|
|
|
|
2020-04-09 10:06:08 +00:00
|
|
|
when isMainModule:
|
2022-05-06 08:02:28 +00:00
|
|
|
genesisTest()
|
|
|
|
customGenesisTest()
|