Skip to content

N
nebula
Commit 633c28ae authored by Maurelian's avatar Maurelian
Browse files
Options

ctb: Format MerkleTrie.t.sol

parent 1fcd3547
Hide whitespace changes
Inline Side-by-side
Showing with 100 additions and 165 deletions
packages/contracts-bedrock/contracts/test/MerkleTrie.t.sol
View file @ 633c28ae
......@@ -10,54 +10,47 @@ contract MerkleTrie_Test is CommonTest {
bytes memory key = hex"6b6579326262";
bytes memory val = hex"6176616c32";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[1] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[
0
] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[
1
] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[2] = hex"ca83206262856176616c32";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof2_succeeds() external {
bytes32 root = 0xd582f99275e227a1cf4284899e5ff06ee56da8859be71b553397c69151bc942f;
bytes memory key = hex"6b6579316161";
bytes memory val = hex"303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
bytes
memory val = hex"303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[1] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[2] = hex"ef83206161aa303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
proof[
0
] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[
1
] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[
2
] = hex"ef83206161aa303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof3_succeeds() external {
bytes32 root = 0xf838216fa749aefa91e0b672a9c06d3e6e983f913d7107b5dab4af60b5f5abed;
bytes memory key = hex"6b6579316161";
bytes memory val = hex"303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
bytes
memory val = hex"303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
bytes[] memory proof = new bytes[](1);
proof[0] = hex"f387206b6579316161aa303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
proof[
0
] = hex"f387206b6579316161aa303132333435363738393031323334353637383930313233343536373839303132333435363738397878";
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof4_succeeds() external {
......@@ -67,33 +60,26 @@ contract MerkleTrie_Test is CommonTest {
bytes[] memory proof = new bytes[](1);
proof[0] = hex"ce87206b6579316161853031323334";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof5_succeeds() external {
bytes32 root = 0xcb65032e2f76c48b82b5c24b3db8f670ce73982869d38cd39a624f23d62a9e89;
bytes memory key = hex"6b657931";
bytes memory val = hex"30313233343536373839303132333435363738393031323334353637383930313233343536373839566572795f4c6f6e67";
bytes
memory val = hex"30313233343536373839303132333435363738393031323334353637383930313233343536373839566572795f4c6f6e67";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e68416b65793a0f3f387240403976788281c0a6ee5b3fc08360d276039d635bb824ea7e6fed779";
proof[1] = hex"f87180a034d14ccc7685aa2beb64f78b11ee2a335eae82047ef97c79b7dda7f0732b9f4ca05fb052b64e23d177131d9f32e9c5b942209eb7229e9a07c99a5d93245f53af18a09a137197a43a880648d5887cce656a5e6bbbe5e44ecb4f264395ccaddbe1acca80808080808080808080808080";
proof[2] = hex"f862808080808080a057895fdbd71e2c67c2f9274a56811ff5cf458720a7fa713a135e3890f8cafcf8808080808080808080b130313233343536373839303132333435363738393031323334353637383930313233343536373839566572795f4c6f6e67";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
proof[
0
] = hex"e68416b65793a0f3f387240403976788281c0a6ee5b3fc08360d276039d635bb824ea7e6fed779";
proof[
1
] = hex"f87180a034d14ccc7685aa2beb64f78b11ee2a335eae82047ef97c79b7dda7f0732b9f4ca05fb052b64e23d177131d9f32e9c5b942209eb7229e9a07c99a5d93245f53af18a09a137197a43a880648d5887cce656a5e6bbbe5e44ecb4f264395ccaddbe1acca80808080808080808080808080";
proof[
2
] = hex"f862808080808080a057895fdbd71e2c67c2f9274a56811ff5cf458720a7fa713a135e3890f8cafcf8808080808080808080b130313233343536373839303132333435363738393031323334353637383930313233343536373839566572795f4c6f6e67";
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof6_succeeds() external {
......@@ -101,18 +87,15 @@ contract MerkleTrie_Test is CommonTest {
bytes memory key = hex"6b657932";
bytes memory val = hex"73686f7274";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e68416b65793a0f3f387240403976788281c0a6ee5b3fc08360d276039d635bb824ea7e6fed779";
proof[1] = hex"f87180a034d14ccc7685aa2beb64f78b11ee2a335eae82047ef97c79b7dda7f0732b9f4ca05fb052b64e23d177131d9f32e9c5b942209eb7229e9a07c99a5d93245f53af18a09a137197a43a880648d5887cce656a5e6bbbe5e44ecb4f264395ccaddbe1acca80808080808080808080808080";
proof[
0
] = hex"e68416b65793a0f3f387240403976788281c0a6ee5b3fc08360d276039d635bb824ea7e6fed779";
proof[
1
] = hex"f87180a034d14ccc7685aa2beb64f78b11ee2a335eae82047ef97c79b7dda7f0732b9f4ca05fb052b64e23d177131d9f32e9c5b942209eb7229e9a07c99a5d93245f53af18a09a137197a43a880648d5887cce656a5e6bbbe5e44ecb4f264395ccaddbe1acca80808080808080808080808080";
proof[2] = hex"df808080808080c9823262856176616c338080808080808080808573686f7274";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof7_succeeds() external {
......@@ -120,18 +103,17 @@ contract MerkleTrie_Test is CommonTest {
bytes memory key = hex"6b657933";
bytes memory val = hex"31323334353637383930313233343536373839303132333435363738393031";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e68416b65793a0f3f387240403976788281c0a6ee5b3fc08360d276039d635bb824ea7e6fed779";
proof[1] = hex"f87180a034d14ccc7685aa2beb64f78b11ee2a335eae82047ef97c79b7dda7f0732b9f4ca05fb052b64e23d177131d9f32e9c5b942209eb7229e9a07c99a5d93245f53af18a09a137197a43a880648d5887cce656a5e6bbbe5e44ecb4f264395ccaddbe1acca80808080808080808080808080";
proof[2] = hex"f839808080808080c9823363856176616c338080808080808080809f31323334353637383930313233343536373839303132333435363738393031";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
proof[
0
] = hex"e68416b65793a0f3f387240403976788281c0a6ee5b3fc08360d276039d635bb824ea7e6fed779";
proof[
1
] = hex"f87180a034d14ccc7685aa2beb64f78b11ee2a335eae82047ef97c79b7dda7f0732b9f4ca05fb052b64e23d177131d9f32e9c5b942209eb7229e9a07c99a5d93245f53af18a09a137197a43a880648d5887cce656a5e6bbbe5e44ecb4f264395ccaddbe1acca80808080808080808080808080";
proof[
2
] = hex"f839808080808080c9823363856176616c338080808080808080809f31323334353637383930313233343536373839303132333435363738393031";
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof8_succeeds() external {
......@@ -143,14 +125,7 @@ contract MerkleTrie_Test is CommonTest {
proof[1] = hex"d780c22061c22062c2206380808080808080808080808080";
proof[2] = hex"c22061";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof9_succeeds() external {
......@@ -162,14 +137,7 @@ contract MerkleTrie_Test is CommonTest {
proof[1] = hex"d780c22061c22062c2206380808080808080808080808080";
proof[2] = hex"c22062";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_validProof10_succeeds() external {
......@@ -181,44 +149,35 @@ contract MerkleTrie_Test is CommonTest {
proof[1] = hex"d780c22061c22062c2206380808080808080808080808080";
proof[2] = hex"c22063";
assertEq(
val,
MerkleTrie.get(
key,
proof,
root
)
);
assertEq(val, MerkleTrie.get(key, proof, root));
}
function test_get_nonexistentKey1_reverts() external {
bytes32 root = 0xd582f99275e227a1cf4284899e5ff06ee56da8859be71b553397c69151bc942f;
bytes memory key = hex"6b657932";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[1] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[
0
] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[
1
] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[2] = hex"ca83206262856176616c32";
vm.expectRevert("MerkleTrie: path remainder must share all nibbles with key");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_nonexistentKey2_reverts() external {
bytes32 root = 0xd582f99275e227a1cf4284899e5ff06ee56da8859be71b553397c69151bc942f;
bytes memory key = hex"616e7972616e646f6d6b6579";
bytes[] memory proof = new bytes[](1);
proof[0] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[
0
] = hex"e68416b65793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
vm.expectRevert("MerkleTrie: path remainder must share all nibbles with key");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_wrongKeyProof_reverts() external {
......@@ -226,15 +185,13 @@ contract MerkleTrie_Test is CommonTest {
bytes memory key = hex"6b6579316161";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e216a04892c039d654f1be9af20e88ae53e9ab5fa5520190e0fb2f805823e45ebad22f";
proof[1] = hex"f84780d687206e6f746865728d33343938683472697568677765808080808080808080a0854405b57aa6dc458bc41899a761cbbb1f66a4998af6dd0e8601c1b845395ae38080808080";
proof[
1
] = hex"f84780d687206e6f746865728d33343938683472697568677765808080808080808080a0854405b57aa6dc458bc41899a761cbbb1f66a4998af6dd0e8601c1b845395ae38080808080";
proof[2] = hex"d687206e6f746865728d33343938683472697568677765";
vm.expectRevert("MerkleTrie: invalid internal node hash");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_corruptedProof_reverts() external {
......@@ -242,17 +199,19 @@ contract MerkleTrie_Test is CommonTest {
bytes memory key = hex"6b6579326262";
bytes[] memory proof = new bytes[](5);
proof[0] = hex"2fd2ba5ee42358802ffbe0900152a55fabe953ae880ef29abef154d639c09248a016e2";
proof[1] = hex"f84780d687206e6f746865728d33343938683472697568677765808080808080808080a0854405b57aa6dc458bc41899a761cbbb1f66a4998af6dd0e8601c1b845395ae38080808080";
proof[2] = hex"e583165793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[3] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[
1
] = hex"f84780d687206e6f746865728d33343938683472697568677765808080808080808080a0854405b57aa6dc458bc41899a761cbbb1f66a4998af6dd0e8601c1b845395ae38080808080";
proof[
2
] = hex"e583165793a03101b4447781f1e6c51ce76c709274fc80bd064f3a58ff981b6015348a826386";
proof[
3
] = hex"f84580a0582eed8dd051b823d13f8648cdcd08aa2d8dac239f458863c4620e8c4d605debca83206262856176616c32ca83206363856176616c3380808080808080808080808080";
proof[4] = hex"ca83206262856176616c32";
vm.expectRevert("RLPReader: decoded item type for list is not a list item");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_invalidDataRemainder_reverts() external {
......@@ -264,11 +223,7 @@ contract MerkleTrie_Test is CommonTest {
proof[2] = hex"c32081aa000000000000000000000000000000";
vm.expectRevert("RLPReader: list item has an invalid data remainder");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_invalidInternalNodeHash_reverts() external {
......@@ -276,15 +231,13 @@ contract MerkleTrie_Test is CommonTest {
bytes memory key = hex"aa";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e21aa09862c6b113008c4204c13755693cbb868acc25ebaa98db11df8c89a0c0dd3157";
proof[1] = hex"f380808080808080808080a0de2a9c6a46b6ea71ab9e881c8420570cf19e833c85df6026b04f085016e78f00c220118080808080";
proof[
1
] = hex"f380808080808080808080a0de2a9c6a46b6ea71ab9e881c8420570cf19e833c85df6026b04f085016e78f00c220118080808080";
proof[2] = hex"de2a9c6a46b6ea71ab9e881c8420570cf19e833c85df6026b04f085016e78f";
vm.expectRevert("MerkleTrie: invalid internal node hash");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_zeroBranchValueLength_reverts() external {
......@@ -295,11 +248,7 @@ contract MerkleTrie_Test is CommonTest {
proof[1] = hex"d98080808080808080808080c43b82aabbc43c82aacc80808080";
vm.expectRevert("MerkleTrie: value length must be greater than zero (branch)");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_zeroLengthKey_reverts() external {
......@@ -309,11 +258,7 @@ contract MerkleTrie_Test is CommonTest {
proof[0] = hex"c78320f00082b443";
vm.expectRevert("MerkleTrie: path remainder must share all nibbles with key");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_smallerPathThanKey1_reverts() external {
......@@ -325,11 +270,7 @@ contract MerkleTrie_Test is CommonTest {
proof[2] = hex"c582202381aa";
vm.expectRevert("MerkleTrie: path remainder must share all nibbles with key");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_smallerPathThanKey2_reverts() external {
......@@ -337,15 +278,13 @@ contract MerkleTrie_Test is CommonTest {
bytes memory key = hex"aa";
bytes[] memory proof = new bytes[](3);
proof[0] = hex"e21aa07ea462226a3dc0a46afb4ded39306d7a84d311ada3557dfc75a909fd25530905";
proof[1] = hex"f380808080808080808080a027f11bd3af96d137b9287632f44dd00fea1ca1bd70386c30985ede8cc287476e808080c220338080";
proof[
1
] = hex"f380808080808080808080a027f11bd3af96d137b9287632f44dd00fea1ca1bd70386c30985ede8cc287476e808080c220338080";
proof[2] = hex"e48200bba0a6911545ed01c2d3f4e15b8b27c7bfba97738bd5e6dd674dd07033428a4c53af";
vm.expectRevert("MerkleTrie: path remainder must share all nibbles with key");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
function test_get_extraProofElements_reverts() external {
......@@ -358,10 +297,6 @@ contract MerkleTrie_Test is CommonTest {
proof[3] = hex"c32081aa";
vm.expectRevert("MerkleTrie: value node must be last node in proof (leaf)");
MerkleTrie.get(
key,
proof,
root
);
MerkleTrie.get(key, proof, root);
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment