WEB3-559: Bootstrap from risc0 main at fc0222ab194c3d8cfa85a877454f74f2008c86a3 (#718)

- **bootrap from fc0222ab194c3d8cfa85a877454f74f2008c86a3**
- **update selectors in rust**
- **update forge test**
- **update copyright**

Author: nategraf

contracts/src/groth16/ControlID.sol

@@ -1,4 +1,4 @@
-// Copyright 2025 RISC Zero, Inc.
+// Copyright 2026 RISC Zero, Inc.
 //
 // Licensed under the Apache License, Version 2.0 (the "License");
 // you may not use this file except in compliance with the License.
@@ -20,7 +20,7 @@
 pragma solidity ^0.8.9;
 
 library ControlID {
-    bytes32 public constant CONTROL_ROOT = hex"ab0e9172f4306b6a3b2250055036565c2421683b39ee6c20366d17350756ad19";
+    bytes32 public constant CONTROL_ROOT = hex"b1f64013f70bbb386a8b3a3d63552c5cb5ea4a549ec7fb1ecc2a031dbf488167";
     // NOTE: This has the opposite byte order to the value in the risc0 repository.
     bytes32 public constant BN254_CONTROL_ID = hex"04446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0";
 }

contracts/src/selector.rs

@@ -1,4 +1,4 @@
-// Copyright 2025 RISC Zero, Inc.
+// Copyright 2026 RISC Zero, Inc.
 //
 // Licensed under the Apache License, Version 2.0 (the "License");
 // you may not use this file except in compliance with the License.
@@ -66,7 +66,7 @@ mod enumeration {
         Groth16V2_1 = 0xf536085a,
         Groth16V2_2 = 0xbb001d44,
         Groth16V3_0 = 0x73c457ba,
-        Groth16V5_0 = 0x8875b7f3,
+        Groth16V5_0 = 0xc27d1bc0,
         #[deprecated]
         SetVerifierV0_1 = 0xbfca9ccb,
         #[deprecated]
@@ -104,7 +104,7 @@ impl TryFrom<u32> for Selector {
             0xf536085a => Ok(Selector::Groth16V2_1),
             0xbb001d44 => Ok(Selector::Groth16V2_2),
             0x73c457ba => Ok(Selector::Groth16V3_0),
-            0x8875b7f3 => Ok(Selector::Groth16V5_0),
+            0xc27d1bc0 => Ok(Selector::Groth16V5_0),
             0xbfca9ccb => Ok(Selector::SetVerifierV0_1),
             0x16a15cc8 => Ok(Selector::SetVerifierV0_2),
             0xf443ad7b => Ok(Selector::SetVerifierV0_4),
@@ -152,7 +152,7 @@ impl Selector {
             )
             .unwrap()),
             Selector::Groth16V5_0 => Ok(Digest::from_hex(
-                "8875b7f36ef44aa19ac6781c6d919e5c3ba9c78f3ba80eac05d5dede822afef6",
+                "c27d1bc08c9adc5820848451eb66a7c38d57a9dfb665b8e68e2f963106bd138c",
             )
             .unwrap()),
             Selector::SetVerifierV0_1 => Ok(Digest::from_hex(

contracts/test/RiscZeroGroth16Verifier.t.sol

@@ -139,6 +139,6 @@ contract RiscZeroGroth16VerifierTest is Test {
     }
 
     function testSelectorIsStable() external view {
-        require(verifier.SELECTOR() == hex"8875b7f3");
+        require(verifier.SELECTOR() == hex"c27d1bc0");
     }
 }

contracts/test/TestReceiptV5_0.sol

@@ -1,4 +1,4 @@
-// Copyright 2025 RISC Zero, Inc.
+// Copyright 2026 RISC Zero, Inc.
 //
 // Licensed under the Apache License, Version 2.0 (the "License");
 // you may not use this file except in compliance with the License.
@@ -21,8 +21,8 @@ pragma solidity ^0.8.13;
 
 library TestReceipt {
     bytes public constant SEAL =
-        hex"8875b7f30a2957c015e12098e5a126aed057d8ab864c63bdac1320cca2b9ec3f971991a92c0a90de5b94653ed55e94a24c606cd3dbbd8b69e6f1729dc9dd7fab5befb95a0aa73a8a5ca95aca6021f3e5a7e29346e5cd2e5e8fe627d8db802494ec970f252bb11156420f8946cc3c71be28eb5c20857cd14c83e57f18a9b4d9303c119cdc289e374c85ec9baca9cb89fce5d5018cfbbbd50afa80f14642a36f0c00fccabb0595f4c5de5ff8a336b3d9c911c67e105f44c156ba071fb2c9726e4a9f2462892e1fe283e6117a23edb18e8b1e1be2e2b8d326014818c3eff8313d947fcea98d062b8c8ce556623ab6f3de02c06c3ea86a27d124f048a0cf241ddf8212e535d1";
+        hex"c27d1bc00c716176eced28e5ed50a5261ce0ece0fae94044342815d11e18fc839f6300751e1153a9841056ea8a38e47edd8587c2f15c6b78c3e152e8bc22a5670db4f8e1099f6a315197cf0628df1003274212bebf4ed34e441754c16832fa1e5c8815990317e3fce32b253eb3f8ca740a7a02108f8514d6db6beeedbf6fac77ca61c55610636c83396ca983ccb6ddd262cb5ce2946a80c925fa72fc3214fc4eeef2bd44257c5f9f9bf254282c733af28315af5bbd4ad8e47bf0c25cdedd6d351dce5a1e17783af72dbb8b52005e5d36f58189515813aebc2cf43ba6a882c98a5850b2880302139af44f8712914cc492c9a255f096d5e1775c7d8640dcbd26c6caffac0f";
     bytes public constant JOURNAL = hex"6a75737420612073696d706c652072656365697074";
-    bytes32 public constant IMAGE_ID = hex"1d4a4681e0481a5ef1e1b077bc53a3c057994a8e755b3adcc032be0553a76f13";
-    bytes32 public constant USER_ID = hex"1d4a4681e0481a5ef1e1b077bc53a3c057994a8e755b3adcc032be0553a76f13";
+    bytes32 public constant IMAGE_ID = hex"51350de41e575076bf180dbe2efb38edc25b32e47195a92b2c05850457e457a0";
+    bytes32 public constant USER_ID = hex"51350de41e575076bf180dbe2efb38edc25b32e47195a92b2c05850457e457a0";
 }