1 files changed, 0 insertions, 74 deletions
diff --git a/lib/liboqs/src/sig/sphincs/pqclean_sphincs-shake256-192s-simple_clean/thash_shake256_simple.c b/lib/liboqs/src/sig/sphincs/pqclean_sphincs-shake256-192s-simple_clean/thash_shake256_simple.c
deleted file mode 100644
index fcb8dcc7c..000000000
--- a/lib/liboqs/src/sig/sphincs/pqclean_sphincs-shake256-192s-simple_clean/thash_shake256_simple.c
+++ /dev/null
@@ -1,74 +0,0 @@
-#include <stdint.h>
-#include <string.h>
-
-#include "address.h"
-#include "hash_state.h"
-#include "params.h"
-#include "thash.h"
-
-#include "fips202.h"
-
-/**
- * Takes an array of inblocks concatenated arrays of PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N bytes.
- */
-static void PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash(
-    unsigned char *out, unsigned char *buf,
-    const unsigned char *in, unsigned int inblocks,
-    const unsigned char *pub_seed, uint32_t addr[8]) {
-
-    memcpy(buf, pub_seed, PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N);
-    PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_addr_to_bytes(buf + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N, addr);
-    memcpy(buf + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_ADDR_BYTES, in, inblocks * PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N);
-
-    shake256(out, PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N, buf, PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_ADDR_BYTES + inblocks * PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N);
-}
-
-/* The wrappers below ensure that we use fixed-size buffers on the stack */
-
-void PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash_1(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded) {
-
-    unsigned char buf[PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_ADDR_BYTES + 1 * PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N];
-    PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash(
-        out, buf, in, 1, pub_seed, addr);
-
-    (void)hash_state_seeded;  /* Avoid unused parameter warning. */
-}
-
-void PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash_2(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded) {
-
-    unsigned char buf[PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_ADDR_BYTES + 2 * PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N];
-    PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash(
-        out, buf, in, 2, pub_seed, addr);
-
-    (void)hash_state_seeded;  /* Avoid unused parameter warning. */
-}
-
-void PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash_WOTS_LEN(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded) {
-
-    unsigned char buf[PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_ADDR_BYTES + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_WOTS_LEN * PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N];
-    PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash(
-        out, buf, in, PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_WOTS_LEN, pub_seed, addr);
-
-    (void)hash_state_seeded;  /* Avoid unused parameter warning. */
-}
-
-void PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash_FORS_TREES(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded) {
-
-    unsigned char buf[PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_ADDR_BYTES + PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_FORS_TREES * PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_N];
-    PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_thash(
-        out, buf, in, PQCLEAN_SPHINCSSHAKE256192SSIMPLE_CLEAN_FORS_TREES, pub_seed, addr);
-
-    (void)hash_state_seeded;  /* Avoid unused parameter warning. */
-}