diff --git a/tools/veritas/build_images.sh b/tools/veritas/build_images.sh
index 0159cccf1e..6049de041e 100644
--- a/tools/veritas/build_images.sh
+++ b/tools/veritas/build_images.sh
@@ -8,5 +8,5 @@ if [ "$(dirname "$0")" != "." ]; then
 fi
 
 docker build -f verus-lang_verus-base.dockerfile -t ghcr.io/utaal/verus-lang/verus-base .
-docker build -f verus-lang_verus-base-1.76.0.dockerfile -t ghcr.io/utaal/verus-lang/verus-base:rust-1.76.0 .
-docker build -f verus-lang_veritas-1.76.0.dockerfile -t ghcr.io/utaal/verus-lang/veritas:rust-1.76.0 .
\ No newline at end of file
+docker build -f verus-lang_verus-base-1.79.0.dockerfile -t ghcr.io/utaal/verus-lang/verus-base:rust-1.79.0 .
+docker build -f verus-lang_veritas-1.79.0.dockerfile -t ghcr.io/utaal/verus-lang/veritas:rust-1.79.0 .
diff --git a/tools/veritas/run.sh b/tools/veritas/run.sh
index 704938f698..62fd405654 100644
--- a/tools/veritas/run.sh
+++ b/tools/veritas/run.sh
@@ -13,4 +13,5 @@ docker run --platform=linux/amd64 \
     -v verus-veritas-z3-cache:/root/z3-cache \
     -v verus-veritas-rustup:/root/.rustup \
     -v $(pwd)/output:/root/output \
-    --rm ghcr.io/utaal/verus-lang/veritas:rust-1.76.0 $@
+    ghcr.io/utaal/verus-lang/veritas:rust-1.79.0 $@
+    # --rm ghcr.io/utaal/verus-lang/veritas:rust-1.79.0 $@
diff --git a/tools/veritas/run_configuration_all.toml b/tools/veritas/run_configuration_all.toml
index 3acdf944f5..e3a87b478a 100644
--- a/tools/veritas/run_configuration_all.toml
+++ b/tools/veritas/run_configuration_all.toml
@@ -14,7 +14,7 @@ extra_args = [
 prepare_script = """
 pushd test_libc
 cargo clean
-cargo +1.76.0 build --release
+cargo +1.79.0 build --release
 popd
 LIBC_RLIB_NAME=$(find ./test_libc/target/release/deps/ -name 'liblibc-*.rlib')
 mkdir -p build
diff --git a/tools/veritas/verus-lang_veritas-1.76.0.dockerfile b/tools/veritas/verus-lang_veritas-1.79.0.dockerfile
similarity index 84%
rename from tools/veritas/verus-lang_veritas-1.76.0.dockerfile
rename to tools/veritas/verus-lang_veritas-1.79.0.dockerfile
index 7442459554..b585bbe0b6 100644
--- a/tools/veritas/verus-lang_veritas-1.76.0.dockerfile
+++ b/tools/veritas/verus-lang_veritas-1.79.0.dockerfile
@@ -1,4 +1,4 @@
-FROM --platform=linux/amd64 ghcr.io/utaal/verus-lang/verus-base:rust-1.76.0
+FROM --platform=linux/amd64 ghcr.io/utaal/verus-lang/verus-base:rust-1.79.0
 
 VOLUME /root/veritas
 
@@ -14,4 +14,4 @@ ENV WORKDIR_PATH=/root/work/
 ENV OUTPUT_PATH=/root/output/
 
 WORKDIR /root/veritas
-ENTRYPOINT ["/bin/bash", "container-entrypoint.sh"]
\ No newline at end of file
+ENTRYPOINT ["/bin/bash", "container-entrypoint.sh"]
diff --git a/tools/veritas/verus-lang_verus-base-1.76.0.dockerfile b/tools/veritas/verus-lang_verus-base-1.79.0.dockerfile
similarity index 60%
rename from tools/veritas/verus-lang_verus-base-1.76.0.dockerfile
rename to tools/veritas/verus-lang_verus-base-1.79.0.dockerfile
index 2148e4aefe..bd38d8918c 100644
--- a/tools/veritas/verus-lang_verus-base-1.76.0.dockerfile
+++ b/tools/veritas/verus-lang_verus-base-1.79.0.dockerfile
@@ -1,3 +1,3 @@
 FROM --platform=linux/amd64 ghcr.io/utaal/verus-lang/verus-base
 
-RUN /root/.cargo/bin/rustup install 1.76.0
+RUN /root/.cargo/bin/rustup install 1.79.0
diff --git a/tools/veritas/verus-lang_verus-base.dockerfile b/tools/veritas/verus-lang_verus-base.dockerfile
index 883dfe6ad6..2164e80107 100644
--- a/tools/veritas/verus-lang_verus-base.dockerfile
+++ b/tools/veritas/verus-lang_verus-base.dockerfile
@@ -1,4 +1,4 @@
-FROM --platform=linux/amd64 ubuntu:mantic
+FROM --platform=linux/amd64 ubuntu:24.04
 
 RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y \
     build-essential curl wget singular git unzip openssh-client pkg-config libssl-dev