Add SHA512 digest algorithm in example