risczero passes unit test

automata-network · Nov 19, 2024 · 5773913 · 5773913
1 parent 0699afa
commit 5773913
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 24 deletions.
diff --git a/broadcast/AttestationScript.s.sol/1398243/configureZk-latest.json b/broadcast/AttestationScript.s.sol/1398243/configureZk-latest.json
@@ -1,22 +1,22 @@
 {
   "transactions": [
     {
-      "hash": "0x4f68725d0bb49a238b59bae6ac052eef14e576689c1b7d54c96681f1d429e00b",
+      "hash": "0x10caf4a9ed6ba33a4b7ca43d85091d7bbe77e9cf1d7ee8a3160a43d90e91699a",
       "transactionType": "CALL",
       "contractName": null,
       "contractAddress": "0x6d67ae70d99a4cce500de44628bcb4dacfc1a145",
       "function": "setZkConfiguration(uint8,(bytes32,address))",
       "arguments": [
-        "2",
-        "(0x0043e4e0c286cf4a2c03472ca2384f35a008558bc5de4e0f39d1d1bc989badca, 0x7291752B7c1e0E69adF9801865b25435b0bE4Fc6)"
+        "1",
+        "(0x83613a8beec226d1f29714530f1df791fa16c2c4dfcf22c50ab7edac59ca637f, 0xaE7F7EC735b6A90366e55f87780b36e7e6Ec3c65)"
       ],
       "transaction": {
         "from": "0x3d089c2f2cb86d4efde153c81cabd4579784430b",
         "to": "0x6d67ae70d99a4cce500de44628bcb4dacfc1a145",
-        "gas": "0x1744e",
+        "gas": "0x1745f",
         "value": "0x0",
-        "input": "0x25e11c7500000000000000000000000000000000000000000000000000000000000000020043e4e0c286cf4a2c03472ca2384f35a008558bc5de4e0f39d1d1bc989badca0000000000000000000000007291752b7c1e0e69adf9801865b25435b0be4fc6",
-        "nonce": "0x22c",
+        "input": "0x25e11c75000000000000000000000000000000000000000000000000000000000000000183613a8beec226d1f29714530f1df791fa16c2c4dfcf22c50ab7edac59ca637f000000000000000000000000ae7f7ec735b6a90366e55f87780b36e7e6ec3c65",
+        "nonce": "0x22e",
         "chainId": "0x1555e3"
       },
       "additionalContracts": [],
@@ -26,31 +26,31 @@
   "receipts": [
     {
       "status": "0x1",
-      "cumulativeGasUsed": "0x1b8da",
+      "cumulativeGasUsed": "0x1b8ce",
       "logs": [],
       "logsBloom": "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
       "type": "0x2",
-      "transactionHash": "0x4f68725d0bb49a238b59bae6ac052eef14e576689c1b7d54c96681f1d429e00b",
+      "transactionHash": "0x10caf4a9ed6ba33a4b7ca43d85091d7bbe77e9cf1d7ee8a3160a43d90e91699a",
       "transactionIndex": "0x1",
-      "blockHash": "0x0b9c9a9b8ed1d526e5d840b27f591a80429bf6fea9e66a27bb466ecfc67f4544",
-      "blockNumber": "0x63a4ad",
-      "gasUsed": "0x10d8c",
-      "effectiveGasPrice": "0xfd",
+      "blockHash": "0x1ca0b91fed252480811c5a41fc007eb9efb2b558f9d72d75b785cef1f5b8f116",
+      "blockNumber": "0x642c17",
+      "gasUsed": "0x10d98",
+      "effectiveGasPrice": "0x2dc9b4",
       "from": "0x3d089c2f2cb86d4efde153c81cabd4579784430b",
       "to": "0x6d67ae70d99a4cce500de44628bcb4dacfc1a145",
       "contractAddress": null,
       "l1BaseFeeScalar": "0x558",
       "l1BlobBaseFee": "0x1",
       "l1BlobBaseFeeScalar": "0xc5fc5",
-      "l1Fee": "0x31d033e8",
-      "l1GasPrice": "0x14e9db67",
-      "l1GasUsed": "0x6cd"
+      "l1Fee": "0x1bbf1",
+      "l1GasPrice": "0xb4ae",
+      "l1GasUsed": "0x702"
     }
   ],
   "libraries": [],
   "pending": [],
   "returns": {},
-  "timestamp": 1731926335,
+  "timestamp": 1731995666,
   "chain": 1398243,
-  "commit": "859cc19"
+  "commit": "390daf4"
 }
diff --git a/forge-test/AutomataDcapAttestationTest.t.sol b/forge-test/AutomataDcapAttestationTest.t.sol
@@ -108,12 +108,12 @@ contract AutomataDcapAttestationFeeTest is PCCSSetupBase, RiscZeroSetup {
         vm.prank(admin);
         attestation.setZkConfiguration(ZkCoProcessorType.RiscZero, riscZeroConfig);
 
-        // pinned August 1st, 2024, Midnight GMT
-        vm.warp(1722470400);
+        // pinned May 19th, 2024, Midnight GMT
+        vm.warp(1731974400);
 
         vm.startPrank(admin);
         bytes memory pckCrlUpdate =
-            hex"30820a6330820a08020101300a06082a8648ce3d04030230703122302006035504030c19496e74656c205347582050434b20506c6174666f726d204341311a3018060355040a0c11496e74656c20436f72706f726174696f6e3114301206035504070c0b53616e746120436c617261310b300906035504080c024341310b3009060355040613025553170d3234303731373037303934325a170d3234303831363037303934325a30820934303302146fc34e5023e728923435d61aa4b83c618166ad35170d3234303731373037303934325a300c300a0603551d1504030a01013034021500efae6e9715fca13b87e333e8261ed6d990a926ad170d3234303731373037303934325a300c300a0603551d1504030a01013034021500fd608648629cba73078b4d492f4b3ea741ad08cd170d3234303731373037303934325a300c300a0603551d1504030a010130340215008af924184e1d5afddd73c3d63a12f5e8b5737e56170d3234303731373037303934325a300c300a0603551d1504030a01013034021500b1257978cfa9ccdd0759abf8c5ca72fae3a78a9b170d3234303731373037303934325a300c300a0603551d1504030a01013033021474fea614a972be0e2843f2059835811ed872f9b3170d3234303731373037303934325a300c300a0603551d1504030a01013034021500f9c4ef56b3ab48d577e108baedf4bf88014214b9170d3234303731373037303934325a300c300a0603551d1504030a010130330214071de0778f9e5fc4f2878f30d6b07c9a30e6b30b170d3234303731373037303934325a300c300a0603551d1504030a01013034021500cde2424f972cea94ff239937f4d80c25029dd60b170d3234303731373037303934325a300c300a0603551d1504030a0101303302146c3319e5109b64507d3cf1132ce00349ef527319170d3234303731373037303934325a300c300a0603551d1504030a01013034021500df08d756b66a7497f43b5bb58ada04d3f4f7a937170d3234303731373037303934325a300c300a0603551d1504030a01013033021428af485b6cf67e409a39d5cb5aee4598f7a8fa7b170d3234303731373037303934325a300c300a0603551d1504030a01013034021500fb8b2daec092cada8aa9bc4ff2f1c20d0346668c170d3234303731373037303934325a300c300a0603551d1504030a01013034021500cd4850ac52bdcc69a6a6f058c8bc57bbd0b5f864170d3234303731373037303934325a300c300a0603551d1504030a01013034021500994dd3666f5275fb805f95dd02bd50cb2679d8ad170d3234303731373037303934325a300c300a0603551d1504030a0101303302140702136900252274d9035eedf5457462fad0ef4c170d3234303731373037303934325a300c300a0603551d1504030a01013033021461f2bf73e39b4e04aa27d801bd73d24319b5bf80170d3234303731373037303934325a300c300a0603551d1504030a0101303302143992be851b96902eff38959e6c2eff1b0651a4b5170d3234303731373037303934325a300c300a0603551d1504030a010130330214639f139a5040fdcff191e8a4fb1bf086ed603971170d3234303731373037303934325a300c300a0603551d1504030a01013034021500959d533f9249dc1e513544cdc830bf19b7f1f301170d3234303731373037303934325a300c300a0603551d1504030a0101303302140fda43a00b68ea79b7c2deaeac0b498bdfb2af90170d3234303731373037303934325a300c300a0603551d1504030a010130340215009d67753b81e47090aea763fbec4c4549bcdb9933170d3234303731373037303934325a300c300a0603551d1504030a01013033021434bfbb7a1d9c568147e118b614f7b76ed3ef68df170d3234303731373037303934325a300c300a0603551d1504030a0101303402150085d3c9381b77a7e04d119c9e5ad6749ff3ffab87170d3234303731373037303934325a300c300a0603551d1504030a0101303402150093887ca4411e7a923bd1fed2819b2949f201b5b4170d3234303731373037303934325a300c300a0603551d1504030a0101303302142498dc6283930996fd8bf23a37acbe26a3bed457170d3234303731373037303934325a300c300a0603551d1504030a010130340215008a66f1a749488667689cc3903ac54c662b712e73170d3234303731373037303934325a300c300a0603551d1504030a01013034021500afc13610bdd36cb7985d106481a880d3a01fda07170d3234303731373037303934325a300c300a0603551d1504030a01013034021500efe04b2c33d036aac96ca673bf1e9a47b64d5cbb170d3234303731373037303934325a300c300a0603551d1504030a0101303402150083d9ac8d8bb509d1c6c809ad712e8430559ed7f3170d3234303731373037303934325a300c300a0603551d1504030a0101303302147931fd50b5071c1bbfc5b7b6ded8b45b9d8b8529170d3234303731373037303934325a300c300a0603551d1504030a0101303302141fa20e2970bde5d57f7b8ddf8339484e1f1d0823170d3234303731373037303934325a300c300a0603551d1504030a0101303302141e87b2c3b32d8d23e411cef34197b95af0c8adf5170d3234303731373037303934325a300c300a0603551d1504030a010130340215009afd2ee90a473550a167d996911437c7502d1f09170d3234303731373037303934325a300c300a0603551d1504030a0101303302144481b0f11728a13b696d3ea9c770a0b15ec58dda170d3234303731373037303934325a300c300a0603551d1504030a01013034021500a7859f57982ef0e67d37bc8ef2ef5ac835ff1aa9170d3234303731373037303934325a300c300a0603551d1504030a0101303302147ae37748a9f912f4c63ba7ab07c593ce1d1d1181170d3234303731373037303934325a300c300a0603551d1504030a01013033021413884b33269938c195aa170fca75da177538df0b170d3234303731373037303934325a300c300a0603551d1504030a0101303302142c3cc6fe9279db1516d5ce39f2a898cda5a175e1170d3234303731373037303934325a300c300a0603551d1504030a010130330214717948687509234be979e4b7dce6f31bef64b68c170d3234303731373037303934325a300c300a0603551d1504030a010130340215009d76ef2c39c136e8658b6e7396b1d7445a27631f170d3234303731373037303934325a300c300a0603551d1504030a01013034021500c3e025fca995f36f59b48467939e3e34e6361a6f170d3234303731373037303934325a300c300a0603551d1504030a010130340215008c5f6b3257da05b17429e2e61ba965d67330606a170d3234303731373037303934325a300c300a0603551d1504030a01013034021500a17c51722ec1e0c3278fe8bdf052059cbec4e648170d3234303731373037303934325a300c300a0603551d1504030a0101a02f302d300a0603551d140403020101301f0603551d23041830168014956f5dcdbd1be1e94049c9d4f433ce01570bde54300a06082a8648ce3d04030203490030460221008ef10a3081e047107b5882989aa86888f7722c9c3c178d3b8075e6058972903c022100956b4891144c4b2bb9192215c5060abd82a5d7e90f05f8f4364e5c74c119b99c";
+            hex"30820a6330820a08020101300a06082a8648ce3d04030230703122302006035504030c19496e74656c205347582050434b20506c6174666f726d204341311a3018060355040a0c11496e74656c20436f72706f726174696f6e3114301206035504070c0b53616e746120436c617261310b300906035504080c024341310b3009060355040613025553170d3234313131383134303035345a170d3234313231383134303035345a30820934303302146fc34e5023e728923435d61aa4b83c618166ad35170d3234313131383134303035345a300c300a0603551d1504030a01013034021500efae6e9715fca13b87e333e8261ed6d990a926ad170d3234313131383134303035345a300c300a0603551d1504030a01013034021500fd608648629cba73078b4d492f4b3ea741ad08cd170d3234313131383134303035345a300c300a0603551d1504030a010130340215008af924184e1d5afddd73c3d63a12f5e8b5737e56170d3234313131383134303035345a300c300a0603551d1504030a01013034021500b1257978cfa9ccdd0759abf8c5ca72fae3a78a9b170d3234313131383134303035345a300c300a0603551d1504030a01013033021474fea614a972be0e2843f2059835811ed872f9b3170d3234313131383134303035345a300c300a0603551d1504030a01013034021500f9c4ef56b3ab48d577e108baedf4bf88014214b9170d3234313131383134303035345a300c300a0603551d1504030a010130330214071de0778f9e5fc4f2878f30d6b07c9a30e6b30b170d3234313131383134303035345a300c300a0603551d1504030a01013034021500cde2424f972cea94ff239937f4d80c25029dd60b170d3234313131383134303035345a300c300a0603551d1504030a0101303302146c3319e5109b64507d3cf1132ce00349ef527319170d3234313131383134303035345a300c300a0603551d1504030a01013034021500df08d756b66a7497f43b5bb58ada04d3f4f7a937170d3234313131383134303035345a300c300a0603551d1504030a01013033021428af485b6cf67e409a39d5cb5aee4598f7a8fa7b170d3234313131383134303035345a300c300a0603551d1504030a01013034021500fb8b2daec092cada8aa9bc4ff2f1c20d0346668c170d3234313131383134303035345a300c300a0603551d1504030a01013034021500cd4850ac52bdcc69a6a6f058c8bc57bbd0b5f864170d3234313131383134303035345a300c300a0603551d1504030a01013034021500994dd3666f5275fb805f95dd02bd50cb2679d8ad170d3234313131383134303035345a300c300a0603551d1504030a0101303302140702136900252274d9035eedf5457462fad0ef4c170d3234313131383134303035345a300c300a0603551d1504030a01013033021461f2bf73e39b4e04aa27d801bd73d24319b5bf80170d3234313131383134303035345a300c300a0603551d1504030a0101303302143992be851b96902eff38959e6c2eff1b0651a4b5170d3234313131383134303035345a300c300a0603551d1504030a010130330214639f139a5040fdcff191e8a4fb1bf086ed603971170d3234313131383134303035345a300c300a0603551d1504030a01013034021500959d533f9249dc1e513544cdc830bf19b7f1f301170d3234313131383134303035345a300c300a0603551d1504030a0101303302140fda43a00b68ea79b7c2deaeac0b498bdfb2af90170d3234313131383134303035345a300c300a0603551d1504030a010130340215009d67753b81e47090aea763fbec4c4549bcdb9933170d3234313131383134303035345a300c300a0603551d1504030a01013033021434bfbb7a1d9c568147e118b614f7b76ed3ef68df170d3234313131383134303035345a300c300a0603551d1504030a0101303402150085d3c9381b77a7e04d119c9e5ad6749ff3ffab87170d3234313131383134303035345a300c300a0603551d1504030a0101303402150093887ca4411e7a923bd1fed2819b2949f201b5b4170d3234313131383134303035345a300c300a0603551d1504030a0101303302142498dc6283930996fd8bf23a37acbe26a3bed457170d3234313131383134303035345a300c300a0603551d1504030a010130340215008a66f1a749488667689cc3903ac54c662b712e73170d3234313131383134303035345a300c300a0603551d1504030a01013034021500afc13610bdd36cb7985d106481a880d3a01fda07170d3234313131383134303035345a300c300a0603551d1504030a01013034021500efe04b2c33d036aac96ca673bf1e9a47b64d5cbb170d3234313131383134303035345a300c300a0603551d1504030a0101303402150083d9ac8d8bb509d1c6c809ad712e8430559ed7f3170d3234313131383134303035345a300c300a0603551d1504030a0101303302147931fd50b5071c1bbfc5b7b6ded8b45b9d8b8529170d3234313131383134303035345a300c300a0603551d1504030a0101303302141fa20e2970bde5d57f7b8ddf8339484e1f1d0823170d3234313131383134303035345a300c300a0603551d1504030a0101303302141e87b2c3b32d8d23e411cef34197b95af0c8adf5170d3234313131383134303035345a300c300a0603551d1504030a010130340215009afd2ee90a473550a167d996911437c7502d1f09170d3234313131383134303035345a300c300a0603551d1504030a0101303302144481b0f11728a13b696d3ea9c770a0b15ec58dda170d3234313131383134303035345a300c300a0603551d1504030a01013034021500a7859f57982ef0e67d37bc8ef2ef5ac835ff1aa9170d3234313131383134303035345a300c300a0603551d1504030a0101303302147ae37748a9f912f4c63ba7ab07c593ce1d1d1181170d3234313131383134303035345a300c300a0603551d1504030a01013033021413884b33269938c195aa170fca75da177538df0b170d3234313131383134303035345a300c300a0603551d1504030a0101303302142c3cc6fe9279db1516d5ce39f2a898cda5a175e1170d3234313131383134303035345a300c300a0603551d1504030a010130330214717948687509234be979e4b7dce6f31bef64b68c170d3234313131383134303035345a300c300a0603551d1504030a010130340215009d76ef2c39c136e8658b6e7396b1d7445a27631f170d3234313131383134303035345a300c300a0603551d1504030a01013034021500c3e025fca995f36f59b48467939e3e34e6361a6f170d3234313131383134303035345a300c300a0603551d1504030a010130340215008c5f6b3257da05b17429e2e61ba965d67330606a170d3234313131383134303035345a300c300a0603551d1504030a01013034021500a17c51722ec1e0c3278fe8bdf052059cbec4e648170d3234313131383134303035345a300c300a0603551d1504030a0101a02f302d300a0603551d140403020101301f0603551d23041830168014956f5dcdbd1be1e94049c9d4f433ce01570bde54300a06082a8648ce3d04030203490030460221009d1e3cd0a09165302618555741c96c9ca04ddbea4009edf613f490360da54f16022100e08a94f9924efe124fecd862f5be8c4b6f12aa8d8756767cbba21a91d405bed0";
         pcsDao.upsertPckCrl(CA.PLATFORM, pckCrlUpdate);
         V4QuoteVerifier quoteVerifier = new V4QuoteVerifier(P256_VERIFIER, address(pccsRouter));
         attestation.setQuoteVerifier(address(quoteVerifier));
@@ -122,9 +122,9 @@ contract AutomataDcapAttestationFeeTest is PCCSSetupBase, RiscZeroSetup {
         vm.stopPrank();
 
         bytes memory journal =
-            hex"55020004000000810000806f05000004010700000000000000000000000000ffc97a88587660fb04e1f7c851300c96ae0b5a463ac46d035d16c2d9f36d0ed1d23775bcbd27deb219e3a3cc2802389500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e700060000000000935be7742dd89c6a4df6dba8353d89041ae0f052beef993b1e7f4524d3bc57650df20e5582158352e1240b3f1fed55d800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000051fe06600000000263d136c1a2a09982f4fefe376b9ba54fa79ac23cbb24e0b0afe11bbe887ea836ff7242a4e842c8da74ac54490c4a0185b39f1e7e3a2834d1d306bdb089f080e0fa74a3f32c80b978c8ad671395dabf24283eef9091bc3919fd39b9915a87f1adf3061c165c0191e2658256a2855cac9267f179aafb1990c9e918d6452816adf9953f245d005b9d7d8e36a842a60b51e5cf85b2c2072ae397c178535c9985b7738f66e00977fffefe8c29eedb0bd5f9be77a9588d216eb8d711a33783dbac54d";
+            hex"02550004000000810790c06f000000040102000000000000000000000000009790d89a10210ec6968a773cee2ca05b5aa97309f36727a968527be4606fc19e6f73acce350946c9d46a9bf7a63f843000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000080e702060000000000f2dd2696f69b950645832bdc095ffd11247eeff687eeacdb57a58d2ddb9a9f94fea40c961e19460c00ffa31420ecbc180000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000998204508d58dcbfebe5e11c48669f7a921ac2da744dfb7d014ecdff2acdff1c9f665fdad52aadacf296a1df9909eb2383d100224f1716aeb431f7cb3cf028197dbd872487f27b0f6329ab17647dc9953c7014109818634f879e6550bc60f93eecfc42ff4d49278bfdbb0c77e570f4490cff10a2ee1ac11fbd2c2b49fa6cfa3cf1a1cb755c72522dd8a689e9d47906a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000278e753482976c8a7351fe2113609c7350d491cdae3d449eefc202fa41b2ad6840239cc2ba084c2d594b4e6dabeae0fcbf71c96daf0d0c9ecf0e9810c045790000000000673c303af1b429770139634fec8934a32e99c62365a2137e0ed7c2d675dd4acf0d1c830893efc8f3b20fd410af389046098c9e19304635a834aaabdf01ec7ad1f47d5ec70fa74a3f32c80b978c8ad671395dabf24283eef9091bc3919fd39b9915a87f1adf3061c165c0191e2658256a2855cac9267f179aafb1990c9e918d6452816adf9953f245d005b9d7d8e36a842a60b51e5cf85b2c2072ae397c178535c9985b7798b20813efc643bdfea60602a3c5cbef0f806d75c8c2622b0ed454f9d524ccbf";
         bytes memory seal =
-            hex"310fe59829804dc23822fb1f81bd008128867b16042eef12dc3677773dba3c8daf0a24871ca16bb503d9f9d1cc418bbcbb200629cfb02ff250e466fd493b905002cf23a3267a2ab4d4bb470154fc4dfff7f40a8a072312f6849af1cb46465a53d573f5ef22b6052bbf0b7bdf4502cfecc8a47a08c8374f64b7863c760c3f4f61b333d144105c93790e5e5cf1dfd8fd5e0890d09714af1db6253f1c4ea9fc4b94b691b6b20d984b5ea58a8233bb6813da5265f6e13c76617754ea327e843390d5a50013020a934151f46f8ac6e70ec39db759457dee18c36678d4f9d9d28c9eefb0acd1db21c3a23adbb4a289479cf63dcc104342ff3da4ba5d17e39abacc4abd9f3395eb";
+            hex"50bd17690d7dc73d9d89c6ee3e1b1b6bd9843d5ef2553c76770276578cf890d286cbf4470e27c981cf6d2ce36e2ab7ece52d9e83c72886f02e93e3556a5cd19a2fa458a60a2c0281f5c7f0191a48246bd6118a2b41e2e262f500c2e7866b7eac2c2e534f06520a77f983b74dfd89488361492de67658594c8e7133589917d94e0edb93c7122bc4a811c8729d51b23fac9f878f10063dc0e27d20450bc5eba34f5e52489f1c2f34bd6cbc7f1046e5df615d20121db97e77379a0fe82ac07c80434368572921ab7d07ca2fb0c06e343fdf5300f93a1024595e50b28140e210dfb9536168d22dc1f13636e1aeda96973acd0c0b318e74cecf5b5179349b081325f174f08457";
 
         ZkCoProcessorType zkCoProcessorType = ZkCoProcessorType.RiscZero;
         (bool success, bytes memory output) = attestation.verifyAndAttestWithZKProof(journal, zkCoProcessorType, seal);

diff --git a/forge-test/utils/RiscZeroSetup.sol b/forge-test/utils/RiscZeroSetup.sol
@@ -4,9 +4,9 @@ pragma solidity ^0.8.13;
 import {RiscZeroGroth16Verifier} from "risc0/groth16/RiscZeroGroth16Verifier.sol";
 
 abstract contract RiscZeroSetup {
-    bytes32 public constant CONTROL_ROOT = hex"a516a057c9fbf5629106300934d48e0e775d4230e41e503347cad96fcbde7e2e";
+    bytes32 public constant CONTROL_ROOT = hex"8b6dcf11d463ac455361b41fb3ed053febb817491bdea00fdb340e45013b852e";
     // NOTE: This has opposite byte order to the value in the risc0 repository.
-    bytes32 public constant BN254_CONTROL_ID = hex"0eb6febcf06c5df079111be116f79bd8c7e85dc9448776ef9a59aaf2624ab551";
+    bytes32 public constant BN254_CONTROL_ID = hex"05a022e1db38457fb510bc347b30eb8f8cf3eda95587653d0eac19e1f10d164e";
 
     RiscZeroGroth16Verifier riscZeroVerifier;