ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants

Documentation

sha256InitialHashes :: FromConstant Natural a => Vector a

SHA2 family algorithms differ in constants and parameters used in the mostly identical internal loop. This module stores initial hashes and round constants. They were taken from the official SHA2 description: https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.180-4.pdf, pages 11 to 17

sha224InitialHashes :: FromConstant Natural a => Vector a

word32RoundConstants :: FromConstant Natural a => Vector a

sha512InitialHashes :: FromConstant Natural a => Vector a

sha384InitialHashes :: FromConstant Natural a => Vector a

sha512_224InitialHashes :: FromConstant Natural a => Vector a

sha512_256InitialHashes :: FromConstant Natural a => Vector a

word64RoundConstants :: FromConstant Natural a => Vector a