#include #include #include "address.h" #include "haraka.h" #include "hash.h" #include "params.h" #include "utils.h" void PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_initialize_hash_function( hash_state *hash_state_seeded, const unsigned char *pub_seed, const unsigned char *sk_seed) { PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_tweak_constants(hash_state_seeded, pub_seed, sk_seed, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N); } /* The haraka implementation is stack based and won't be replaced in PQClean/OQS, so we don't need to do anything */ void PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_destroy_hash_function( hash_state *hash_state_seeded) { // NOLINT(readability-non-const-parameter) (void)hash_state_seeded; } /* * Computes PRF(key, addr), given a secret key of PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N bytes and an address */ void PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_prf_addr( unsigned char *out, const unsigned char *key, const uint32_t addr[8], const hash_state *hash_state_seeded) { unsigned char buf[PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_ADDR_BYTES]; /* Since PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N may be smaller than 32, we need a temporary buffer. */ unsigned char outbuf[32]; (void)key; /* Suppress an 'unused parameter' warning. */ PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_addr_to_bytes(buf, addr); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256_sk(outbuf, buf, hash_state_seeded); memcpy(out, outbuf, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N); } /** * Computes the message-dependent randomness R, using a secret seed and an * optional randomization value as well as the message. */ void PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_gen_message_random( unsigned char *R, const unsigned char *sk_prf, const unsigned char *optrand, const unsigned char *m, size_t mlen, const hash_state *hash_state_seeded) { uint8_t s_inc[65]; PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_init(s_inc); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, sk_prf, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N, hash_state_seeded); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, optrand, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N, hash_state_seeded); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, m, mlen, hash_state_seeded); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_finalize(s_inc); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_squeeze(R, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N, s_inc, hash_state_seeded); } /** * Computes the message hash using R, the public key, and the message. * Outputs the message digest and the index of the leaf. The index is split in * the tree index and the leaf index, for convenient copying to an address. */ void PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_hash_message( unsigned char *digest, uint64_t *tree, uint32_t *leaf_idx, const unsigned char *R, const unsigned char *pk, const unsigned char *m, size_t mlen, const hash_state *hash_state_seeded) { #define PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_BITS (PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_HEIGHT * (PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_D - 1)) #define PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_BYTES ((PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_BITS + 7) / 8) #define PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_LEAF_BITS PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_HEIGHT #define PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_LEAF_BYTES ((PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_LEAF_BITS + 7) / 8) #define PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_DGST_BYTES (PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_FORS_MSG_BYTES + PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_BYTES + PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_LEAF_BYTES) unsigned char buf[PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_DGST_BYTES]; unsigned char *bufp = buf; uint8_t s_inc[65]; PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_init(s_inc); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, R, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N, hash_state_seeded); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, pk + PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_N, hash_state_seeded); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, m, mlen, hash_state_seeded); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_finalize(s_inc); PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka_S_inc_squeeze(buf, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_DGST_BYTES, s_inc, hash_state_seeded); memcpy(digest, bufp, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_FORS_MSG_BYTES); bufp += PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_FORS_MSG_BYTES; *tree = PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_bytes_to_ull(bufp, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_BYTES); *tree &= (~(uint64_t)0) >> (64 - PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_BITS); bufp += PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_TREE_BYTES; *leaf_idx = (uint32_t)PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_bytes_to_ull( bufp, PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_LEAF_BYTES); *leaf_idx &= (~(uint32_t)0) >> (32 - PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_LEAF_BITS); }