Rust As A Witness