add SetVerifierV0_4 (#516)

Author: capossele

contracts/deployment.toml

@@ -97,6 +97,17 @@ set-builder-commit = "abd97bca9533d70302b41f67020f7fd1e41d9cf7"
 set-builder-image-id = "7d75250e86556132c0e10c05b0f1d823ae72a5e277a596039576b6578cb25260"
 set-builder-elf-url = "https://gateway.pinata.cloud/ipfs/QmXVv8FErxhzxQiSEYDqwDA5bWLu7wEn7ZWcFvjAsfqJdW"
 
+[[chains.ethereum-sepolia.verifiers]]
+name = "RiscZeroSetVerifier"
+version = "0.4.0"
+selector = "0xf443ad7b"
+verifier = "0x4d6F0158833026B07cE717043fb01b4e89f17e36"
+estop = "0x9852f4B6b6554E4C723914a5500Fc57156EDE3F7"
+# Build info for the set-builder guest
+set-builder-commit = "8eadd4812fe44ba266a0565725c4fa654e4770e5"
+set-builder-image-id = "8888bf20b2be0ca935e166325578c336cc16355f9b63e7e5279c71a0a97f4df9"
+set-builder-elf-url = "https://gateway.pinata.cloud/ipfs/bafkreih46jdbjosixps7l3obrmfh4xlusnunohva6pfhqqdcyobaac4w4a"
+
 ###
 
 [chains.ethereum-holesky]

contracts/script/README.md

@@ -258,7 +258,7 @@ This is a two-step process, guarded by the `TimelockController`.
 
    ```sh
    cargo risczero --version # First, check you have the expected version of cargo-risczero installed
-   cargo risczero build --manifest-path aggregation/guest/set-builder/Cargo.toml
+   cargo risczero build --manifest-path crates/aggregation/guest/set-builder/Cargo.toml
    ```
 
    This will output the image ID and file location.

contracts/src/selector.rs

@@ -45,6 +45,7 @@ pub enum Selector {
     Groth16V2_0 = 0x9f39696c,
     SetVerifierV0_1 = 0xbfca9ccb,
     SetVerifierV0_2 = 0x16a15cc8,
+    SetVerifierV0_4 = 0xf443ad7b,
 }
 
 impl Display for Selector {
@@ -64,6 +65,7 @@ impl TryFrom<u32> for Selector {
             0x9f39696c => Ok(Selector::Groth16V2_0),
             0xbfca9ccb => Ok(Selector::SetVerifierV0_1),
             0x16a15cc8 => Ok(Selector::SetVerifierV0_2),
+            0xf443ad7b => Ok(Selector::SetVerifierV0_4),
             _ => Err(SelectorError::UnsupportedSelector),
         }
     }
@@ -95,6 +97,10 @@ impl Selector {
                 "16a15cc8c94a59dc3e4e41226bc560ecda596a371a487b7ecc6b65d9516dfbdb",
             )
             .unwrap()),
+            Selector::SetVerifierV0_4 => Ok(Digest::from_hex(
+                "f443ad7bfe538ec90fa38498afd30b27b7d06336f20249b620a6d85ab3c615b6",
+            )
+            .unwrap()),
         }
     }
 
@@ -104,7 +110,9 @@ impl Selector {
             Selector::Groth16V1_1 | Selector::Groth16V1_2 | Selector::Groth16V2_0 => {
                 SelectorType::Groth16
             }
-            Selector::SetVerifierV0_1 | Selector::SetVerifierV0_2 => SelectorType::SetVerifier,
+            Selector::SetVerifierV0_1 | Selector::SetVerifierV0_2 | Selector::SetVerifierV0_4 => {
+                SelectorType::SetVerifier
+            }
         }
     }
 
@@ -122,8 +130,8 @@ mod tests {
         Groth16ReceiptVerifierParameters,
     };
 
-    // SetBuilder image ID v0.2.0 (built using RISC0_USE_DOCKER)
-    const SET_BUILDER_ID: &str = "a0a8e6243e40f65bbf8a5258a88591699df2fa5d6fc6495876992e53de08bbe5";
+    // SetBuilder image ID v0.4.0 (built using cargo risczero build v2.0.0)
+    const SET_BUILDER_ID: &str = "8888bf20b2be0ca935e166325578c336cc16355f9b63e7e5279c71a0a97f4df9";
 
     #[test]
     fn print_verifier_parameters() {