#ifndef ASGN_UTILSX4_H
#define ASGN_UTILSX4_H

#include <stdint.h>
#include "params.h"
#include "context.h"

/**
 * For a given leaf index, computes the authentication path and the resulting
 * root node using Merkle's TreeHash algorithm.
 * Expects the layer and tree parts of the tree_addr to be set, as well as the
 * tree type (i.e. ASGN_ADDR_TYPE_HASHTREE or ASGN_ADDR_TYPE_FORSTREE).
 * Applies the offset idx_offset to indices before building addresses, so that
 * it is possible to continue counting indices across trees.
 */
void treehashx1(unsigned char *root, unsigned char *auth_path,
                const ascon_sign_ctx* ctx,
                uint32_t leaf_idx, uint32_t idx_offset, uint32_t tree_height,
                void (*gen_leaf)(
                   unsigned char* /* Where to write the leaf */,
                   const ascon_sign_ctx* /* ctx */,
                   uint32_t addr_idx, void *info),
                uint32_t tree_addrx4[8], void *info);

#endif
