a655ec8a9d
* Add state destroy to SHA2 API * Include optimized SPHINCS+ implementations I've generated new implementations from the sphincsplus repository. * Don't destroy sha256ctx after finalize * Attempt to shut up MSVC * Make sure to drop errors in rmtree
97 lines
5.1 KiB
C
97 lines
5.1 KiB
C
#include <stdint.h>
|
|
#include <string.h>
|
|
|
|
#include "address.h"
|
|
#include "haraka.h"
|
|
#include "hash.h"
|
|
#include "params.h"
|
|
#include "utils.h"
|
|
|
|
void PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_initialize_hash_function(
|
|
hash_state *hash_state_seeded,
|
|
const unsigned char *pub_seed, const unsigned char *sk_seed) {
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_tweak_constants(hash_state_seeded, pub_seed, sk_seed, PQCLEAN_SPHINCSHARAKA128FSIMPLE_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_SPHINCSHARAKA128FSIMPLE_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_SPHINCSHARAKA128FSIMPLE_CLEAN_N bytes and an address
|
|
*/
|
|
void PQCLEAN_SPHINCSHARAKA128FSIMPLE_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_SPHINCSHARAKA128FSIMPLE_CLEAN_ADDR_BYTES];
|
|
/* Since PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_N may be smaller than 32, we need a temporary buffer. */
|
|
unsigned char outbuf[32];
|
|
|
|
(void)key; /* Suppress an 'unused parameter' warning. */
|
|
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_addr_to_bytes(buf, addr);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256_sk(outbuf, buf, hash_state_seeded);
|
|
memcpy(out, outbuf, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_N);
|
|
}
|
|
|
|
/**
|
|
* Computes the message-dependent randomness R, using a secret seed and an
|
|
* optional randomization value as well as the message.
|
|
*/
|
|
void PQCLEAN_SPHINCSHARAKA128FSIMPLE_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_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_init(s_inc);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, sk_prf, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_N, hash_state_seeded);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, optrand, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_N, hash_state_seeded);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, m, mlen, hash_state_seeded);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_finalize(s_inc);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_squeeze(R, PQCLEAN_SPHINCSHARAKA128FSIMPLE_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_SPHINCSHARAKA128FSIMPLE_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_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_BITS (PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_HEIGHT * (PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_D - 1))
|
|
#define PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_BYTES ((PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_BITS + 7) / 8)
|
|
#define PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_LEAF_BITS PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_HEIGHT
|
|
#define PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_LEAF_BYTES ((PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_LEAF_BITS + 7) / 8)
|
|
#define PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_DGST_BYTES (PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_FORS_MSG_BYTES + PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_BYTES + PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_LEAF_BYTES)
|
|
|
|
unsigned char buf[PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_DGST_BYTES];
|
|
unsigned char *bufp = buf;
|
|
uint8_t s_inc[65];
|
|
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_init(s_inc);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, R, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_N, hash_state_seeded);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, pk + PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_N, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_N, hash_state_seeded);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_absorb(s_inc, m, mlen, hash_state_seeded);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_finalize(s_inc);
|
|
PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka_S_inc_squeeze(buf, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_DGST_BYTES, s_inc, hash_state_seeded);
|
|
|
|
memcpy(digest, bufp, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_FORS_MSG_BYTES);
|
|
bufp += PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_FORS_MSG_BYTES;
|
|
|
|
*tree = PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_bytes_to_ull(bufp, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_BYTES);
|
|
*tree &= (~(uint64_t)0) >> (64 - PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_BITS);
|
|
bufp += PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_TREE_BYTES;
|
|
|
|
*leaf_idx = (uint32_t)PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_bytes_to_ull(
|
|
bufp, PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_LEAF_BYTES);
|
|
*leaf_idx &= (~(uint32_t)0) >> (32 - PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_LEAF_BITS);
|
|
}
|