Ohne Rust und formale Verifikation wären wir tot.