Merge pull request #7 from informalsystems/farhad/update-starter

chore: update with latest upstream starter (a3ff620)

Cargo.toml

@@ -30,7 +30,7 @@ sov-sequencer-registry          = { path = "./vendor/sovereign-sdk/module-system
 sov-modules-stf-blueprint       = { path = "./vendor/sovereign-sdk/module-system/sov-modules-stf-blueprint" }
 sov-modules-rollup-blueprint    = { path = "./vendor/sovereign-sdk/module-system/sov-modules-rollup-blueprint" }
 sov-stf-runner                  = { path = "./vendor/sovereign-sdk/full-node/sov-stf-runner" }
-sov-db                          = { path = "./vendor/sovereign-sdk/full-node/db/sov-db" }
+sov-db                          = { path = "./vendor/sovereign-sdk/full-node/sov-db" }
 sov-sequencer                   = { path = "./vendor/sovereign-sdk/full-node/sov-sequencer" }
 sov-rollup-interface            = { path = "./vendor/sovereign-sdk/rollup-interface" }
 sov-risc0-adapter               = { path = "./vendor/sovereign-sdk/adapters/risc0" }
@@ -40,8 +40,8 @@ sov-celestia-adapter            = { path = "./vendor/sovereign-sdk/adapters/cele
 sov-prover-storage-manager      = { path = "./vendor/sovereign-sdk/full-node/sov-prover-storage-manager" }
 sov-mock-zkvm                   = { path = "./vendor/sovereign-sdk/adapters/mock-zkvm" }
 
-sov-ibc                         = { git = "https://github.com/informalsystems/sovereign-ibc.git", rev = "e67de8" }
-sov-ibc-transfer                = { git = "https://github.com/informalsystems/sovereign-ibc.git", rev = "e67de8" }
+sov-ibc                         = { git = "https://github.com/informalsystems/sovereign-ibc.git", rev = "7e41c9b" }
+sov-ibc-transfer                = { git = "https://github.com/informalsystems/sovereign-ibc.git", rev = "7e41c9b" }
 
 stf-starter = { path = "./crates/stf" }
 

README.md

@@ -20,6 +20,10 @@ $ make clean-db
 
 #### 3. Start the rollup node:
 
+```sh,test-ci
+export SOV_PROVER_MODE=execute 
+```
+
 This will compile and start the rollup node:
 
 ```shell,test-ci,bashtestmd:long-running,bashtestmd:wait-until=RPC
@@ -124,4 +128,12 @@ $ make test-bank-supply-of
 ```
 $ curl -X POST -H "Content-Type: application/json" -d '{"jsonrpc":"2.0","method":"bank_supplyOf","params":{"token_address":"sov1zdwj8thgev2u3yyrrlekmvtsz4av4tp3m7dm5mx5peejnesga27svq9m72"},"id":1}' http://127.0.0.1:12345
 {"jsonrpc":"2.0","result":{"amount":1000},"id":1}
-```
+```
+
+## Enabling the prover
+By default, demo-rollup disables proving (i.e. the default behavior is. If we want to enable proving, several options are available:
+
+* `export SOV_PROVER_MODE=skip` Skips verification logic.
+* `export SOV_PROVER_MODE=simulate` Run the rollup verification logic inside the current process.
+* `export SOV_PROVER_MODE=execute` Run the rollup verifier in a zkVM executor.
+* `export SOV_PROVER_MODE=prove` Run the rollup verifier and create a SNARK of execution.

celestia_rollup_config.toml

@@ -1,6 +1,6 @@
 [da]
 # The JWT used to authenticate with the celestia light client. Instructions for generating this token can be found in the README
-celestia_rpc_auth_token = "eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJBbGxvdyI6WyJwdWJsaWMiLCJyZWFkIiwid3JpdGUiLCJhZG1pbiJdfQ.cpgAm8Hms_DYhpaQADyWll5RP13nfTAsYROrfFilpLk"
+celestia_rpc_auth_token = "eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJBbGxvdyI6WyJwdWJsaWMiLCJyZWFkIiwid3JpdGUiLCJhZG1pbiJdfQ.Qysvnw7v_rFxyvX-5G4PFK9AiUAgYjteITxHfRtjycM"
 # The address of the *trusted* Celestia light client to interact with
 celestia_rpc_address = "http://127.0.0.1:26658"
 # The largest response the rollup will accept from the Celestia node. Defaults to 100 MB
@@ -15,7 +15,7 @@ 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 = 3
+genesis_height = 3
 da_polling_interval_ms = 1000
 
 [runner.rpc_config]