#ifndef PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_ADDRESS_H #define PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_ADDRESS_H #include <stdint.h> #define PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_ADDR_TYPE_WOTS 0 #define PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_ADDR_TYPE_WOTSPK 1 #define PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_ADDR_TYPE_HASHTREE 2 #define PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_ADDR_TYPE_FORSTREE 3 #define PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_ADDR_TYPE_FORSPK 4 void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_addr_to_bytes( unsigned char *bytes, const uint32_t addr[8]); void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_layer_addr( uint32_t addr[8], uint32_t layer); void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_tree_addr( uint32_t addr[8], uint64_t tree); void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_type( uint32_t addr[8], uint32_t type); /* Copies the layer and tree part of one address into the other */ void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_copy_subtree_addr( uint32_t out[8], const uint32_t in[8]); /* These functions are used for WOTS and FORS addresses. */ void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_keypair_addr( uint32_t addr[8], uint32_t keypair); void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_chain_addr( uint32_t addr[8], uint32_t chain); void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_hash_addr( uint32_t addr[8], uint32_t hash); void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_copy_keypair_addr( uint32_t out[8], const uint32_t in[8]); /* These functions are used for all hash tree addresses (including FORS). */ void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_tree_height( uint32_t addr[8], uint32_t tree_height); void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_set_tree_index( uint32_t addr[8], uint32_t tree_index); #endif