如果沒有 Rust 和形式驗證,我們將無法生存