pub fn sha512(input_arg1: Expr) -> Expr
crypto_expressions
Computes the SHA-512 hash of a binary string.