Update dependencies (#18)

Cargo.toml

@@ -16,23 +16,25 @@ publish = false
 rust-version = "1.73"
 
 [workspace.dependencies]
-sov-modules-api = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-state = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-accounts = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-bank = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-ledger-rpc = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-sequencer-registry = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-modules-stf-blueprint = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-modules-rollup-blueprint = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-stf-runner = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-db = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-sequencer = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-rollup-interface = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-risc0-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-first-read-last-write-cache = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-cli = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-mock-da = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-celestia-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
+sov-modules-api = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-state = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-accounts = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-bank = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-ledger-rpc = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-sequencer-registry = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-modules-stf-blueprint = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-modules-rollup-blueprint = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-stf-runner = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-db = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-sequencer = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-rollup-interface = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-risc0-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-first-read-last-write-cache = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-cli = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-mock-da = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-celestia-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-prover-storage-manager = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+
 stf-starter = { path = "./crates/stf" }
 
 serde = { version = "1.0.192", features = ["derive", "rc"] }

README.md

@@ -34,7 +34,7 @@ $ make test-create-token
 
 #### 5. Wait for the transaction to be submitted.
 ```sh,test-ci
-$ make wait-five-seconds
+$ make wait-ten-seconds
 ```
 
 

celestia_rollup_config.toml

@@ -15,9 +15,12 @@ path = "../../rollup-starter-data"
 # We define the rollup's genesis to occur at block number `start_height`. The rollup will ignore
 # any blocks before this height
 [runner]
-start_height = 0
+start_height = 3
 
 [runner.rpc_config]
 # the host and port to bind the rpc server for
 bind_host = "127.0.0.1"
 bind_port = 12345
+
+[prover_service]
+aggregated_proof_block_jump = 1

constants.json

@@ -1,30 +1,32 @@
 {
     "comment": "Sovereign SDK constants",
     "gas": {
-        "Bank": {
-            "create_token": [
-                4,
-                4
-            ],
-            "transfer": [
-                5,
-                5
-            ],
-            "burn": [
-                2,
-                2
-            ],
-            "mint": [
-                2,
-                2
-            ],
-            "freeze": [
-                1,
-                1
-            ]
-        }
+      "Bank": {
+        "create_token": [
+          4,
+          4
+        ],
+        "transfer": [
+          5,
+          5
+        ],
+        "burn": [
+          2,
+          2
+        ],
+        "mint": [
+          2,
+          2
+        ],
+        "freeze": [
+          1,
+          1
+        ]
+      }
     },
     "constants": {
-        "DEFERRED_SLOTS_COUNT": 2
+      "DEFERRED_SLOTS_COUNT": 2,
+      "GAS_TOKEN_ADDRESS": "sov1p9xxgsh78u3nxsl0zhfq4eazy0y4c8m5psjv3k3vrv45859jgazq3x72sg"
     }
-}
+}
+

crates/provers/risc0/guest-celestia/Cargo.toml

@@ -13,12 +13,12 @@ risc0-zkvm-platform = "0.19"
 
 stf-starter = { path = "../../../stf" }
 
-sov-rollup-interface = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-celestia-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-modules-api = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-modules-stf-blueprint = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-risc0-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
-sov-state = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "beacf1935fc37dfdf83b709ab5e0f40de577a3a9" }
+sov-rollup-interface = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-celestia-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-modules-api = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-modules-stf-blueprint = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-risc0-adapter = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
+sov-state = { git = "https://github.com/Sovereign-Labs/sovereign-sdk.git", rev = "de526a6bafeccb982a7e19a5abe7ca8997f58240" }
 
 [patch.crates-io]
 sha2 = { git = "https://github.com/risc0/RustCrypto-hashes", tag = "sha2/v0.10.6-risc0" }

crates/provers/risc0/guest-celestia/src/bin/rollup.rs

@@ -20,16 +20,15 @@ risc0_zkvm::guest::entry!(main);
 pub fn main() {
     let guest = Risc0Guest::new();
     let storage = ZkStorage::new();
-    let app: StfBlueprint<ZkDefaultContext, _, _, Runtime<_, _>, BasicKernel<_>> =
+    let stf: StfBlueprint<ZkDefaultContext, _, _, Runtime<_, _>, BasicKernel<_, _>> =
         StfBlueprint::new();
 
     let stf_verifier = StfVerifier::new(
-        app,
+        stf,
         CelestiaVerifier {
             rollup_namespace: ROLLUP_NAMESPACE,
         },
     );
-
     stf_verifier
         .run_block(guest, storage)
         .expect("Prover must be honest");