How Rust powers Proton Authenticator