@SHA512[[s,]filename] : Returns the SHA2-512 checksum of the specified file. If the first argument is an s, the filename argument is interpreted as a string and @SHA512 returns the checksum of that string.

 

Example:

 

echo %@sha512[c:\windows\notepad.exe]

2F37A2E503CFFBD7C05C7D8A125B55368CE11AAD5B62F17AAAC7AAF3391A6886FA6A0FD73223E9F30072419BF5762A8AF7958E805A52D788BA41F61EB084BFE8

 

See also @SHA256, @SHA384, @MD5, and @CRC32.