Refactor SHA512∆C