Source code
Revision control
Copy as Markdown
Other Tools
/*
* SLH-DSA's Hypertree Logic (FIPS 205, Section 7)
* (C) 2023 Jack Lloyd
* 2023 Fabian Albert, René Meusel, Amos Treiber - Rohde & Schwarz Cybersecurity
*
*
* Botan is released under the Simplified BSD License (see license.txt)
*/
#ifndef BOTAN_SP_HYPERTREE_H_
#define BOTAN_SP_HYPERTREE_H_
#include <botan/internal/sp_types.h>
namespace Botan {
class Sphincs_Address;
class Sphincs_Hash_Functions;
class Sphincs_Parameters;
/**
* @brief FIPS 205, Algorithm 12: ht_sign
*
* Creates a SLH-DSA XMSS hypertree signature of @p message_to_sign. The signature is written
* into the buffer defined by @p out_sig. @p tree_index_in_layer and @p idx_leaf define which
* XMSS tree of the hypertree and which leaf of this XMSS tree is used for signing.
*/
void ht_sign(StrongSpan<SphincsHypertreeSignature> out_sig,
const SphincsTreeNode& message_to_sign,
const SphincsSecretSeed& secret_seed,
XmssTreeIndexInLayer tree_index_in_layer,
TreeNodeIndex idx_leaf,
const Sphincs_Parameters& params,
Sphincs_Hash_Functions& hashes);
/**
* @brief FIPS 205, Algorithm 13: ht_verify
*
* Given a message @p signed_msg the SLH-DSA XMSS hypertree is reconstructed
* using a hypertree signature @p ht_sig. @p tree_index_in_layer and @p idx_leaf
* define which XMSS tree of the hypertree and which leaf of this XMSS tree was
* used for signing.
*
* @returns true iff the top-most reconstructed root equals @p pk_root
*/
bool ht_verify(const SphincsTreeNode& signed_msg,
StrongSpan<const SphincsHypertreeSignature> ht_sig,
const SphincsTreeNode& pk_root,
XmssTreeIndexInLayer tree_index_in_layer,
TreeNodeIndex idx_leaf,
const Sphincs_Parameters& params,
Sphincs_Hash_Functions& hashes);
} // namespace Botan
#endif