SHA-256 implementation, for use in future KEX algorithms, in particular