Update coding to sha512 in XorAddition.