Fix Dockerfile

Author: maxgttph

Cargo.lock

@@ -3,10 +3,10 @@ resolver = "2"
 members = ["contracts", "contracts/wallet", "server"]
 
 [workspace.dependencies]
-sdk = { git = "https://github.com/Hyle-org/hyle.git", package = "hyle-contract-sdk", branch = "main" }
-client-sdk = { git = "https://github.com/Hyle-org/hyle.git", default-features = false, package = "hyle-client-sdk", branch = "main" }
-hyle-smt-token = { git = "https://github.com/Hyle-org/hyle.git", package = "hyle-smt-token", branch = "main" }
-hyle-modules = { git = "https://github.com/Hyle-org/hyle.git", package = "hyle-modules", branch = "main" }
+sdk = { git = "https://github.com/Hyle-org/hyle.git", package = "hyle-contract-sdk", tag = "v0.13.1" }
+client-sdk = { git = "https://github.com/Hyle-org/hyle.git", default-features = false, package = "hyle-client-sdk", tag = "v0.13.1" }
+hyle-smt-token = { git = "https://github.com/Hyle-org/hyle.git", package = "hyle-smt-token", tag = "v0.13.1" }
+hyle-modules = { git = "https://github.com/Hyle-org/hyle.git", package = "hyle-modules", tag = "v0.13.1" }
 
 
 contracts = { path = "contracts", default-features = false, package = "contracts" }

Cargo.toml

@@ -24,7 +24,7 @@ COPY --from=builder /app/target/release/autoprover ./
 
 RUN apt-get update && apt-get install -y libdbus-1-dev curl
 RUN curl -L https://risczero.com/install | bash
-RUN /root/.risc0/bin/rzup install r0vm 2.0.2
+RUN /root/.risc0/bin/rzup install r0vm 2.1.0
 
 EXPOSE 4000