update elf

Cargo.toml

@@ -71,18 +71,14 @@ alloy-sol-types = { version = "0.8" }
 op-alloy-consensus = { version = "0.2", default-features = false }
 
 # sp1
-# sp1-lib = { version = "1.2.0", features = ["verify"] }
-# sp1-zkvm = { version = "1.2.0", features = ["verify"] }
-# sp1-sdk = { version = "1.2.0" }
-# sp1-build = { version = "1.2.0" }
-sp1-lib = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc3", features = [
+sp1-lib = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc4", features = [
     "verify",
 ] }
-sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc3", features = [
+sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc4", features = [
     "verify",
 ] }
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc3" }
-sp1-build = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc3" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc4" }
+sp1-build = { git = "https://github.com/succinctlabs/sp1.git", branch = "v1.3.0-rc4" }
 
 [profile.release-client-lto]
 inherits = "release"

contracts/zkconfig.json

@@ -8,7 +8,7 @@
     "finalizationPeriod": 0,
     "chainId": 11155420,
     "owner": "0xDEd0000E32f8F40414d3ab3a830f735a3553E18e",
-    "vkey": "0x0050443c17829b5a1db8fdcf2cd7458d9a2e9ea6b93bd968183101d0801b796b",
+    "vkey": "0x00038439e0370f0fa0f91269a0509f5a7509961fb4d6c829b7142102ae123d10",
     "verifierGateway": "0x3B6041173B80E77f038f3F2C0f9744f04837185e",
     "l2OutputOracleProxy": "0x863508f057c09f7b94e582d74404859ecd36a306"
 }

programs/aggregation/src/main.rs

@@ -20,7 +20,7 @@ use sha2::{Digest, Sha256};
 /// should verify the proof matches the arbitrary vkey digest stored in the contract. This means
 /// that the aggregate program would no longer need to update this value.
 const MULTI_BLOCK_PROGRAM_VKEY_DIGEST: [u32; 8] =
-    [1315952375, 1011400572, 528050588, 1342631216, 1825387301, 877061216, 1614555349, 836430978];
+    [941772999, 1277538870, 1655999821, 1372179823, 58726408, 594788167, 675948275, 736718718];
 
 fn main() {
     // Read in the aggregation inputs corresponding to each multi-block proof.

scripts/prove/build.rs

@@ -61,10 +61,10 @@ fn main() {
         // Note: Don't comment this out, because the Docker program depends on the native program
         // for range being built.
         build_native_program(program);
-        // build_zkvm_program(program);
+        build_zkvm_program(program);
     }
 
-    // build_zkvm_program("aggregation");
+    build_zkvm_program("aggregation");
     // Note: Don't comment this out, because the Docker program depends on the native host runner
     // being built.
     build_native_host_runner();