diff --git a/xtask/proofs/Dockerfile b/xtask/proofs/Dockerfile
index 406d1abd..816f5adc 100644
--- a/xtask/proofs/Dockerfile
+++ b/xtask/proofs/Dockerfile
@@ -1,5 +1,5 @@
 # Linux verification host for `xtask proofs` where Kani has no native build.
-FROM docker.io/library/rust:1.99.1-bookworm@sha256:e12566d5abc17a0da741628782cdb504b68b8961f5bfcf677936bf3e8b32de29
+FROM docker.io/library/rust:1.99.1-bookworm@sha256:48b7f435b8fc6378ce43b44f15e3a47fd8919b2825f835c39bd4bd3da50af5b8
 
 RUN cargo install --locked kani-verifier --version 0.68.0 \
     && cargo kani setup \