adjust tests with new VKs

Author: keyleu

contracts/test/EthereumISM.t.sol

@@ -46,17 +46,17 @@ contract EthereumISMTest is Test {
     address public owner;
     address public nonOwner;
 
-    bytes32 constant ISM_VK = 0x00365b20d2b06282fb952d075338aebafd24e16bd963be7407c1dc1f5f9b33e9;
+    bytes32 constant ISM_VK = 0x00be9919090826ed5b9affde25585edfa03b51d87274863f03192388dc33c405;
 
     uint256 constant SOURCE_CHAIN_ID = 1;
-    bytes32 constant INITIAL_STATE_ROOT = 0xb014207e69c0ebe07351db560343461c8c6b35b4b58cbcd88be3b34f5ded0254; // The state root at INITIAL_BLOCK_NUMBER
-    uint256 constant INITIAL_BLOCK_NUMBER = 24_076_150;
+    bytes32 constant INITIAL_STATE_ROOT = 0x8ba4f9683983d3f77bb3ab2a55c415e655e8b48ec251cac753b7d2ef47df593a; // The state root at INITIAL_BLOCK_NUMBER
+    uint256 constant INITIAL_BLOCK_NUMBER = 24_175_368;
 
     bytes constant PROOF =
-        hex"a4594c590eab658bda49262f48d0b16440f95d16eacfc53e0ab006a962ed6369fe3eab9b3061b4f0f4dcb423e147579ff466938ab22fe08eb514c3f132c769eb397871741a9f945ef284e2963ccc13be129d1a5b703ad6ac34ae44bb7673e4199648f4b80f159a9273666808ee4b14485d783e46ce61c09a2437f159fec2d8d94a525b1c28b6280ba558317b17023b49208beed70cc0f7b9d19fc314951c73fe63d794650934ae817221e260f9bad01c71b9deef73ccec99df2c6ea803cf20e8a140bcd721a41365e4f0e913155c309e96b46a9f7f9e5ee494fc9ecbf2955c63927aa8bf08298f8f7ebcd8e59dabfa83c89c4552a232ba03d7b1ffcef5569cb0018fe642";
+        hex"a4594c5927d0f6a2b252020b0932b5a70e4ecf0d009d8af2f1c2612751ba7a2a9f66cfcd14eb3266d5efa25f3a8dd45961b3b24252d56bc6222c10f6214b76098668af83184f96006c06eb58bcba8be55a16bcdbea443ebe2010c82320a967586920f40b1b1faa2395f73cc0bf0103d6c8f91b7a3b47913ffb426b12d57fbb8c16941616124f3cdccceff24fa05c2c332a30e995289b70531e10f39ca5e16e5e3556cfdf1a1899e2dddc35fca53c94afc49bf161623ef12c639b4a7a8f1d841923a4030a0a9c0a13fe6d5d4a389c2ca5c9cc309eba6b834a1f906647814c9c99f5e79f6e1076c0d043717d44d04c63018b897e1ab72bd19076ae1da07f1948dcdef35232";
     bytes constant PUBLIC_VALUES =
-        hex"a4f164ed4d13cc1e0b027b7a37eb0bba27cd1590d90c77b2acf40e2f7e0d7d02b014207e69c0ebe07351db560343461c8c6b35b4b58cbcd88be3b34f5ded025400000000000000000000000000000000000000000000000000000000016f5f76";
-    bytes32 constant EXPECTED_ROOT = 0xa4f164ed4d13cc1e0b027b7a37eb0bba27cd1590d90c77b2acf40e2f7e0d7d02;
+        hex"de6398da49095a535e5c2b6535913b271ff51d77f1cca6b96350fe7655fa51478ba4f9683983d3f77bb3ab2a55c415e655e8b48ec251cac753b7d2ef47df593a000000000000000000000000000000000000000000000000000000000170e308";
+    bytes32 constant EXPECTED_ROOT = 0xde6398da49095a535e5c2b6535913b271ff51d77f1cca6b96350fe7655fa5147;
 
     uint256 constant TREE_DEPTH = 32;
 

contracts/test/EthereumLightClient.t.sol

@@ -35,27 +35,27 @@ contract EthereumLightClientTest is Test {
     uint256 constant SOURCE_CHAIN_ID = 1;
 
     // VK of our Helios light client circuit
-    bytes32 constant PROGRAM_VK = 0x00a47ee58db34832b07fa846172fbce646c3d63d91554c534c2572149fa0b2c6;
+    bytes32 constant PROGRAM_VK = 0x00862abdca6bf17694f52e03ba97cf0a48826b57897bbbe8ef6bbc861a1ceb51;
 
     // Initial state - checkpoint from a finalized beacon block
-    uint256 constant INITIAL_SLOT = 13_295_584;
-    bytes32 constant INITIAL_HEADER = 0x97c775926bc1850b4a3b992c00e5d82af64c4a62c819fc496427701a9daaf279;
-    bytes32 constant INITIAL_STATE_ROOT = 0x13f27a01575771657d2e97cf54a3e72cf1adbe2b88d6a42c4f798ece2274755b;
-    uint256 constant INITIAL_BLOCK_NUMBER = 24_065_210;
-    bytes32 constant INITIAL_SYNC_COMMITTEE = 0x74e7406b0d51ace59849b5ded271f39e44725ca0ed0ca9571650b321a6f9cfb0;
+    uint256 constant INITIAL_SLOT = 13_397_920;
+    bytes32 constant INITIAL_HEADER = 0xb0c047351a1cc4b012b6b187c5c457357363e538d4f5a6566ead2eee9e19b192;
+    bytes32 constant INITIAL_STATE_ROOT = 0xd70b2265d8b0909911b4c0ae39063cd6b1cae20f388fa9cd303368200f16715b;
+    uint256 constant INITIAL_BLOCK_NUMBER = 24_167_047;
+    bytes32 constant INITIAL_SYNC_COMMITTEE = 0xa5e323a8c2dc1621b5960a1be6ec02f2f692d6cb066caf9dee2faa6d903b7045;
 
     // Expected values after update
-    uint256 constant NEW_SLOT = 13_300_864;
-    bytes32 constant NEW_HEADER = 0x932052749e45a1a3470b7ce4f2ed4d584c04e72fba9d3d29d95a06f907097662;
-    bytes32 constant NEW_STATE_ROOT = 0x1cd057aa8fda770eb78b24e3016cf68d575160aaed38f8a2b50e277278ab2de6;
-    uint256 constant NEW_BLOCK_NUMBER = 24_070_463;
-    bytes32 constant NEW_SYNC_COMMITTEE = 0x052ee0fdcb2dfedb68dd2109bffff528eed6bf92572d5d8e2f66dbcc6762de55;
-    bytes32 constant NEXT_SYNC_COMMITTEE = 0xe74e77eba2607523561c539915e71bb4b3d2bdc0a5bc80e15809e9b6c0ca4794;
+    uint256 constant NEW_SLOT = 13_406_176;
+    bytes32 constant NEW_HEADER = 0x8dfd669188d67a83536c2348962856f5c1e37c62694da2924bf9864121a1e35f;
+    bytes32 constant NEW_STATE_ROOT = 0xe5b50095daea1b238826077c0ec5c15372c77b2924ab67c8112c9ba216357a1e;
+    uint256 constant NEW_BLOCK_NUMBER = 24_175_273;
+    bytes32 constant NEW_SYNC_COMMITTEE = 0xa34e009b09ea955e15873dfd037373b8d1d628a136ffd5ea4ea0988c9fa6eae6;
+    bytes32 constant NEXT_SYNC_COMMITTEE = 0x8492352b2b72731494ee6e7906e6a3ecb8d3232f0c62fc21e8ee1d8d4f1792b7;
 
     bytes constant PROOF =
-        hex"a4594c5922ecbad2832b7ec21d13e7d2130b158d5e91d124984240b36fc753b2f6bdfb25214f97ea97d2c30edaacd5cd9e85c4c86cb41330cc5d7019abbb1b3b99357830049d1fff3f22470d318400f232254fabb8862071e82320fedf80783b63021686168989f5ce4c9c377f12fc87b5bf8e145bfe22302b02f1a4130a5a28ef60f717293ab77ae7b9d2a07bcbc2b2f80dbeceea6d9ac4f02a4b623c8811b8a637e35014aae9dee9a62988b5a38df267f13abf0ca47f75c33e89fc6d29563f8b9eb17e08aff683c71b820e59e0c58aa93bccfb9fa69c5c86d3c702f7a3a06cf558aac612278710fad1e209751495fbbe69ed51b4a87324d452c1f33db55a0c5e19965c";
+        hex"a4594c592f78bea254adf44775b8993b660ca576e9e3bc1151457076ba17f038847ece422974771e6c91e1a198090d55337de05373bb28d8622703c694fdba12c63e8da617a34605f7fbee084a1bf7db6391f589e28fbd11df76394a664541c07e6971552bc848f61b58c9b5de8d1735d5b557dfc4249bfd13f362458affafea3db93c5027946a5ceb3282729c6f82cd422133f393d61c2e502c974c3a163bfe9bff7af518b7d8e84336f0e792a1a610d4821210a2d83e0dfc891509f3d924107460048a02d548cd21f529149df0d266e81096919bfc124dc4383cd541f8db5a5fa290a20b6a31b08436c68ca02dfc8759a85ac3e4a70ecd7af7cdb1d451595e8c3448f0";
     bytes constant PUBLIC_VALUES =
-        hex"0000000000000000000000000000000000000000000000000000000000cadfe097c775926bc1850b4a3b992c00e5d82af64c4a62c819fc496427701a9daaf27974e7406b0d51ace59849b5ded271f39e44725ca0ed0ca9571650b321a6f9cfb00000000000000000000000000000000000000000000000000000000000caf480932052749e45a1a3470b7ce4f2ed4d584c04e72fba9d3d29d95a06f907097662052ee0fdcb2dfedb68dd2109bffff528eed6bf92572d5d8e2f66dbcc6762de55e74e77eba2607523561c539915e71bb4b3d2bdc0a5bc80e15809e9b6c0ca47941cd057aa8fda770eb78b24e3016cf68d575160aaed38f8a2b50e277278ab2de600000000000000000000000000000000000000000000000000000000016f493f";
+        hex"0000000000000000000000000000000000000000000000000000000000cc6fa0b0c047351a1cc4b012b6b187c5c457357363e538d4f5a6566ead2eee9e19b192a5e323a8c2dc1621b5960a1be6ec02f2f692d6cb066caf9dee2faa6d903b70450000000000000000000000000000000000000000000000000000000000cc8fe08dfd669188d67a83536c2348962856f5c1e37c62694da2924bf9864121a1e35fa34e009b09ea955e15873dfd037373b8d1d628a136ffd5ea4ea0988c9fa6eae68492352b2b72731494ee6e7906e6a3ecb8d3232f0c62fc21e8ee1d8d4f1792b7e5b50095daea1b238826077c0ec5c15372c77b2924ab67c8112c9ba216357a1e000000000000000000000000000000000000000000000000000000000170e2a9";
 
     function setUp() public {
         owner = makeAddr("owner");