Skip to content

Commit c61bb1a

Browse files
committed
Reduce size of ell hat bytes
1 parent c0d04ab commit c61bb1a

File tree

1 file changed

+11
-15
lines changed

1 file changed

+11
-15
lines changed

tests/vole.cpp

Lines changed: 11 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -29,12 +29,10 @@ BOOST_AUTO_TEST_SUITE(vole)
2929

3030
BOOST_DATA_TEST_CASE(vole_commit_verify, all_parameters, param_id) {
3131
BOOST_TEST_CONTEXT("Parameter set: " << faest_get_param_name(param_id)) {
32-
const faest_paramset_t params = faest_get_paramset(param_id);
33-
const unsigned int lambda = params.faest_param.lambda;
34-
const unsigned int lambda_bytes = lambda / 8;
35-
const unsigned int ell_hat =
36-
params.faest_param.l + params.faest_param.lambda * 2 + UNIVERSAL_HASH_B_BITS;
37-
const unsigned int ell_hat_bytes = (ell_hat + 7) / 8;
32+
const faest_paramset_t params = faest_get_paramset(param_id);
33+
const unsigned int lambda = params.faest_param.lambda;
34+
const unsigned int lambda_bytes = lambda / 8;
35+
const unsigned int ell_hat_bytes = 16;
3836
const auto com_size = (faest_is_em(&params) ? 2 : 3) * lambda_bytes;
3937

4038
vec_com_t bavc_com;
@@ -59,8 +57,8 @@ BOOST_DATA_TEST_CASE(vole_commit_verify, all_parameters, param_id) {
5957
v[i] = v[0] + i * ell_hat_bytes;
6058
}
6159

62-
vole_commit(rootKey.data(), iv.data(), ell_hat, &params, &bavc_com, c.data(), u.data(),
63-
v.data());
60+
vole_commit(rootKey.data(), iv.data(), ell_hat_bytes * 8, &params, &bavc_com, c.data(),
61+
u.data(), v.data());
6462

6563
std::vector<uint8_t> hcom{bavc_com.h, bavc_com.h + lambda_bytes * 2};
6664

@@ -80,7 +78,7 @@ BOOST_DATA_TEST_CASE(vole_commit_verify, all_parameters, param_id) {
8078
std::vector<uint8_t> hcom_rec;
8179
hcom_rec.resize(lambda_bytes * 2);
8280
BOOST_TEST(vole_reconstruct(hcom_rec.data(), q.data(), iv.data(), chal.data(), decom_i.data(),
83-
c.data(), ell_hat, &params));
81+
c.data(), ell_hat_bytes * 8, &params));
8482
BOOST_TEST(hcom == hcom_rec);
8583
tested = true;
8684
}
@@ -92,12 +90,10 @@ BOOST_DATA_TEST_CASE(vole_commit_verify, all_parameters, param_id) {
9290
BOOST_DATA_TEST_CASE(convert_to_vole, all_parameters, param_id) {
9391
std::mt19937_64 rd;
9492
BOOST_TEST_CONTEXT("Parameter set: " << faest_get_param_name(param_id)) {
95-
const faest_paramset_t params = faest_get_paramset(param_id);
96-
const unsigned int lambda = params.faest_param.lambda;
97-
const unsigned int lambda_bytes = lambda / 8;
98-
const unsigned int ell_hat =
99-
params.faest_param.l + params.faest_param.lambda * 2 + UNIVERSAL_HASH_B_BITS;
100-
const unsigned int ell_hat_bytes = (ell_hat + 7) / 8;
93+
const faest_paramset_t params = faest_get_paramset(param_id);
94+
const unsigned int lambda = params.faest_param.lambda;
95+
const unsigned int lambda_bytes = lambda / 8;
96+
const unsigned int ell_hat_bytes = 16;
10197
const unsigned int max_depth = params.faest_param.k;
10298
const unsigned int max_nodes = 1 << max_depth;
10399
const unsigned int tau = params.faest_param.tau;

0 commit comments

Comments
 (0)