Skip to content

Commit a07618d

Browse files
sebastinassebastinas
committed
Update k calculation
1 parent f76253e commit a07618d

File tree

3 files changed

+91
-88
lines changed

3 files changed

+91
-88
lines changed

‎instances.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ const char* faest_get_param_name(faest_paramid_t paramid) {
4646
#define CALC_TAU0(name) (name##_TAU - CALC_TAU1(name))
4747
#define CALC_L(name) \
4848
(CALC_TAU1(name) * (1 << CALC_K(name)) + CALC_TAU0(name) * (1 << (CALC_K(name) - 1)))
49-
#define CALC_K(name) ((name##_LAMBDA - name##_W_GRIND + name##_TAU - 1) / (name##_TAU))
49+
#define CALC_K(name) (((name##_LAMBDA - name##_W_GRIND) / (name##_TAU)) + 1)
5050

5151
#define PARAMS(name) \
5252
{ \

‎tests/instances.cpp‎

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,11 @@ BOOST_DATA_TEST_CASE(test_keys, all_parameters, param_id) {
2121

2222
BOOST_TEST(faest_param.tau1 == (faest_param.lambda - faest_param.w_grind) % faest_param.tau);
2323
BOOST_TEST(faest_param.tau0 == faest_param.tau - faest_param.tau1);
24-
BOOST_TEST(faest_param.k ==
25-
std::ceil((faest_param.lambda - faest_param.w_grind) / (1.0 * faest_param.tau)));
24+
BOOST_TEST(faest_param.k == std::floor((faest_param.lambda - faest_param.w_grind) /
25+
(static_cast<double>(faest_param.tau))) +
26+
1);
27+
BOOST_TEST(faest_param.lambda - faest_param.w_grind ==
28+
(faest_param.k - 1) * faest_param.tau0 + faest_param.k * faest_param.tau1);
2629
BOOST_TEST(faest_param.L == faest_param.tau1 * (1 << faest_param.k) +
2730
faest_param.tau0 * (1 << (faest_param.k - 1)));
2831
BOOST_TEST(faest_param.Lke % 8 == 0);

‎tests/vole_tvs.hpp‎

Lines changed: 85 additions & 85 deletions
Original file line numberDiff line numberDiff line change
@@ -7,41 +7,41 @@
77
namespace vole_tvs {
88
namespace FAEST_128S {
99
constexpr std::array<uint8_t, 32> h{
10-
0xc2, 0xa4, 0x6c, 0x0c, 0x2b, 0x54, 0x0b, 0x9b, 0x50, 0x45, 0x50,
11-
0x1d, 0x37, 0x87, 0x1a, 0x40, 0xaf, 0x34, 0x12, 0x52, 0x26, 0x88,
12-
0xaf, 0x44, 0x84, 0xc3, 0x1e, 0x57, 0xa0, 0x97, 0xcc, 0xa4,
10+
0x7b, 0xe2, 0x76, 0xd1, 0x6b, 0x90, 0x16, 0x87, 0x50, 0x81, 0x97,
11+
0xdb, 0x27, 0xb5, 0x46, 0x10, 0x39, 0xbe, 0xab, 0x9d, 0x42, 0x6c,
12+
0x6a, 0xbf, 0xee, 0x4a, 0x7c, 0x03, 0x38, 0x99, 0x2d, 0x05,
1313
};
1414
constexpr std::array<uint8_t, 64> hashed_c{
15-
0xeb, 0xf9, 0x45, 0xaa, 0xde, 0xe1, 0xa1, 0x23, 0xe7, 0x3f, 0x49, 0x4a, 0x9d,
16-
0x7d, 0xb2, 0x8a, 0xc3, 0xcc, 0xe8, 0xac, 0xf0, 0xfa, 0x6a, 0x7e, 0x92, 0x81,
17-
0xd6, 0x7e, 0x7a, 0x42, 0x31, 0xed, 0x78, 0x4a, 0x71, 0x85, 0x73, 0xd2, 0xe1,
18-
0x4b, 0xd5, 0x59, 0xf4, 0x3f, 0x34, 0x5b, 0x04, 0x41, 0x9e, 0x33, 0x1b, 0xdf,
19-
0xd3, 0xaf, 0xbd, 0x0b, 0x66, 0x6e, 0x94, 0xce, 0xff, 0xe7, 0x3f, 0x48,
15+
0x6d, 0xf3, 0xf8, 0xf1, 0x63, 0x61, 0x0d, 0xf5, 0x3e, 0xeb, 0x78, 0xcc, 0x05,
16+
0xa6, 0xac, 0xce, 0x79, 0xb5, 0xa2, 0xb9, 0x33, 0xf7, 0xa9, 0x7e, 0x0a, 0x73,
17+
0xf7, 0xfe, 0xc4, 0x30, 0x91, 0xd9, 0xd3, 0xbb, 0xc0, 0x4a, 0xf2, 0x0c, 0x57,
18+
0x53, 0x83, 0xb7, 0xea, 0x60, 0x83, 0x6d, 0xf3, 0xde, 0xd0, 0x80, 0x65, 0xab,
19+
0xb9, 0xd2, 0xf7, 0xdf, 0x1d, 0xe0, 0x15, 0xd6, 0x62, 0x5a, 0xe1, 0x75,
2020
};
2121
constexpr std::array<uint8_t, 64> hashed_u{
22-
0x58, 0x38, 0x23, 0x30, 0xb8, 0x78, 0xf5, 0xe4, 0x02, 0x5c, 0xc8, 0x6e, 0xc1,
23-
0xc0, 0xa4, 0xf8, 0x9f, 0x41, 0x48, 0xf2, 0xe5, 0x12, 0x84, 0xd7, 0xdd, 0x6e,
24-
0x8d, 0xb6, 0xb8, 0x3f, 0x72, 0xb5, 0x2b, 0xa5, 0xaf, 0x88, 0x76, 0x23, 0x5b,
25-
0xa7, 0x32, 0xd8, 0x11, 0x23, 0xf8, 0x25, 0x60, 0x93, 0x66, 0x88, 0x2b, 0x5a,
26-
0x30, 0xd7, 0x04, 0xbd, 0xbd, 0x94, 0x49, 0x82, 0xf0, 0x10, 0x95, 0x90,
22+
0x3e, 0x9f, 0xc3, 0x6e, 0x4c, 0xfb, 0x22, 0x9d, 0x81, 0x23, 0xf5, 0xef, 0xa7,
23+
0x21, 0xae, 0x97, 0x2a, 0xf4, 0x1c, 0xa4, 0x15, 0x70, 0x5f, 0xe2, 0x88, 0xb2,
24+
0x24, 0xc2, 0x3f, 0xb0, 0xda, 0xcb, 0xc0, 0x6f, 0x06, 0x33, 0x5c, 0xa6, 0x46,
25+
0xb7, 0xba, 0x78, 0x03, 0x99, 0x1a, 0x47, 0x64, 0xdb, 0xff, 0x10, 0xbb, 0x6c,
26+
0x04, 0xe5, 0x3b, 0x9c, 0xc1, 0x92, 0x60, 0xe7, 0x50, 0xf7, 0xa7, 0xb1,
2727
};
2828
constexpr std::array<uint8_t, 64> hashed_v{
29-
0xd3, 0x5e, 0x5a, 0x9b, 0xa1, 0x5f, 0x87, 0xc8, 0xb3, 0xd8, 0x4d, 0xbe, 0xd2,
30-
0xcb, 0xa6, 0x4b, 0xd3, 0x6d, 0x5e, 0x30, 0xe9, 0x6b, 0x7c, 0x16, 0x8b, 0x33,
31-
0x2a, 0x02, 0x32, 0x3e, 0xec, 0x19, 0x5c, 0x50, 0xce, 0x78, 0x3f, 0x55, 0xa1,
32-
0x92, 0xeb, 0xeb, 0x11, 0x8c, 0xcd, 0x04, 0x9b, 0xd7, 0x67, 0xbc, 0xb8, 0x17,
33-
0x79, 0x46, 0xac, 0x7a, 0xec, 0x5d, 0x7a, 0x57, 0xa7, 0x1d, 0xa5, 0x29,
29+
0x51, 0x78, 0xfd, 0xfd, 0x4e, 0x7b, 0xe8, 0xb2, 0x05, 0x8c, 0xef, 0xa9, 0x4f,
30+
0xfa, 0x21, 0x1c, 0x3e, 0x7d, 0xa8, 0xed, 0x7b, 0xd1, 0x6f, 0xc8, 0x72, 0xbd,
31+
0x4a, 0x59, 0x74, 0xa6, 0xb9, 0x7e, 0x6b, 0x01, 0x87, 0xa3, 0xc2, 0x21, 0x1e,
32+
0x39, 0xd6, 0xd1, 0x7b, 0x53, 0xa1, 0x50, 0x1e, 0xd0, 0xc5, 0x8e, 0x66, 0x40,
33+
0x90, 0x0b, 0x6e, 0xaf, 0x16, 0x1e, 0xce, 0xd1, 0x84, 0x70, 0x52, 0xe7,
3434
};
3535
constexpr std::array<uint8_t, 16> chall{
3636
0xf5, 0xff, 0xf7, 0xf7, 0x28, 0xb9, 0xf8, 0xfb,
3737
0xf5, 0x1c, 0x7c, 0xcc, 0xcc, 0x4c, 0x24, 0x01,
3838
};
3939
constexpr std::array<uint8_t, 64> hashed_q{
40-
0xb1, 0x44, 0xf3, 0xd5, 0xd3, 0x1d, 0x8e, 0x27, 0xbd, 0xb8, 0x6e, 0x17, 0x82,
41-
0x64, 0xa7, 0x2b, 0x03, 0x22, 0x32, 0x77, 0xf4, 0x29, 0xf6, 0xa6, 0xd7, 0x0b,
42-
0xc8, 0x9f, 0xbd, 0x07, 0x1e, 0x20, 0xf1, 0x93, 0x5e, 0x99, 0x38, 0x12, 0x1d,
43-
0xa3, 0xb9, 0x86, 0x85, 0x80, 0x75, 0x42, 0x7a, 0x16, 0x59, 0x68, 0xc4, 0xb6,
44-
0x13, 0x65, 0xdb, 0xf4, 0x40, 0xfe, 0x4c, 0x92, 0x4b, 0xd7, 0x19, 0xe3,
40+
0x16, 0x07, 0x2d, 0x7d, 0x3f, 0x6a, 0x9e, 0x61, 0xf2, 0x97, 0x49, 0x94, 0x11,
41+
0xe7, 0x0a, 0x8b, 0x04, 0xfd, 0x06, 0xa5, 0xb6, 0x41, 0xe2, 0x16, 0xbd, 0x54,
42+
0x58, 0x49, 0xb4, 0x8d, 0x15, 0x87, 0xe7, 0x5a, 0x90, 0xa8, 0x48, 0x0b, 0x32,
43+
0x82, 0x5f, 0x1f, 0xb0, 0x62, 0xfb, 0x27, 0x25, 0x4c, 0xfc, 0x18, 0xef, 0x09,
44+
0xe4, 0x2b, 0x01, 0x89, 0x5e, 0xa7, 0xfe, 0xc1, 0x20, 0x4a, 0xc1, 0x46,
4545
};
4646
} // namespace FAEST_128S
4747
namespace FAEST_128F {
@@ -249,41 +249,41 @@ namespace vole_tvs {
249249
} // namespace FAEST_256F
250250
namespace FAEST_EM_128S {
251251
constexpr std::array<uint8_t, 32> h{
252-
0x2e, 0x42, 0x65, 0xb7, 0xac, 0x07, 0xdf, 0x27, 0xa1, 0xba, 0x61,
253-
0x82, 0x24, 0x7b, 0x6f, 0xab, 0xb3, 0xe8, 0x0f, 0xae, 0x86, 0x9d,
254-
0x3f, 0xb7, 0x37, 0xd6, 0xc7, 0x69, 0xa8, 0xbe, 0xb3, 0xc7,
252+
0x7c, 0xb2, 0xeb, 0x15, 0x70, 0xfd, 0xcd, 0x90, 0x03, 0x45, 0x71,
253+
0xe0, 0x7c, 0x61, 0x9f, 0x79, 0xf2, 0xd5, 0x0d, 0x6f, 0x95, 0x81,
254+
0x9a, 0x69, 0x61, 0xd9, 0x6c, 0xfb, 0x0b, 0x7d, 0xce, 0xd5,
255255
};
256256
constexpr std::array<uint8_t, 64> hashed_c{
257-
0x9c, 0x8d, 0x6c, 0x17, 0x8c, 0xa0, 0x25, 0xb0, 0x92, 0xc6, 0xd6, 0x7e, 0x08,
258-
0x77, 0x9f, 0xa0, 0x08, 0x85, 0xb3, 0x2e, 0x6d, 0x95, 0x97, 0x8f, 0x44, 0x58,
259-
0xbd, 0x42, 0x3d, 0xea, 0xdf, 0x36, 0xe2, 0xc9, 0x54, 0x99, 0x8a, 0xe0, 0x97,
260-
0x7d, 0x90, 0xeb, 0xbb, 0x60, 0x7d, 0x34, 0x3e, 0x64, 0xff, 0xcf, 0x1d, 0x7f,
261-
0xc2, 0xdf, 0x5f, 0xa2, 0xd1, 0xe3, 0x62, 0x31, 0x59, 0x5c, 0xad, 0xef,
257+
0xd2, 0xbb, 0xc9, 0x8c, 0xda, 0x31, 0x72, 0x6c, 0xbb, 0xc2, 0xbc, 0x6f, 0x42,
258+
0x11, 0x79, 0x63, 0x27, 0x14, 0x30, 0x03, 0x59, 0x77, 0x71, 0x04, 0xfa, 0x4c,
259+
0x48, 0x88, 0x97, 0x82, 0x1e, 0x7b, 0xbf, 0xbf, 0x52, 0x73, 0xb6, 0x78, 0x45,
260+
0x90, 0x76, 0xca, 0xe7, 0x81, 0xa7, 0x52, 0x08, 0xb3, 0x07, 0xd5, 0xf2, 0xcf,
261+
0xef, 0x53, 0x3b, 0xc6, 0xdf, 0x8d, 0x80, 0xb0, 0x82, 0x60, 0xd4, 0xdd,
262262
};
263263
constexpr std::array<uint8_t, 64> hashed_u{
264-
0xed, 0x3c, 0xd6, 0xc4, 0xfd, 0x86, 0xb9, 0xdf, 0x72, 0x23, 0xb8, 0x5f, 0xff,
265-
0xbb, 0x22, 0x40, 0x96, 0x07, 0x9c, 0x20, 0x12, 0x8c, 0xc6, 0xb4, 0xfb, 0xd7,
266-
0xec, 0xe4, 0x04, 0x94, 0x91, 0xac, 0x21, 0xbf, 0xfb, 0x23, 0x29, 0xd4, 0x99,
267-
0xef, 0xc0, 0x39, 0x6f, 0xe0, 0x71, 0xd1, 0x66, 0x17, 0xfa, 0x53, 0x4c, 0x9d,
268-
0xeb, 0x91, 0xb8, 0x1a, 0xa4, 0x7e, 0x7f, 0xae, 0x4a, 0xf2, 0xf4, 0xf9,
264+
0x6d, 0xf6, 0x22, 0xee, 0xc6, 0x1d, 0xad, 0x5a, 0xad, 0xba, 0xc3, 0x1a, 0x7d,
265+
0x5d, 0x4f, 0x5f, 0x44, 0xc5, 0x35, 0x0e, 0x6a, 0x8d, 0x97, 0xd3, 0x6b, 0x8a,
266+
0xe3, 0xab, 0xa2, 0xa7, 0x94, 0x94, 0xad, 0xa6, 0x0d, 0xf6, 0xec, 0x42, 0x6d,
267+
0xbc, 0xc6, 0x38, 0x11, 0xad, 0x4f, 0x1f, 0xec, 0x46, 0x8c, 0x74, 0x26, 0x46,
268+
0xc9, 0xef, 0xfb, 0xf2, 0x86, 0x08, 0x6c, 0xa7, 0x69, 0x0b, 0x24, 0x63,
269269
};
270270
constexpr std::array<uint8_t, 64> hashed_v{
271-
0x7e, 0x0c, 0x0b, 0x6d, 0x7a, 0x83, 0x03, 0x46, 0x38, 0xad, 0x36, 0xd2, 0x43,
272-
0xde, 0x1b, 0x27, 0xd7, 0x7c, 0x34, 0x30, 0x4b, 0xb8, 0xcc, 0xd2, 0x27, 0xea,
273-
0x94, 0xce, 0x65, 0x51, 0x22, 0x67, 0xe8, 0x36, 0x21, 0x84, 0x3e, 0xa6, 0x1c,
274-
0x61, 0x75, 0x41, 0x79, 0x9a, 0x52, 0x29, 0xac, 0x8a, 0xcc, 0x74, 0x37, 0x6a,
275-
0x26, 0x85, 0xc5, 0x0a, 0x76, 0xd7, 0xb3, 0xdf, 0xac, 0x5c, 0x7f, 0x97,
271+
0x9c, 0x42, 0x1e, 0xd9, 0xa2, 0x9d, 0x6c, 0x1b, 0xb9, 0x57, 0x22, 0x02, 0x40,
272+
0xe0, 0x77, 0x69, 0x24, 0xd4, 0x99, 0xc6, 0x2c, 0x70, 0x74, 0x46, 0xde, 0xc8,
273+
0x79, 0xe3, 0x4d, 0xef, 0x80, 0x67, 0x83, 0x05, 0x65, 0x6b, 0xf4, 0xc0, 0xe0,
274+
0x0d, 0xb1, 0x12, 0x2d, 0x85, 0x62, 0x18, 0x68, 0x4d, 0x18, 0x04, 0x29, 0xeb,
275+
0x02, 0x45, 0xe2, 0x73, 0x0e, 0xfc, 0x1c, 0xca, 0xad, 0x32, 0xd4, 0x09,
276276
};
277277
constexpr std::array<uint8_t, 16> chall{
278-
0xe7, 0x4d, 0xf1, 0x0c, 0x7d, 0x3f, 0x7d, 0x8b,
279-
0x56, 0xe3, 0xe6, 0x58, 0x5e, 0x08, 0x1c, 0x01,
278+
0x5f, 0x32, 0x32, 0xdd, 0x7d, 0x34, 0x56, 0x9d,
279+
0xf3, 0xe0, 0xeb, 0x64, 0x0d, 0xf2, 0xbc, 0x00,
280280
};
281281
constexpr std::array<uint8_t, 64> hashed_q{
282-
0xf8, 0x70, 0x7f, 0x02, 0xfb, 0xcc, 0xdf, 0x02, 0xd3, 0x5f, 0x45, 0xd2, 0xe9,
283-
0x92, 0xc1, 0xf6, 0x49, 0x93, 0xaf, 0xf8, 0xda, 0x1f, 0x72, 0x98, 0x9a, 0xfa,
284-
0x65, 0xc3, 0xe8, 0x2b, 0x95, 0x19, 0xf6, 0xf7, 0x97, 0x2a, 0xc5, 0x6e, 0x33,
285-
0xc7, 0xb6, 0xd9, 0x3e, 0xd1, 0x7a, 0x42, 0x12, 0xd4, 0xb2, 0x21, 0x9b, 0xa0,
286-
0x76, 0x9a, 0x5d, 0x79, 0x31, 0x92, 0x07, 0xc8, 0x31, 0x2f, 0xbc, 0xf2,
282+
0x4b, 0xa2, 0x2a, 0xf9, 0x3e, 0xa9, 0x44, 0x2a, 0xd2, 0x12, 0xe4, 0xb6, 0xb0,
283+
0x1e, 0xd1, 0x48, 0x52, 0xa9, 0x7b, 0x06, 0x7c, 0x02, 0x30, 0x66, 0x68, 0x88,
284+
0xcd, 0x90, 0xc8, 0x86, 0x85, 0xb3, 0xba, 0x53, 0x5c, 0xe1, 0x56, 0xba, 0x21,
285+
0x96, 0x4a, 0x00, 0xb6, 0x71, 0x96, 0x81, 0x89, 0xcb, 0x99, 0x80, 0x40, 0xfd,
286+
0x6e, 0x61, 0xe8, 0x51, 0x25, 0xa4, 0x88, 0x51, 0x1a, 0xda, 0x29, 0x02,
287287
};
288288
} // namespace FAEST_EM_128S
289289
namespace FAEST_EM_128F {
@@ -314,15 +314,15 @@ namespace vole_tvs {
314314
0x2a, 0x27, 0xfd, 0xb1, 0x23, 0x15, 0x04, 0x94, 0xf5, 0x5e, 0x8d, 0x4b,
315315
};
316316
constexpr std::array<uint8_t, 16> chall{
317-
0xc7, 0xe0, 0x63, 0x35, 0x3d, 0x45, 0x67, 0x7e,
318-
0x18, 0x39, 0x21, 0x7d, 0xf1, 0xf4, 0xf4, 0x00,
317+
0x44, 0xf8, 0x6c, 0x90, 0x8c, 0x99, 0xf1, 0x21,
318+
0x6a, 0x91, 0xfb, 0x8d, 0x4d, 0x4f, 0xb3, 0x00,
319319
};
320320
constexpr std::array<uint8_t, 64> hashed_q{
321-
0x68, 0x3b, 0x9a, 0xf5, 0x11, 0x53, 0x13, 0x27, 0x48, 0x1b, 0x19, 0x1c, 0x30,
322-
0x0a, 0xd1, 0x91, 0xfb, 0xa1, 0x2f, 0x17, 0x40, 0xcb, 0x67, 0x44, 0xc1, 0xa2,
323-
0x96, 0x15, 0x69, 0xb5, 0x4d, 0xee, 0x34, 0x21, 0xdc, 0x5b, 0xe1, 0xe4, 0xd0,
324-
0xc5, 0x61, 0xe4, 0x56, 0x45, 0x5e, 0x6c, 0x54, 0xcd, 0x84, 0xb8, 0x50, 0x83,
325-
0xcf, 0x36, 0x6f, 0xdf, 0x4f, 0x6f, 0xc1, 0xbf, 0xb9, 0xcd, 0x79, 0xaf,
321+
0xec, 0xd3, 0x5b, 0x58, 0x75, 0xc4, 0x0f, 0xc5, 0x69, 0x87, 0x57, 0x6e, 0x33,
322+
0xbd, 0xd2, 0x69, 0xa5, 0xb0, 0xae, 0xa5, 0x2e, 0xc6, 0xc0, 0x76, 0x59, 0x4b,
323+
0x18, 0xb5, 0x86, 0xdb, 0xbe, 0x42, 0x7b, 0x15, 0x4c, 0xf9, 0xa4, 0xa8, 0xc2,
324+
0xaa, 0xe8, 0x67, 0x96, 0x53, 0xaa, 0xac, 0x7d, 0x66, 0xdd, 0x8b, 0x47, 0x2b,
325+
0x3c, 0x0c, 0x20, 0x2d, 0x2a, 0xfc, 0x75, 0x73, 0xb8, 0x73, 0xf8, 0x8f,
326326
};
327327
} // namespace FAEST_EM_128F
328328
namespace FAEST_EM_192S {
@@ -354,15 +354,15 @@ namespace vole_tvs {
354354
0xd1, 0xb0, 0xa8, 0x78, 0xba, 0xf2, 0xd1, 0x8c, 0xfc, 0xd1, 0xb5, 0xdd,
355355
};
356356
constexpr std::array<uint8_t, 24> chall{
357-
0xc4, 0xec, 0x2a, 0xe0, 0xdc, 0x6e, 0xfd, 0x78, 0x83, 0x8f, 0xe2, 0xd6,
358-
0x96, 0x25, 0x27, 0xa3, 0x33, 0xfe, 0x68, 0xa3, 0xbf, 0x70, 0xd3, 0x00,
357+
0x17, 0x9e, 0x4e, 0xec, 0x74, 0xe1, 0x1a, 0x04, 0xfe, 0xb8, 0x55, 0x97,
358+
0x4c, 0x0e, 0x0f, 0xa3, 0x4c, 0x4b, 0x0b, 0x76, 0x81, 0xf2, 0xc2, 0x00,
359359
};
360360
constexpr std::array<uint8_t, 64> hashed_q{
361-
0x6c, 0xd7, 0x6c, 0x70, 0x0e, 0xd8, 0x9d, 0x98, 0x27, 0x4a, 0xfc, 0x31, 0xa2,
362-
0x2b, 0xe8, 0xb6, 0xc6, 0x84, 0x1b, 0x16, 0x22, 0xae, 0x33, 0xf1, 0xfb, 0xc9,
363-
0x51, 0xb8, 0x31, 0x08, 0xe7, 0x57, 0xd0, 0xf1, 0x5b, 0x06, 0xe9, 0x13, 0x40,
364-
0xfc, 0x30, 0xbc, 0xe2, 0x50, 0x7b, 0x5c, 0xae, 0xf2, 0xa5, 0x4d, 0x79, 0x48,
365-
0xc9, 0xf2, 0x43, 0xb8, 0xfe, 0x07, 0x16, 0x98, 0x16, 0x72, 0xe4, 0x69,
361+
0xfb, 0x08, 0xd7, 0xa3, 0xfd, 0xc1, 0xa3, 0x48, 0x4d, 0x92, 0x46, 0xf6, 0x8e,
362+
0x17, 0x6c, 0xbb, 0xd6, 0xbd, 0xaa, 0x16, 0xd9, 0x07, 0xc4, 0x20, 0x5b, 0xd1,
363+
0x41, 0xab, 0xf3, 0xd4, 0xda, 0x82, 0x3b, 0x0d, 0xa3, 0x04, 0x48, 0xfb, 0xb7,
364+
0x0c, 0x85, 0x6a, 0xdd, 0xd8, 0x61, 0xd5, 0x1f, 0x1f, 0x01, 0x06, 0x86, 0x17,
365+
0x3c, 0xa0, 0x4d, 0xd2, 0x19, 0xac, 0xfe, 0xfc, 0x74, 0xa7, 0xcd, 0x4f,
366366
};
367367
} // namespace FAEST_EM_192S
368368
namespace FAEST_EM_192F {
@@ -394,15 +394,15 @@ namespace vole_tvs {
394394
0xc3, 0xc0, 0x50, 0x02, 0xab, 0xe8, 0x74, 0x66, 0x52, 0x04, 0xf4, 0x50,
395395
};
396396
constexpr std::array<uint8_t, 24> chall{
397-
0xca, 0x15, 0x51, 0x87, 0x88, 0xc8, 0x17, 0xbc, 0x1c, 0x30, 0x22, 0x43,
398-
0xad, 0x73, 0x7e, 0x75, 0x30, 0xac, 0x7e, 0x2d, 0x25, 0x30, 0x0e, 0x00,
397+
0xa1, 0x80, 0x17, 0x22, 0x14, 0xb6, 0xc6, 0xec, 0xe7, 0xe7, 0x88, 0xa2,
398+
0x1b, 0x57, 0xd3, 0xa9, 0x56, 0xa8, 0x4b, 0x45, 0xbf, 0xa4, 0x02, 0x00,
399399
};
400400
constexpr std::array<uint8_t, 64> hashed_q{
401-
0xe1, 0xd9, 0x5c, 0x43, 0x99, 0xa8, 0x7c, 0xaa, 0x97, 0xfc, 0x2f, 0xb1, 0x00,
402-
0xff, 0xd8, 0xa0, 0x7e, 0xa5, 0x0e, 0x63, 0x86, 0x2c, 0x3d, 0xa4, 0xba, 0x06,
403-
0x25, 0x9e, 0xbd, 0xa8, 0xc2, 0x56, 0x65, 0x29, 0xa4, 0xcc, 0xe2, 0xcf, 0x43,
404-
0x56, 0x66, 0x10, 0x71, 0x91, 0xb1, 0x2b, 0x05, 0x66, 0x49, 0x02, 0xf5, 0x9f,
405-
0x10, 0xdb, 0x9c, 0x57, 0x94, 0xad, 0x08, 0x91, 0x39, 0x76, 0x4b, 0xd3,
401+
0xbf, 0x80, 0x61, 0xa3, 0x49, 0x99, 0x23, 0xa3, 0xa8, 0xf0, 0x49, 0x6a, 0x10,
402+
0x46, 0x16, 0x25, 0x77, 0x5c, 0x4b, 0xdc, 0x4a, 0xd1, 0x0f, 0x6d, 0xb2, 0x6a,
403+
0x86, 0x36, 0xf7, 0x2e, 0x83, 0xd0, 0x22, 0xaf, 0x9e, 0xf0, 0xbd, 0xa0, 0x27,
404+
0xda, 0x29, 0x67, 0x0d, 0x29, 0xff, 0x65, 0x1c, 0xd1, 0x8a, 0x7c, 0x0b, 0x03,
405+
0xfe, 0xa4, 0x2d, 0x8d, 0x70, 0x99, 0xed, 0x23, 0x66, 0xe7, 0x7a, 0x7b,
406406
};
407407
} // namespace FAEST_EM_192F
408408
namespace FAEST_EM_256S {
@@ -435,16 +435,16 @@ namespace vole_tvs {
435435
0xc0, 0xfb, 0x1c, 0x89, 0x1d, 0x7d, 0x45, 0xda, 0x81, 0xc7, 0xfb, 0x47,
436436
};
437437
constexpr std::array<uint8_t, 32> chall{
438-
0xd1, 0xa4, 0xba, 0x9a, 0x2d, 0xb9, 0x5c, 0xc6, 0x30, 0x32, 0x00,
439-
0x19, 0x51, 0x3a, 0xb3, 0x62, 0xa0, 0xb4, 0x8b, 0x56, 0x70, 0xf2,
440-
0x49, 0xce, 0x80, 0x89, 0xc2, 0xce, 0xc3, 0x1e, 0x93, 0x00,
438+
0xcb, 0x62, 0xb0, 0x4f, 0x58, 0xba, 0xf2, 0xe6, 0x85, 0xa3, 0xf4,
439+
0x2d, 0x12, 0x07, 0x35, 0xb1, 0xc6, 0x54, 0xea, 0x55, 0xc8, 0xfb,
440+
0x4b, 0x5b, 0x26, 0xdb, 0xd9, 0xda, 0xc8, 0x06, 0x45, 0x03,
441441
};
442442
constexpr std::array<uint8_t, 64> hashed_q{
443-
0xf0, 0xac, 0x15, 0x92, 0xcc, 0x8c, 0xfa, 0x1b, 0x18, 0x68, 0xfa, 0x90, 0x6d,
444-
0x02, 0x56, 0xfe, 0x07, 0x6f, 0x01, 0x24, 0xfb, 0x1c, 0xde, 0xee, 0x67, 0x4d,
445-
0x04, 0x0e, 0x64, 0xa6, 0x99, 0x7d, 0xce, 0xe0, 0x09, 0xfd, 0x2f, 0xf8, 0xb8,
446-
0xd3, 0x00, 0x36, 0xfc, 0xa2, 0x34, 0xb7, 0x31, 0x52, 0x3f, 0x20, 0x89, 0xd8,
447-
0xa2, 0x22, 0x38, 0x15, 0xaf, 0x54, 0xd6, 0x04, 0x55, 0x92, 0x16, 0x83,
443+
0xe2, 0x03, 0x4f, 0x55, 0x6a, 0xf0, 0x0b, 0x57, 0xc0, 0x29, 0xaf, 0x12, 0xe3,
444+
0x02, 0x46, 0x34, 0x17, 0xc8, 0x1d, 0x68, 0x82, 0x88, 0x58, 0x25, 0xcd, 0xa7,
445+
0x69, 0x1f, 0x2e, 0x3b, 0x4a, 0x57, 0x3e, 0x86, 0x9f, 0x7b, 0x95, 0x93, 0x60,
446+
0x29, 0xd1, 0x2d, 0x5c, 0xf8, 0x83, 0x84, 0x2b, 0x74, 0xec, 0x0f, 0x21, 0xf0,
447+
0x4f, 0x5d, 0xd2, 0x80, 0x74, 0x4a, 0xf1, 0xc2, 0x3e, 0x7e, 0xfd, 0x57,
448448
};
449449
} // namespace FAEST_EM_256S
450450
namespace FAEST_EM_256F {
@@ -477,16 +477,16 @@ namespace vole_tvs {
477477
0xd2, 0x56, 0x19, 0xb0, 0xb2, 0x22, 0x6e, 0x21, 0xe1, 0xe8, 0xca, 0x10,
478478
};
479479
constexpr std::array<uint8_t, 32> chall{
480-
0xbf, 0x60, 0xa5, 0xbd, 0x1f, 0xcb, 0x81, 0xca, 0x58, 0x6a, 0x17,
481-
0xe5, 0x25, 0xaf, 0x32, 0x09, 0xac, 0xdf, 0x6e, 0x93, 0xb1, 0x12,
482-
0x41, 0xaa, 0x02, 0xd0, 0x88, 0x73, 0x47, 0xcc, 0xf2, 0x00,
480+
0x3a, 0x36, 0x52, 0xd5, 0xd4, 0x9f, 0xd2, 0x29, 0x92, 0x99, 0x92,
481+
0x93, 0x49, 0xb3, 0xb2, 0xe5, 0xcb, 0x0c, 0x71, 0xd3, 0x72, 0x99,
482+
0x77, 0x77, 0x47, 0xbd, 0xac, 0xc8, 0xe7, 0x9a, 0xe8, 0x00,
483483
};
484484
constexpr std::array<uint8_t, 64> hashed_q{
485-
0xa4, 0x07, 0x8f, 0xa0, 0xb5, 0xbe, 0x35, 0x5c, 0x5e, 0xe6, 0xc3, 0xce, 0x2b,
486-
0xe6, 0xe2, 0x28, 0x61, 0xfe, 0xba, 0x54, 0x79, 0x77, 0xe8, 0x66, 0x45, 0xcf,
487-
0x62, 0x4f, 0x74, 0x0d, 0x84, 0xb8, 0xbb, 0xfc, 0x9f, 0x86, 0xea, 0x3c, 0xc5,
488-
0x90, 0xbc, 0x19, 0xea, 0x7c, 0xf0, 0xae, 0xb0, 0x0c, 0x2c, 0x25, 0x5c, 0xc9,
489-
0x90, 0x29, 0x4d, 0xcb, 0xd6, 0x72, 0xa2, 0x50, 0xcb, 0x78, 0xa8, 0x65,
485+
0xc0, 0x6b, 0x1c, 0x8f, 0x3b, 0x30, 0xa6, 0xd6, 0xd4, 0x4d, 0xdd, 0xca, 0x61,
486+
0xa5, 0xac, 0xc8, 0x5e, 0x72, 0x55, 0xa8, 0x7a, 0xdc, 0x5e, 0xa9, 0xe4, 0x7a,
487+
0xa3, 0x0a, 0x3a, 0x01, 0xb2, 0xd2, 0x74, 0xc6, 0xab, 0xfe, 0xd4, 0x7b, 0x5b,
488+
0x14, 0xb2, 0xf1, 0x59, 0xc0, 0x4e, 0x36, 0xb3, 0x37, 0xb5, 0xf2, 0x0d, 0x74,
489+
0x87, 0x5d, 0x4d, 0x28, 0x8d, 0xd8, 0x7a, 0x77, 0x13, 0x3d, 0xd9, 0x12,
490490
};
491491
} // namespace FAEST_EM_256F
492492
} // namespace vole_tvs

0 commit comments

Comments
 (0)