java中的MessageDigest.getInstance("SHA-512")用ArkTS该如何实现

public static String getSha512(String salt) { 
  MessageDigest md = null; 
  String sha = ""; 
 
  try { 
    md = MessageDigest.getInstance("SHA-512"); 
    byte[] digest = md.digest(salt.getBytes()); 
    StringBuilder sb = new StringBuilder(); 
 
    for(int i = 0; i < digest.length; ++i) { 
      sb.append(Integer.toString((digest[i] & 255) + 256, 16).substring(1)); 
    } 
 
    sha = sb.toString(); 
  } catch (NoSuchAlgorithmException var6) { 
    Log.w("MD5Utils", var6); 
  } 
 
  return sha; 
}

let mac = cryptoFramework.createMd('SHA512'); 
let inputBlob: cryptoFramework.DataBlob = { data: StringUtil.stringToUint8Array(salt) }; 
await mac.update(inputBlob);