fix: include dev fork env in sgx manifest

Author: smtmfft

provers/sgx/config/sgx-guest.docker.manifest.template

@@ -9,6 +9,9 @@ libos.entrypoint = "/sgx-guest"
 loader.entrypoint = "file:{{ gramine.libos }}"
 loader.env.HOME = "/root"
 loader.env.LD_LIBRARY_PATH = "/lib:{{ arch_libdir }}"
+loader.env.DEV_PACAYA_HEIGHT = "0"
+loader.env.DEV_ONTAKE_HEIGHT = "0"
+loader.env.DEV_SHASTA_TIMESTAMP = "0"
 loader.env.RUST_LOG = "info"
 loader.insecure__use_cmdline_argv = true
 loader.log_level = "{{ log_level }}"

provers/sgx/config/sgx-guest.local.manifest.template

@@ -12,6 +12,7 @@ loader.env.LD_LIBRARY_PATH = "/lib:{{ arch_libdir }}"
 loader.env.DEV_PACAYA_HEIGHT = "0"
 loader.env.DEV_ONTAKE_HEIGHT = "0"
 loader.env.DEV_SHASTA_HEIGHT = "0"
+loader.env.DEV_SHASTA_TIMESTAMP = "0"
 loader.env.RUST_LOG = "debug"
 loader.insecure__use_cmdline_argv = true
 loader.log_level = "{{ log_level }}"