Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
рискну предположить, что формальную верификацию на расте провести на порядок проще, чем на плюсах или тем более чистых сях