bavc.h

#ifndef FAEST_VC_H
#define FAEST_VC_H

#include <stdint.h>
#include <assert.h>

#include "instances.h"
#include "utils.h"

FAEST_BEGIN_C_DECL

typedef struct bavc_t {
  uint8_t* h;
  uint8_t* k;
  uint8_t* com;
  uint8_t* sd;
} bavc_t;

typedef struct bavc_rec_t {
  uint8_t* h;
  uint8_t* s;
} bavc_rec_t;

static inline ATTR_CONST unsigned int bavc_max_node_depth(unsigned int i, unsigned int tau_1,
                                                          unsigned int k) {
  return (i < tau_1) ? k : (k - 1);
}

static inline ATTR_CONST unsigned int bavc_max_node_index(unsigned int i, unsigned int tau_1,
                                                          unsigned int k) {
#if defined(__clang_analyzer__)
  // for scan-build
  assert(k <= MAX_DEPTH);
  assert(k >= 1);
#endif
  return 1u << ((i < tau_1) ? k : (k - 1));
}

void bavc_commit(bavc_t* bavc, const uint8_t* root_key, const uint8_t* iv,
                 const faest_paramset_t* params);

bool bavc_open(uint8_t* decom_i, const bavc_t* vc, const uint16_t* i_delta,
               const faest_paramset_t* params);

bool bavc_reconstruct(bavc_rec_t* bavc_rec, const uint8_t* decom_i, const uint16_t* i_delta,
                      const uint8_t* iv, const faest_paramset_t* params);

void bavc_clear(bavc_t* com);

#if defined(FAEST_TESTS)
void leaf_commit(uint8_t* sd, uint8_t* com, const uint8_t* key, const uint8_t* iv, uint32_t tweak,
                 const uint8_t* uhash, const faest_paramset_t* params);
#endif

FAEST_END_C_DECL

#endif