diff --git a/verifast-proofs/alloc/collections/linked_list.rs-negative/verify.sh b/verifast-proofs/alloc/collections/linked_list.rs-negative/verify.sh
index 55089f0ca41d9..87ef6ff723ba5 100644
--- a/verifast-proofs/alloc/collections/linked_list.rs-negative/verify.sh
+++ b/verifast-proofs/alloc/collections/linked_list.rs-negative/verify.sh
@@ -1,6 +1,6 @@
 set -e -x
 
-export VFVERSION=26.09.20
+export VFVERSION=26.10
 
 ! verifast -rustc_args "--edition 2021 --cfg test" -skip_specless_fns verified/lib.rs
 ! refinement-checker --rustc-args "--edition 2021 --cfg test" original/lib.rs verified/lib.rs
diff --git a/verifast-proofs/alloc/collections/linked_list.rs/verify.sh b/verifast-proofs/alloc/collections/linked_list.rs/verify.sh
index 0bcc0231c50bc..63c72a3507938 100644
--- a/verifast-proofs/alloc/collections/linked_list.rs/verify.sh
+++ b/verifast-proofs/alloc/collections/linked_list.rs/verify.sh
@@ -1,6 +1,6 @@
 set -e -x
 
-export VFVERSION=26.09.20
+export VFVERSION=26.10
 
 verifast -rustc_args "--edition 2021 --cfg test" -skip_specless_fns -ignore_unwind_paths -allow_assume verified/lib.rs
 refinement-checker --rustc-args "--edition 2021 --cfg test" original/lib.rs verified/lib.rs > /dev/null
diff --git a/verifast-proofs/alloc/raw_vec/mod.rs/verify.sh b/verifast-proofs/alloc/raw_vec/mod.rs/verify.sh
index eb147d2f92963..232db3d4e29f3 100644
--- a/verifast-proofs/alloc/raw_vec/mod.rs/verify.sh
+++ b/verifast-proofs/alloc/raw_vec/mod.rs/verify.sh
@@ -1,6 +1,6 @@
 set -e -x
 
-export VFVERSION=26.09.20
+export VFVERSION=26.10
 
 verifast -skip_specless_fns -ignore_unwind_paths -allow_assume verified/lib.rs
 refinement-checker with-directives/lib.rs verified/lib.rs > /dev/null
diff --git a/verifast-proofs/setup-verifast-home b/verifast-proofs/setup-verifast-home
index 9bc217bfb00ac..2c5cc9e568c1a 100644
--- a/verifast-proofs/setup-verifast-home
+++ b/verifast-proofs/setup-verifast-home
@@ -18,6 +18,16 @@ if [[ ! -d "$VERIFAST_HOME" ]]; then
   fi
 
   case "$VFVERSION,$VFPLATFORM" in
+    26.10,linux)
+      # https://github.com/verifast/verifast/attestations/52731098
+      VFHASH=5ad2a65997457fd5996a27f93107ef7e52c90c0d12b63b6e67f7acbc73e90efd
+      RUST_VERSION=nightly-2026-09-25
+      ;;
+    26.10,macos-aarch)
+      # https://github.com/verifast/verifast/attestations/52730902
+      VFHASH=65570fca1aca14c5372c4f5e0ff5b5e6b6325021f011f84bda851754771d82c3
+      RUST_VERSION=nightly-2026-09-25
+      ;;
     26.09.20,linux)
       # https://github.com/verifast/verifast/attestations/48777866
       VFHASH=fbe1510f5602cb92bab727e9f741c377bb78a263658fd2456bdc677d5d9b53bd