Add testcase for gindex overflow

commonprefix · Jan 23, 2024 · 02d052d · 02d052d
1 parent 8d10416
commit 02d052d
Showing 1 changed file with 136 additions and 0 deletions.
diff --git a/contracts/light-client/testdata/verification/overflow_gindex.json b/contracts/light-client/testdata/verification/overflow_gindex.json
@@ -0,0 +1,136 @@
+{
+  "update": {
+    "Optimistic": {
+      "attested_header": {
+        "beacon": {
+          "slot": "7452261",
+          "proposer_index": "159323",
+          "parent_root": "0x22a3bf64cd76a3d9bd64f04a1ba1a06ded2a920569c26a7c0e98f94904af8daf",
+          "state_root": "0xfd74a213fac9a117b1393930ee5bf0fc9a54ca05694b04bddcdc16f233569794",
+          "body_root": "0xc1d694a23780d231290c70a0ea9efa8468d2e876fdf6e01eb6af4f1e3078ffc5"
+        }
+      },
+      "sync_aggregate": {
+        "sync_committee_bits": "0xfbdbfefeb5dfefdffcfe6afffd67dffed1903c36fd3bfff4ebfbc3f932efd7ffacefffdfa67e7ff9eff6e1ff5fa9fbe3f7f4ff3fde4fa7e9fbd6df2bfbf75bcf",
+        "sync_committee_signature": "0x98a17dab4052f391eb9c9b974f290f63165d4d35550831ef339871df38ed8142a9dff1fc664b86ba36e6c7a5b90ff3231695f4fb9d82a5ac1472dca8052a1d6ab669495aecb5128a999d31100d7b6a1d87f2f176efb00942827866b992c9131a"
+      },
+      "signature_slot": "7452263"
+    }
+  },
+  "target_blocks": [
+    {
+      "ancestry_proof": {
+        "BlockRoots": {
+          "block_roots_index": 308414,
+          "block_root_proof": [
+            "0x23199139d76b98d9401516e25b07ef3e934a7d91409030d255206c25bab24972",
+            "0xd5b592f8f6cf7c9316d0447292dbc0c7bfff24557b302acc86a7491c64a739ec",
+            "0xc44013132bbee2e7f742168c91313849e1018f6601dc72050b1a1c1d50564c59",
+            "0x82d49c44f2c387b6ba764c870dd01c908988bfb530ce05a63687e62f098864e3",
+            "0x08c360ed50b2239da9e7fc6c00af34e7059b750f9c302dcc05e8cc20d3ed688e",
+            "0x18762ded5ea3685f04e27dad39bcd14fbb45d45e3e4e465162c8b0f1f0614cc2",
+            "0xad431e02678950d14d8bcf0aba6389331e56e84fc1311f4d4690ad60e9aebf01",
+            "0xb56088d6074c046d5e8aca4e01a003bf685a85fcb31cea9aca55cfb30c35b475",
+            "0xe7d4f1a255223026cfb5f2fb7638156fcc6655318ffb2cb26ea7f6fe1d0e73f5",
+            "0x3191ef98ac0d084ae2bb02fade694bb649bc21ac128772d03c81b382ee5ef24d",
+            "0x58d35074b016b4bbb2c966d496493f6036300ab738a9b513126073bdc1581dec",
+            "0xc0cdb75cb02622517b1eb2aefb48570d9b392054f9d6aa96f2383e4dc47b0555",
+            "0xd2e283b6889f71070839c2e16d05fd6ce393804ba51d2438c29227e08a4785eb",
+            "0x65164689493705a0f358d6c888de408024d8f2c058cebf819c169f63ca1bf73b",
+            "0x1afc419f3aea084556236f94d2f08b0bcc8b501ba77b1f2aba7704299c4916df",
+            "0x556252dd1ead2ea25fc7b883a7b7ab19dbf34790adde986afcf6b3a34dd21289",
+            "0x5c15dabc064ec22f3a63557b1914f0c47140acfef5cfda49f23d55914d047849",
+            "0xa7612b9afa1596e51374c61046c70c58e928500acf6d1226aa692ab1c590184c"
+          ]
+        }
+      },
+      "target_block": {
+        "slot": "7451838",
+        "proposer_index": "295601",
+        "parent_root": "0xf2454da8e8f869b763539691045f458158430df57ad2a4c25f54d64c254b9efb",
+        "state_root": "0xba326c5a0f6e146fcbd7a4ed28ef62b34f1ea21c5147c517120e645dda3cfc40",
+        "body_root": "0xd35a2528be9be2cb23cb857d512a46786d93b8a5486ab8dc20e2ede598015c13"
+      },
+      "transactions_proofs": [
+        {
+          "transaction_proof": {
+            "transaction_index": 5,
+            "transaction_gindex": 13516144645,
+            "transaction_proof": [
+              "0xa7e84a12910806e99bd99f38e9f2705ba67e32847c1b145cd80470b6bf79672e",
+              "0xa773d4b4c7289e9daa7716f9efe32b551a0a4cdac4ceae3b3800fd9b7345b45d",
+              "0x1d1f312d0cd1a2a78ea80489b58b52c722a18a6f87a123e4426eed50a291ff57",
+              "0x086c85f6194405e7d3efd8100cf13a57fafe4a89977eebeee3add317bd139f0d",
+              "0x43ade90e5947506199694ef8c77b11cc517d651e7facbf78dc3805b0ecfe0fa9",
+              "0x6c9da5199d525ff25993afb9e44d951dd1ab1c447245d780f9b7f4ac321fd08b",
+              "0xfd9e9c618b1287b4fa698a66359534be77dc83eaaad13001e37ab525db95d90b",
+              "0x87eb0ddba57e35f6d286673802a4af5975e22506c7cf4c64bb6be5ee11527f2c",
+              "0x26846476fd5fc54a5d43385167c95144f2643f533cc85bb9d16b782f8d7db193",
+              "0x506d86582d252405b840018792cad2bf1259f1ef5aa5f887e13cb2f0094f51e1",
+              "0xffff0ad7e659772f9534c195c815efc4014ef1e1daed4404c06385d11192e92b",
+              "0x6cf04127db05441cd833107a52be852868890e4317e6a02ab47683aa75964220",
+              "0xb7d05f875f140027ef5118a2247bbb84ce8f2f0f1123623085daf7960c329f5f",
+              "0xdf6af5f5bbdb6be9ef8aa618e4bf8073960867171e29676f8b284dea6a08a85e",
+              "0xb58d900f5e182e3c50ef74969ea16c7726c549757cc23523c369587da7293784",
+              "0xd49a7502ffcfb0340b1d7885688500ca308161a7f96b62df9d083b71fcc8f2bb",
+              "0x8fe6b1689256c0d385f42f5bbe2027a22c1996e110ba97c171d3e5948de92beb",
+              "0x8d0d63c39ebade8509e0ae3c9c3876fb5fa112be18f905ecacfecb92057603ab",
+              "0x95eec8b2e541cad4e91de38385f2e046619f54496c2382cb6cacd5b98c26f5a4",
+              "0xf893e908917775b62bff23294dbbe3a1cd8e6cc1c35b4801887b646a6f81f17f",
+              "0x4100000000000000000000000000000000000000000000000000000000000000",
+              "0xf9221b5c7979d266cb8f9194ab406897249a2b3cfa63bdb193536a891f7dbc15",
+              "0x6e138b5aa15d682d97781d7104916e5d75f9551c83c47f51fbefc0851edecb80",
+              "0x396b12e2e8d68511b7ab1d56fcc82209f1f1c8769cd3a70b3c332482fffcb0b9",
+              "0xd31fbfd827e55990b9d91c5ba509e1517aafd7bf00e004b4de70e98099d80abb",
+              "0x0ddca48db0301c04b8addf8a3bf203935cf339c0a065620a04aac6ca01dcfdcb",
+              "0x460b23193bf0749e97587b68a2e60226c44e59f9cfcd456d8340c033f3d672c3",
+              "0x0e59a4bb99bd6b1aecda3b3d05ae6820e724b5988cfce1072c9119c8764c491a",
+              "0xdb56114e00fdd4c1f85c892bf35ac9a89289aaecb1ebd0a96cde606a748b5d71",
+              "0x4795a937d69b0a00ea83e2bdfd7aee9373f15362fc81a126ff9c7ad01aea0a1d",
+              "0x0000000000000000000000000000000000000000000000000000000000000000",
+              "0xf5a5fd42d16a20302798ef6ed309979b43003d2320d9f0e8ea9831a92759fb4b",
+              "0xfd7f4b10e33dfacec523eb70de16fc37b37cf442087fe698e99eb9afb9441f99"
+            ],
+            "transaction": "0x02f901f2053885010c388d0585010c388d11828f9e94557b0dc16d07cb297412a7da40a48615f755976580b901845ccff740000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001400000000000000000000000000000000000000000000000000000000000000007706f6c79676f6e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000013746869732069732074686520616464726573730000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077061796c6f61640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000096f70657261746f72730000000000000000000000000000000000000000000000c001a0770bf9e9cb4e086f67f36b0ae2e46b21ae4e5e6cd94db357aa0e1fe599fb494ca0495d04863e7432122a1c8e1c9038648fa73ba91df5748df10f381a6c96d628fc"
+          },
+          "receipt_proof": {
+            "receipts_root_proof": [
+              "0x4af44b8638d7a6ee54bcb240f8e8c0da2634d685c909a683eae23aed208a5087",
+              "0x517994483da926167653a911aa19f541a01f720d6acac9f4fcecdb0011824d76",
+              "0x2f443f7f515b5aa2937e01254f09c5e301389dff18c63aaf65f5bb8129478042",
+              "0x34a741f7d7b56e05bae3bfd4afc0f35a9a21b5df8472852c738693d81174c525",
+              "0x0ddca48db0301c04b8addf8a3bf203935cf339c0a065620a04aac6ca01dcfdcb",
+              "0x460b23193bf0749e97587b68a2e60226c44e59f9cfcd456d8340c033f3d672c3",
+              "0x0e59a4bb99bd6b1aecda3b3d05ae6820e724b5988cfce1072c9119c8764c491a",
+              "0xdb56114e00fdd4c1f85c892bf35ac9a89289aaecb1ebd0a96cde606a748b5d71",
+              "0x4795a937d69b0a00ea83e2bdfd7aee9373f15362fc81a126ff9c7ad01aea0a1d",
+              "0x0000000000000000000000000000000000000000000000000000000000000000",
+              "0xf5a5fd42d16a20302798ef6ed309979b43003d2320d9f0e8ea9831a92759fb4b",
+              "0xfd7f4b10e33dfacec523eb70de16fc37b37cf442087fe698e99eb9afb9441f99"
+            ],
+            "receipt_proof": [
+              "f8d1a02f8d322235cc4b6dfeb5f5a1eb1fef5b834a56508c2d129a0a5d56a4c97fc9e1a0fccd9b42a682df513ba06bf72f0531d7085d9854d57dc6e4d01c688ae62d742ca053bdbb5fb7046e07071d257749edc4400495763adff4432fef992267d9a00e72a0aa0d7c8fddc69d360051ba6c5adf28002ec39926b76460a5d1e3286ffeb9737aa0691e140068f018beb7eaf2099713f71aa18220737214882942040a8daa826672808080a04c8bd3a22cce5d17333b17abc50d8610757b6e8ba78322db1e0c42dedb7937098080808080808080",
+              "f901f180a086ef76dcf7acdbdb4c8c9facefc0aa40fbdfc8c0f78d6d8a6395a6025f955dd5a09def827584a51571ce3341e45a7bebe03a6dbae4622a2c02653e695bb4b6590da0b0760ec45f41688553be0e755067d3dc8a71057ecbc6698ec27fa34b2d205795a0b9c79dbe4764df68053ba341db3ab34027c88d52a973aa0ac4900b0a859f17a3a06e5fb5d47cdc5247cfddf1abd3dcc9c2c43ea771e3f6a077580661c8044ba272a027251e98717b9dcf42e5084b3ab0be72be22d4d4e974b937349c1375dad7a756a0997e7f22af13fa9ff88479607c07841f4310e14f1534bd474ae50bda4a2f5381a0733b1933ffda19d74b1492b58b2834b0f61b6137322b328c9494744d86ec856aa0b91807a31cd47d209272655a5ed4d7e543710bf82b6f9dd7bea18d72c152690ca0f7c88595ad670e072d49d2e258cfd8ed2667bccb40b1f74c17b361ee3ae4bca2a0123b754110c5750794712084ebaaee7ea1aa6d77197d9b0ddf8df3b72a24383fa00401b81aeb2bb06d3b6417236f1df5b3cafa0fa3017e49b6142b1a8a350f1e63a02dda7fe58a6fe4c9f19992a51602c1a90a0bfbf59e78055696d2780f862f30e8a0710709c207ff9575d1b6432dc7e28ab6890205b36917bc75ec184029b30c137ca0258e7d4752aad4442c1a696ef442cf9fa7965801bae2bbf9dcac5eb50c43413e80",
+              "f9056e20b9056a02f9056601830790a4b9010000000000000000000000000004000000000000000000800000000000000000088000000000000000000000000000000000020000000000000000400000000000100100000000000000000000000000000000000000000000000000000001000000000000040000000000000100000040000000000000000000000000400080000000000000000000000000000000010000000000002000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000f9045bf9019d94557b0dc16d07cb297412a7da40a48615f7559765f863a030ae6cc78c27e651745bf2ad08a11de83910ac1e347a52f7ac898c0fbef94daea0000000000000000000000000c55ad3ddb386335d5af33823e3a845c0dbd4455ca0ebc84cbd75ba5516bf45e7024a9e12bc3c5c880f73e3a5beca7ebba52b2867a7b90120000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000007706f6c79676f6e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000013746869732069732074686520616464726573730000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077061796c6f616400000000000000000000000000000000000000000000000000f9021d94557b0dc16d07cb297412a7da40a48615f7559765f863a07e50569d26be643bda7757722291ec66b1be66d8283474ae3fab5a98f878a7a2a0000000000000000000000000c55ad3ddb386335d5af33823e3a845c0dbd4455ca0ebc84cbd75ba5516bf45e7024a9e12bc3c5c880f73e3a5beca7ebba52b2867a7b901a000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000160000000000000000000000000000000000000000000000000000000000000000a0000000000000000000000000000000000000000000000000000000000000007706f6c79676f6e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000013746869732069732074686520616464726573730000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077061796c6f61640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034555520000000000000000000000000000000000000000000000000000000000f89994557b0dc16d07cb297412a7da40a48615f7559765e1a0192e759e55f359cd9832b5c0c6e38e4b6df5c5ca33f3bd5c90738e865a521872b860000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000096f70657261746f72730000000000000000000000000000000000000000000000"
+            ],
+            "receipts_root": "0x06805bfb1c8b257bd3c08920aa575f347cdbecfcef8aa8b97bd53837c7d5b6ac"
+          },
+          "content": [
+            {
+              "Message": {
+                "cc_id": {
+                  "chain": "ethereum",
+                  "id": "0x2a32da7a232eacc5bbe136a2dfac9e40a0e37ca3b1c4860654770f72c100997e:0"
+                },
+                "source_address": "0xc55ad3ddb386335d5af33823e3a845c0dbd4455c",
+                "destination_chain": "polygon",
+                "destination_address": "this is the address",
+                "payload_hash": "ebc84cbd75ba5516bf45e7024a9e12bc3c5c880f73e3a5beca7ebba52b2867a7"
+              }
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}