本期精選 Rust 在形式驗證、編輯器、身分驗證、瀏覽器引擎、資安工具、隔離執行、儲存系統與跨平台建置等面向的最新實務案例，呈現 Rust 從底層系統開發一路延伸到 DevOps 與應用工具鏈的多元發展。
以 Verus 開發可證明正確的 Rust 程式
Amazon Science 介紹如何使用 Verus 驗證 Rust 程式的正確性。Rust 的型別系統原本就能在編譯階段避免多種記憶體安全問題，而 Verus 則進一步讓開發者以規格與證明描述程式行為，適合對可靠度要求較高的系統軟體。
[https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus]
Wu：從 Zed 分支而來的 VS Code 風格編輯器
Wu 是以 Rust 開發、從 Zed 分支出的程式碼編輯器。作者希望保留較接近 VS Code 的操作體驗，同時改善同時開啟多個專案時的記憶體占用，並降低 Zed 多人協作與 AI 功能在介面中的存在感。
以 Auth0 與 Axum 建立型別安全的身分驗證
這篇文章探討在 Rust 與 Axum 中整合 Auth0，並特別關注 CLI 應用程式的登入流程。相較於瀏覽器、桌面或行動應用，CLI 通常缺少可直接承接重新導向的介面，因此需要另外設計適合終端機環境的驗證方式，同時善用 Rust 型別系統約束驗證資料。
Servo 0.5 改善繪製效能與網頁相容性
以 Rust 開發的開源瀏覽器引擎 Servo 推出 0.5 版，加入可見的文字選取效果，並改善 Canvas 與文字處理效能。這次更新也納入多項相容性修正，使 DuckDuckGo 首頁得以正確呈現，反映 Servo 持續補強實際網站支援能力。
ADhammer 將 Active Directory 發現轉成可驗證攻擊路徑
ADhammer 是以 Rust 開發的開源 Active Directory 安全評估工具，強調找出設定錯誤與證明攻擊路徑是兩件不同的事。其流程依序涵蓋資料蒐集、關係圖建立、驗證與報告，並從目錄物件、ACL、信任關係、委派及群組原則等訊號建立有證據支持的分析結果。
以 Firecracker microVM 隔離程式碼執行
Cratera 是以 Rust 撰寫的開源、自行代管程式碼執行與線上評測引擎。不同於使用共享 Linux 核心容器的方案，它會透過 Linux KVM 與 Firecracker，為每次執行建立暫時性的 microVM，以硬體虛擬化邊界隔離不受信任的程式碼。
從可反駁的保證打造當機安全鍵值儲存
StoneKV 是僅使用 Rust 標準函式庫實作的日誌結構嵌入式鍵值儲存系統。作者將「當機安全」收斂成明確且可測試的保證，再透過測試主動尋找違反條件的情境；重點不只是追求寫入效能，也包含釐清效能數字與持久性承諾的適用範圍。
讓 AI Agent 使用結構化 DevOps 工具的 Rust Runtime
tooler 是以 Rust 開發的開源 Runtime，目標是為開發者、DevOps 工作流程與 AI Agent 提供一致的工具介面。它以結構化能力取代任意 Shell 指令，涵蓋 HTTP 請求與資料庫操作等常見工作，有助於讓工具輸入、輸出及權限邊界更容易管理。
Rust 跨平台交叉編譯實務
Rust 支援多種 CPU 架構與作業系統目標，讓同一套程式碼能建置成不同平台使用的執行檔。文章整理交叉編譯涉及的目標平台設定與建置觀念，適合需要製作多架構版本、嵌入式程式或跨作業系統發行套件的開發者參考。
Apache Iggy 升格為 Apache 頂級專案
以 Rust 開發的訊息串流平台 Apache Iggy 已通過投票，從 Apache Incubator 畢業並成為 Apache Software Foundation 頂級專案。這項進展代表專案在治理、社群運作與開源開發流程方面完成孵化階段，後續將以獨立 Apache 專案持續發展。
本期案例共同反映出 Rust 生態系的應用範圍正持續擴大：一端深入形式驗證、虛擬化隔離與儲存可靠性，另一端則進入編輯器、身分驗證、訊息串流及 AI 工具執行環境。對工程團隊而言，Rust 的價值已不只在記憶體安全，也逐漸延伸至系統邊界、可驗證行為與部署一致性。