diff --git a/CMakeLists.txt b/CMakeLists.txt index 2115d968..0e0837d3 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,5 +1,5 @@ cmake_minimum_required(VERSION 3.13) -project(cryptocore VERSION 0.0.1 LANGUAGES C) +project(pqc VERSION 0.0.1 LANGUAGES C) include(FetchContent) include(ExternalProject) @@ -138,7 +138,7 @@ include(.cmake/common.mk) # Control Debug/Release mode if(CMAKE_BUILD_TYPE_LOWER STREQUAL "debug") - string(APPEND PQC_CMAKE_C_CXX_FLAGS " -g3 -O0 -Wno-unused") +string(APPEND PQC_CMAKE_C_CXX_FLAGS " -g3 -O0") endif() # Set CPU architecture @@ -184,17 +184,17 @@ if(PQC_WEAK_RANDOMBYTES) endif() # Build CPU features -set(CMAKE_C_FLAGS "${PQC_CMAKE_C_CXX_FLAGS} ${EXTRA_C_CXX_FLAGS}") -set(CMAKE_CXX_FLAGS "$${PQC_CMAKE_C_CXX_FLAGS} {EXTRA_C_CXX_FLAGS}") +set(CMAKE_C_FLAGS "-O0") +set(CMAKE_CXX_FLAGS "${PQC_CMAKE_C_CXX_FLAGS}") set(BUILD_PIC ON CACHE BOOL "") add_subdirectory(3rd/cpu_features) # PQC library # Set C, CXX, and LD flags +if(NOT CMAKE_BUILD_TYPE_LOWER STREQUAL "debug") string(APPEND PQC_CMAKE_C_CXX_FLAGS " -Wpedantic") -set(CMAKE_C_FLAGS "${PQC_CMAKE_C_CXX_FLAGS} ${EXTRA_C_CXX_FLAGS}") -set(CMAKE_CXX_FLAGS "${PQC_CMAKE_C_CXX_FLAGS} ${EXTRA_C_CXX_FLAGS}") +endif() string(APPEND LDFLAGS "${EXTRA_LDFLAGS}") include_directories( public @@ -378,8 +378,8 @@ set(GOOGLETEST_PATH "${CMAKE_SOURCE_DIR}/3rd/gtest" CACHE PATH "Path to the gtes #endif() set(BENCHMARK_ENABLE_INSTALL OFF CACHE BOOL "" FORCE) set(BENCHMARK_ENABLE_EXCEPTIONS OFF CACHE BOOL "" FORCE) -set(CMAKE_C_FLAGS "${EXTRA_C_CXX_FLAGS}") -set(CMAKE_CXX_FLAGS "${EXTRA_C_CXX_FLAGS}") +#set(CMAKE_C_FLAGS "${EXTRA_C_CXX_FLAGS}") +#set(CMAKE_CXX_FLAGS "${EXTRA_C_CXX_FLAGS}") if (MEMSAN) set(BENCHMARK_USE_LIBCXX ON CACHE BOOL "" FORCE) # Since build requires C++20 it is safe to assume that std::regex is available. diff --git a/src/common/utils.h b/src/common/utils.h index 11111ef0..fef1cfb9 100644 --- a/src/common/utils.h +++ b/src/common/utils.h @@ -38,6 +38,23 @@ extern "C" { (((uint16_t)(x)[0])<<8 | \ ((uint16_t)(x)[1])<<0) \ +//#if !defined(NDEBUG) +#include +static inline void dump_buffer_hex(FILE *f, int ind, const void* data, size_t size) { + if (!f) { + f = stdout; + } + fprintf(f, "%*s", ind, " "); + for (size_t i = 0; i < size; ++i) { + fprintf(f, "%02X:", ((uint8_t*)data)[i]); + if ((i+1) % 32 == 0 || i+1 == size) { + fprintf(f, "\n%*s", ind, " "); + } + } + fprintf(f,"\n"); +} +//#endif + #ifdef __cplusplus const cpu_features::X86Features* #else diff --git a/src/sign/dilithium/dilithium2/clean/poly.c b/src/sign/dilithium/dilithium2/clean/poly.c index f0591484..1dff62bf 100644 --- a/src/sign/dilithium/dilithium2/clean/poly.c +++ b/src/sign/dilithium/dilithium2/clean/poly.c @@ -5,6 +5,7 @@ #include "rounding.h" #include "symmetric.h" #include +#include "utils.h" #define DBENCH_START() #define DBENCH_STOP(t) @@ -464,6 +465,7 @@ void PQCLEAN_DILITHIUM2_CLEAN_poly_uniform_gamma1(poly *a, stream256_init(&state, seed, nonce); stream256_squeezeblocks(buf, POLY_UNIFORM_GAMMA1_NBLOCKS, &state); stream256_release(&state); + dump_buffer_hex(0,0,buf,4); PQCLEAN_DILITHIUM2_CLEAN_polyz_unpack(a, buf); } diff --git a/src/sign/dilithium/dilithium2/clean/sign.c b/src/sign/dilithium/dilithium2/clean/sign.c index 44df8b37..f79dd375 100644 --- a/src/sign/dilithium/dilithium2/clean/sign.c +++ b/src/sign/dilithium/dilithium2/clean/sign.c @@ -7,6 +7,7 @@ #include "sign.h" #include "symmetric.h" #include +#include "utils.h" /************************************************* * Name: PQCLEAN_DILITHIUM2_CLEAN_crypto_sign_keypair @@ -116,6 +117,8 @@ int PQCLEAN_DILITHIUM2_CLEAN_crypto_sign_signature(uint8_t *sig, rej: /* Sample intermediate vector y */ + dump_buffer_hex(0,0,rhoprime,64); + PQCLEAN_DILITHIUM2_CLEAN_polyvecl_uniform_gamma1(&y, rhoprime, nonce++); /* Matrix-vector multiplication */ @@ -129,6 +132,7 @@ rej: PQCLEAN_DILITHIUM2_CLEAN_polyveck_caddq(&w1); PQCLEAN_DILITHIUM2_CLEAN_polyveck_decompose(&w1, &w0, &w1); PQCLEAN_DILITHIUM2_CLEAN_polyveck_pack_w1(sig, &w1); + dump_buffer_hex(0, 4, sig, 10); shake256_inc_init(&state); shake256_inc_absorb(&state, mu, CRHBYTES); diff --git a/test/bench/sphincs.cc b/test/bench/sphincs.cc index 8d6664f5..bddb4b03 100644 --- a/test/bench/sphincs.cc +++ b/test/bench/sphincs.cc @@ -74,7 +74,6 @@ static void BenchKeyPair(benchmark::State &st) { static void BenchSign(benchmark::State &st) { int64_t t, total = 0; - struct pqcl_asym_t *key_pair = nullptr; uint32_t id = st.range(0); uint8_t msg[2048] = {0}; const pqc_ctx_t *ctx; @@ -96,7 +95,6 @@ static void BenchSign(benchmark::State &st) { static void BenchVerify(benchmark::State &st) { int64_t t, total = 0; - struct pqcl_asym_t *key_pair = nullptr; uint32_t id = st.range(0); const pqc_ctx_t *ctx; uint8_t msg[2048] = {0}; diff --git a/test/ut.cpp b/test/ut.cpp index 50b74a22..4f498748 100644 --- a/test/ut.cpp +++ b/test/ut.cpp @@ -8,6 +8,7 @@ extern "C" { #include "sign/dilithium/dilithium2/clean/reduce.h" #include "sign/dilithium/dilithium2/clean/poly.h" #include "sign/dilithium/dilithium2/clean/params.h" + #include "common/utils.h" } TEST(KEM,OneOff) { @@ -109,3 +110,54 @@ TEST(Dilithium, PolyZ) { ASSERT_EQ(p1.coeffs[j], p2.coeffs[j]); } } + +void print_buf(unsigned char *c, size_t l) { + for (size_t i=0; i sig(pqc_signature_bsz(p)); + std::vector sk(pqc_private_key_bsz(p)); + std::vector pk(pqc_public_key_bsz(p)); + + ASSERT_TRUE( + pqc_keygen(p, pk.data(), sk.data())); + uint64_t sigsz = sig.size(); + ASSERT_TRUE( + pqc_sig_create(p, sig.data(), &sigsz, msg, sizeof msg, sk.data())); + ASSERT_TRUE( + pqc_sig_verify(p, sig.data(), sigsz, msg, sizeof msg, pk.data())); + +// print_buf(sig.data(), sigsz); + print_buf(pk.data(), pk.size()); + print_buf(sk.data(), sk.size()); +} + +TEST(Dilithim2, Verify) { + uint8_t msg[] = {0xd8,0x1c,0x4d,0x8d,0x73,0x4f,0xcb,0xfb,0xea,0xde,0x3d,0x3f,0x8a,0x3,0x9f,0xaa,0x2a,0x2c,0x99,0x57,0xe8,0x35,0xad,0x55,0xb2,0x2e,0x75,0xbf,0x57,0xbb,0x55,0x6a,0xc8}; + const std::vector sig_exp = { + 0x7A, 0x4E, 0x55, 0x65, 0xA7, 0x24, 0xAE, 0x76, 0x9C, 0x50, 0xB1, 0xAA, 0x36, 0xAA, 0x47, 0x4E, 0xE6, 0x4A, 0xC1, 0xE9, 0xCE, 0x18, 0x73, 0x1F, 0x90, 0x68, 0x63, 0xE4, 0x9B, 0xEE, 0xBC, 0xEE, 0xEA, 0x3C, 0x4D, 0x90, 0xBE, 0xCF, 0x5A, 0x37, 0x78, 0xA6, 0x15, 0x9A, 0x40, 0xB0, 0xD9, 0xD5, 0x33, 0x87, 0x23, 0xDC, 0x83, 0x8C, 0x9E, 0xBB, 0xDE, 0x85, 0xE1, 0x1D, 0xCA, 0xF3, 0xBB, 0xAD, 0xBF, 0x62, 0x6D, 0xAF, 0x2E, 0xED, 0x73, 0xB9, 0x5E, 0xA6, 0x0C, 0x98, 0xA3, 0x77, 0xD0, 0x4D, 0x68, 0x14, 0x9A, 0xBC, 0xEC, 0xEF, 0x19, 0x0C, 0xEC, 0x0F, 0x32, 0xA7, 0xA2, 0xB3, 0x10, 0x6B, 0x75, 0x2D, 0xA8, 0xAA, 0x02, 0xAC, 0xBF, 0x75, 0x8E, 0xCB, 0x75, 0x49, 0x0D, 0xF7, 0xF7, 0xB2, 0x9C, 0x41, 0x7B, 0x7A, 0xCF, 0x4A, 0xC5, 0xC5, 0xFB, 0xE7, 0xC8, 0x98, 0x7F, 0x55, 0xDB, 0xBC, 0x07, 0xF5, 0xF6, 0x35, 0xF9, 0x5F, 0xAF, 0x23, 0x83, 0x1A, 0x18, 0xDE, 0xD5, 0x91, 0x2A, 0x73, 0x8F, 0xCA, 0x1B, 0x9C, 0x8E, 0x02, 0xBA, 0xCD, 0x8C, 0xE3, 0x3A, 0x2E, 0x09, 0xA5, 0xD0, 0xCD, 0xBB, 0xF7, 0xB6, 0xFC, 0xA9, 0x26, 0xB2, 0x8E, 0x28, 0x10, 0xC1, 0xAB, 0xB2, 0x03, 0x6B, 0x66, 0x68, 0x2C, 0xE1, 0x08, 0x92, 0x5D, 0xD6, 0xDC, 0x1D, 0xF0, 0x16, 0x51, 0xAB, 0x2E, 0x27, 0x2F, 0x74, 0x01, 0x62, 0xC4, 0xC6, 0x28, 0x2B, 0xE8, 0xDD, 0xB1, 0x70, 0x40, 0xD7, 0xFE, 0xEE, 0x38, 0xE5, 0xF7, 0x5E, 0x96, 0x88, 0x84, 0xDC, 0x4B, 0x01, 0x06, 0xCB, 0xE1, 0x51, 0x84, 0xBD, 0xA5, 0xE3, 0xA1, 0x1D, 0xF0, 0x50, 0x83, 0x1E, 0x41, 0x89, 0x68, 0x00, 0x0E, 0x53, 0x11, 0x06, 0x2C, 0x9C, 0x26, 0xB1, 0x60, 0x9B, 0xD9, 0xF8, 0x46, 0xF6, 0x79, 0xB4, 0x41, 0xEA, 0xEC, 0x94, 0x62, 0x7B, 0x19, 0x43, 0xFB, 0x97, 0xBF, 0x3B, 0x0E, 0xE8, 0x82, 0x65, 0x82, 0xDE, 0x5F, 0xFA, 0x2B, 0x17, 0x2B, 0x77, 0xA9, 0x09, 0xF9, 0xF0, 0xFC, 0xC4, 0xD4, 0xA2, 0x0F, 0x61, 0x03, 0x5B, 0xF3, 0xB3, 0x56, 0xF7, 0xF2, 0x5F, 0x3A, 0x7B, 0x6A, 0x30, 0x49, 0x8A, 0x0D, 0xD3, 0x7A, 0xB2, 0xE5, 0xCD, 0x8B, 0x68, 0x75, 0x1C, 0x3E, 0xA2, 0xD6, 0x1D, 0x1B, 0x40, 0x0B, 0x9C, 0x55, 0x3D, 0xA4, 0x39, 0x61, 0x91, 0x81, 0x79, 0x38, 0x7C, 0x01, 0x38, 0x2C, 0x99, 0x7A, 0x5E, 0xFD, 0x2A, 0x5F, 0x65, 0x56, 0x1F, 0xEB, 0xD4, 0xD8, 0x5F, 0x81, 0xFA, 0xF5, 0x73, 0x2D, 0xA3, 0xB1, 0xCE, 0x28, 0xE2, 0x1B, 0xC9, 0x3D, 0xB1, 0xD8, 0xF7, 0x33, 0x44, 0x55, 0x85, 0x36, 0x94, 0xD2, 0x8B, 0xC9, 0x03, 0xAA, 0x50, 0xCF, 0xC9, 0xF6, 0x31, 0x2B, 0x4E, 0xCB, 0x35, 0x0A, 0x61, 0x80, 0xC4, 0x94, 0x97, 0xF4, 0xD4, 0x92, 0x29, 0x63, 0x18, 0xD7, 0x23, 0x6D, 0xC6, 0x97, 0x97, 0x0C, 0x5E, 0x1C, 0x17, 0xAD, 0x19, 0x00, 0x7F, 0xAC, 0xE8, 0x4A, 0xB7, 0xA3, 0x65, 0xCD, 0xCC, 0xC1, 0x6B, 0x5B, 0x4E, 0xEB, 0x18, 0x0A, 0xE1, 0x93, 0x08, 0x22, 0xEC, 0xD8, 0xAE, 0x7C, 0xF4, 0x28, 0x8B, 0xD6, 0x96, 0xF7, 0xBD, 0x09, 0x14, 0x0F, 0x23, 0xBC, 0xA9, 0xD4, 0x9F, 0x25, 0x24, 0x3E, 0x46, 0x5F, 0x8E, 0x2C, 0x28, 0x56, 0x7F, 0xF2, 0xB9, 0x60, 0xD2, 0x9A, 0x2A, 0xFD, 0xD3, 0x81, 0xBA, 0xB9, 0xF7, 0x7E, 0xA4, 0x1B, 0xB4, 0x5A, 0xDD, 0x0E, 0x9A, 0xE0, 0x7B, 0x7B, 0xD7, 0xA4, 0x40, 0x06, 0x74, 0xCD, 0xD7, 0x3B, 0xF8, 0x43, 0x48, 0x84, 0xDD, 0x0F, 0xDA, 0xF2, 0x90, 0x84, 0xD2, 0x17, 0xD2, 0xF4, 0x52, 0x9F, 0xFB, 0x7E, 0x91, 0x33, 0x5C, 0x31, 0x5D, 0xD1, 0xB5, 0x6C, 0x57, 0x8F, 0x61, 0xDE, 0x53, 0xD7, 0x7F, 0x2C, 0x8A, 0x0C, 0xF3, 0x2C, 0x43, 0x5B, 0x4E, 0x64, 0x73, 0x2D, 0xFD, 0x6F, 0xB8, 0x2E, 0xBE, 0xD1, 0x66, 0x18, 0x56, 0x09, 0xF6, 0xE5, 0xDF, 0x87, 0x66, 0x39, 0x8B, 0xAA, 0xF8, 0xAC, 0x25, 0x5F, 0x28, 0xD7, 0x95, 0xCA, 0xBF, 0x29, 0x0A, 0x35, 0x82, 0x74, 0x04, 0xAB, 0xDE, 0x34, 0x66, 0xC2, 0x58, 0xB9, 0x55, 0x38, 0x23, 0x67, 0x0F, 0x9C, 0xAB, 0xBD, 0xB8, 0xBE, 0x61, 0xBE, 0x7E, 0xC7, 0x77, 0x91, 0x3B, 0x3F, 0x5C, 0xEC, 0xD7, 0x48, 0xD7, 0xCC, 0xA0, 0xDC, 0x64, 0x67, 0x33, 0xDA, 0x56, 0x5E, 0x65, 0x19, 0x39, 0x66, 0x97, 0x1D, 0xBC, 0x71, 0x29, 0x77, 0xB8, 0xE6, 0x51, 0x74, 0xE2, 0xD4, 0x5F, 0xB6, 0x7D, 0x76, 0x09, 0x1F, 0xDB, 0x67, 0x44, 0x35, 0xE4, 0xD7, 0x37, 0xF3, 0x79, 0x76, 0x52, 0x7B, 0x3C, 0xDE, 0xAB, 0x8D, 0x03, 0xCD, 0x54, 0x9F, 0x64, 0x8C, 0x8A, 0xF5, 0x1D, 0x7A, 0xF1, 0x37, 0x5A, 0x61, 0x56, 0x5E, 0x2B, 0xFE, 0x52, 0x06, 0xE3, 0xB9, 0x83, 0x2C, 0x9D, 0x80, 0x73, 0x3C, 0xAF, 0xD1, 0x71, 0x4B, 0xB4, 0xBD, 0xCF, 0x10, 0xC8, 0x13, 0xB1, 0x02, 0x69, 0x75, 0x25, 0x7D, 0xA3, 0x65, 0xFE, 0xA5, 0x7B, 0x65, 0x1D, 0x4F, 0x82, 0x32, 0x03, 0x3E, 0x57, 0x89, 0x88, 0x09, 0x67, 0xBD, 0x7E, 0xE7, 0x4F, 0xB0, 0x3D, 0x22, 0x3B, 0x32, 0xE7, 0x94, 0x65, 0x88, 0x56, 0x2D, 0x96, 0x11, 0xA3, 0x45, 0xB2, 0xE0, 0xA2, 0x37, 0x4D, 0x06, 0xCC, 0x0B, 0x45, 0xE1, 0x64, 0x9A, 0x9B, 0xC5, 0xCE, 0x66, 0xB5, 0x26, 0x7B, 0xB2, 0xBF, 0xC8, 0xC0, 0xFC, 0x77, 0xA3, 0x31, 0x25, 0x7C, 0xB9, 0x21, 0x81, 0xB1, 0x23, 0x41, 0x0B, 0x41, 0x77, 0x03, 0x5B, 0x93, 0x3D, 0xC5, 0xEA, 0xC2, 0x47, 0xFD, 0x78, 0xA1, 0xCA, 0xEC, 0xFD, 0x65, 0xA1, 0xAA, 0xD2, 0xC6, 0xAC, 0x50, 0x29, 0x8C, 0xC7, 0x39, 0xB2, 0x87, 0x89, 0xF1, 0xF9, 0xAF, 0x4F, 0x4C, 0x55, 0xAA, 0x07, 0x10, 0xC4, 0xDA, 0x2E, 0xBC, 0xFD, 0xBC, 0xC0, 0x27, 0x0C, 0x5D, 0xD5, 0xD4, 0x4E, 0x85, 0x1E, 0x81, 0x36, 0xC4, 0xD5, 0x8D, 0x2F, 0xE5, 0xA0, 0x93, 0xCE, 0xDD, 0x2F, 0x97, 0xB0, 0x0E, 0xC6, 0xAB, 0x56, 0xF8, 0x77, 0x2C, 0x2D, 0x9F, 0xA3, 0x8B, 0x89, 0xB3, 0x35, 0x2D, 0x77, 0x4C, 0x51, 0x01, 0xC5, 0xCB, 0x2C, 0xD0, 0xB8, 0x30, 0xC0, 0xDD, 0x8D, 0x8F, 0x51, 0x21, 0xBD, 0x68, 0xF4, 0xFF, 0xE5, 0xA8, 0x9A, 0xD8, 0x5D, 0xC8, 0xE9, 0xDC, 0xA7, 0x9D, 0x12, 0x0D, 0x4E, 0xF6, 0x06, 0x6F, 0x8E, 0xDE, 0x17, 0x40, 0x01, 0x11, 0x84, 0x64, 0x0D, 0xA5, 0xBB, 0x66, 0xA4, 0xAE, 0x83, 0x56, 0x7B, 0xCB, 0x31, 0xA7, 0x10, 0xA4, 0x02, 0xB9, 0xF7, 0x1C, 0xEE, 0x37, 0xC9, 0x80, 0xDE, 0x60, 0xDD, 0xC0, 0xCE, 0xE9, 0xD6, 0x2D, 0x54, 0xAB, 0x5D, 0xE0, 0x3A, 0xA9, 0x7E, 0xE8, 0x5D, 0x35, 0xDC, 0x23, 0x9E, 0xCE, 0x30, 0x6B, 0x68, 0x78, 0xCF, 0x72, 0xBE, 0xAC, 0x91, 0x64, 0xD4, 0x1B, 0xB0, 0x3D, 0x0B, 0x42, 0xB5, 0xFE, 0x18, 0x1A, 0x86, 0x9E, 0xCB, 0x91, 0x44, 0x67, 0x21, 0x8D, 0x68, 0xEF, 0xC7, 0x88, 0x4E, 0xE3, 0x1A, 0xB5, 0x75, 0x74, 0x1A, 0x56, 0x33, 0xF8, 0x86, 0x48, 0xC2, 0x06, 0x33, 0x55, 0x0F, 0x4D, 0x7E, 0xCA, 0xB7, 0x4E, 0x90, 0x8A, 0x2A, 0xA6, 0x9F, 0xDC, 0xD4, 0x18, 0x06, 0x9D, 0xEB, 0x34, 0xDB, 0xDA, 0x11, 0xB9, 0x0C, 0x43, 0xE9, 0x9B, 0x1F, 0xDF, 0xC4, 0xBA, 0x6A, 0x60, 0x86, 0x67, 0x2A, 0xAB, 0xD4, 0x2B, 0xDC, 0x4D, 0x67, 0x94, 0x97, 0x08, 0xD6, 0x2A, 0x26, 0x0B, 0xE8, 0xFD, 0x76, 0xD4, 0x68, 0x75, 0xF4, 0x63, 0x13, 0x93, 0xDF, 0x5D, 0x46, 0x2E, 0xE6, 0x9D, 0xD1, 0x09, 0x92, 0xF7, 0x48, 0x92, 0x0A, 0xD4, 0x36, 0x36, 0x54, 0xFD, 0x1F, 0x25, 0x31, 0x05, 0x80, 0x13, 0x23, 0xED, 0x60, 0xB0, 0xAA, 0x65, 0xC8, 0x7D, 0x63, 0x1B, 0x09, 0x16, 0x6B, 0x31, 0x57, 0xF2, 0x20, 0x71, 0xDD, 0xE9, 0x7C, 0x3C, 0x8C, 0x97, 0x89, 0x31, 0x6A, 0x15, 0xE7, 0x3E, 0x39, 0xAE, 0xC7, 0x4D, 0x56, 0x74, 0x57, 0x23, 0x10, 0xE6, 0x68, 0x6F, 0xED, 0xF0, 0x77, 0x2A, 0x63, 0x81, 0x6E, 0x47, 0xD4, 0xD3, 0x32, 0xB3, 0x9A, 0x8B, 0x67, 0x4E, 0x72, 0xB5, 0x30, 0x79, 0xEB, 0x82, 0x4D, 0xC2, 0xD5, 0x47, 0x09, 0x4E, 0xC1, 0xE2, 0xCD, 0x96, 0xA1, 0x54, 0xF3, 0x02, 0x5B, 0x53, 0x6F, 0x04, 0xA3, 0x8B, 0xA6, 0x13, 0xD9, 0x59, 0x21, 0x39, 0xE4, 0x9E, 0x5F, 0x60, 0x3D, 0xB9, 0x3B, 0x1E, 0xDE, 0x1C, 0xC2, 0x14, 0x32, 0x7B, 0xC1, 0x5C, 0xB3, 0x77, 0x69, 0x30, 0x61, 0x69, 0x46, 0xD1, 0x35, 0xAA, 0xBD, 0x7C, 0x78, 0x75, 0xF2, 0x27, 0x21, 0xD4, 0xAE, 0xE7, 0x84, 0x3B, 0x89, 0xBB, 0xFC, 0x2F, 0x46, 0xCE, 0xDA, 0xE5, 0x29, 0xA2, 0xDA, 0x53, 0x8D, 0x68, 0xA2, 0x58, 0x9B, 0x58, 0x20, 0x07, 0xCD, 0x4C, 0xFE, 0xEE, 0x74, 0xE9, 0x6F, 0xF7, 0x63, 0xFE, 0x12, 0x0C, 0xC4, 0x4C, 0xFC, 0x70, 0x2C, 0x55, 0x84, 0xC0, 0xD8, 0x40, 0x07, 0x62, 0xCC, 0x4A, 0x31, 0xF8, 0x31, 0xC0, 0x19, 0x10, 0x19, 0xC7, 0x8B, 0xAE, 0x30, 0x9C, 0xAC, 0x8D, 0xDB, 0xE5, 0x3F, 0x9C, 0x0D, 0x18, 0xEC, 0x6A, 0x39, 0xB1, 0x93, 0x2D, 0x6B, 0x9D, 0x7E, 0x2F, 0x41, 0xCE, 0xB4, 0x35, 0x6B, 0x15, 0x5C, 0xD0, 0x44, 0xF1, 0x3E, 0x1E, 0x6F, 0xC5, 0x8E, 0xDC, 0x05, 0xA2, 0x17, 0x02, 0xAC, 0x2C, 0x55, 0x75, 0x71, 0x21, 0x13, 0xA2, 0x19, 0x86, 0xC1, 0xD0, 0x32, 0xC1, 0xD2, 0x4A, 0xF3, 0x78, 0x02, 0xA1, 0x0F, 0x30, 0xE3, 0xD1, 0x95, 0xBA, 0x2A, 0x85, 0xE5, 0xA3, 0x1E, 0xC9, 0x93, 0x25, 0xFC, 0x48, 0x5C, 0x51, 0x15, 0xD2, 0x69, 0x10, 0x04, 0x9C, 0xCD, 0xE6, 0x41, 0x5B, 0xF8, 0x25, 0x7D, 0x03, 0x73, 0x1A, 0x61, 0x10, 0xC7, 0xD6, 0x19, 0x44, 0x94, 0x20, 0xBA, 0xE0, 0xF4, 0xD7, 0x62, 0x07, 0x63, 0xBC, 0x2C, 0x82, 0xA6, 0x68, 0x50, 0x09, 0x84, 0xE8, 0x0A, 0x4E, 0xC3, 0x09, 0xF5, 0x9A, 0xA9, 0x6E, 0xC2, 0xF0, 0x8A, 0x88, 0xA1, 0xDC, 0x6E, 0x36, 0x9B, 0x1D, 0x41, 0x16, 0x1A, 0xD2, 0xD0, 0xC6, 0xAE, 0x72, 0x8E, 0x69, 0x6B, 0x3D, 0x71, 0x48, 0xE4, 0x3B, 0xDB, 0xDA, 0x00, 0x11, 0x33, 0x71, 0x46, 0xFB, 0x66, 0x49, 0x01, 0xC5, 0xAC, 0x15, 0x75, 0x91, 0x73, 0xA2, 0xAC, 0xCE, 0x69, 0xEB, 0x50, 0xF1, 0xA0, 0xDA, 0x65, 0xD8, 0x6C, 0x49, 0xF9, 0xFF, 0xC4, 0x8B, 0x3F, 0x86, 0x9F, 0xE2, 0xC0, 0xA9, 0xA1, 0xE8, 0xBA, 0xBF, 0xBA, 0x6C, 0x05, 0x82, 0x69, 0xAC, 0x7D, 0x76, 0xC5, 0x5B, 0x14, 0x90, 0xF3, 0x5C, 0xF4, 0xF1, 0x0B, 0xEE, 0x5A, 0x58, 0x31, 0x09, 0xD4, 0x6D, 0x17, 0x41, 0x46, 0x4B, 0xED, 0x45, 0x9D, 0x3A, 0xC2, 0x63, 0x79, 0x31, 0xFD, 0x86, 0xD7, 0x2A, 0xE9, 0x8E, 0xC5, 0xD5, 0x77, 0x37, 0x57, 0x24, 0x8F, 0xAA, 0x9D, 0x56, 0x84, 0xEE, 0x15, 0x49, 0xF3, 0xBB, 0xED, 0x48, 0xA0, 0xA8, 0x4C, 0x97, 0x6D, 0x17, 0x75, 0x34, 0xCC, 0x31, 0x2D, 0xC0, 0xAB, 0xAD, 0xF6, 0x63, 0x17, 0x6B, 0x36, 0x73, 0xFF, 0x89, 0x6C, 0xE1, 0x12, 0x74, 0xE4, 0x55, 0xDA, 0xB3, 0x8E, 0xAA, 0x3D, 0x3D, 0xF4, 0xC5, 0x3F, 0xFC, 0x4E, 0xC6, 0xEF, 0x88, 0x4D, 0x0D, 0xEB, 0x61, 0x60, 0x4C, 0xB2, 0x4A, 0x6C, 0x3E, 0x84, 0x26, 0x56, 0x28, 0x6C, 0xF4, 0xC2, 0xAA, 0xDB, 0x7A, 0x07, 0x4B, 0xEC, 0xC3, 0x5E, 0x72, 0xC3, 0x0D, 0xFB, 0x0D, 0xA9, 0x65, 0x22, 0x56, 0x17, 0x2C, 0x88, 0x93, 0x07, 0x29, 0xF0, 0x85, 0xE9, 0x6A, 0x1F, 0xA5, 0x39, 0xA2, 0xEC, 0x9A, 0xF1, 0x95, 0x31, 0xAA, 0xAC, 0xC8, 0x71, 0xB4, 0xB5, 0xC8, 0x6D, 0xF2, 0x06, 0x2E, 0xCC, 0x61, 0x7F, 0xB9, 0x7A, 0xA6, 0x4D, 0x24, 0xBE, 0x38, 0x5D, 0xB6, 0xEB, 0xBB, 0xB8, 0xF6, 0xDA, 0x84, 0x02, 0x28, 0xE6, 0xCC, 0x62, 0xC0, 0x9B, 0x12, 0xA9, 0xBA, 0xA1, 0x8D, 0x61, 0xE4, 0x15, 0x13, 0x51, 0xB7, 0x90, 0x55, 0x93, 0x26, 0xDF, 0x9C, 0x1B, 0xCC, 0x0A, 0x31, 0x06, 0x88, 0x62, 0x07, 0x92, 0xFE, 0x8C, 0xDC, 0xAB, 0x4A, 0xFF, 0xDF, 0x4C, 0xC9, 0x70, 0xA1, 0x72, 0x3E, 0xBD, 0x4A, 0x03, 0xDE, 0x20, 0x50, 0x89, 0xE6, 0x3A, 0x09, 0x26, 0x55, 0xA1, 0xAB, 0x6E, 0x32, 0xE6, 0x86, 0x22, 0xCF, 0x91, 0x87, 0x4D, 0x21, 0x32, 0xCC, 0x6D, 0x8E, 0x79, 0xB8, 0x24, 0x06, 0xD1, 0xAE, 0x44, 0xD7, 0xEC, 0x72, 0x56, 0xE8, 0x00, 0xF9, 0x1C, 0x89, 0x1F, 0x9F, 0x0B, 0xE9, 0xA1, 0x9A, 0x82, 0xCC, 0xF2, 0x5F, 0x3C, 0x8B, 0x7D, 0x09, 0x01, 0x38, 0xC7, 0x2B, 0xCC, 0xD9, 0xF6, 0x6D, 0xF6, 0x83, 0xEB, 0x77, 0x6A, 0xAA, 0x4F, 0x97, 0x5F, 0x4B, 0xB8, 0x56, 0xBD, 0x34, 0x66, 0xC1, 0xA4, 0xF4, 0xAF, 0x70, 0x73, 0xB0, 0x18, 0x14, 0xE4, 0x4E, 0x64, 0x9C, 0x02, 0x95, 0x64, 0xA3, 0xEC, 0x73, 0xEA, 0xF4, 0xFA, 0xB2, 0xE8, 0x72, 0x02, 0x0D, 0xF3, 0xA7, 0x30, 0x46, 0xAF, 0xDA, 0x3B, 0xF1, 0xD9, 0x13, 0xC7, 0xF7, 0x37, 0xB8, 0x02, 0xCE, 0x6C, 0xF9, 0x9F, 0x64, 0xF1, 0x3C, 0xBD, 0xD5, 0x0E, 0x53, 0xD4, 0xB0, 0x05, 0x94, 0x99, 0x6C, 0x36, 0x32, 0xA1, 0xFC, 0xEA, 0xF3, 0xC0, 0x35, 0xC6, 0x7F, 0xF1, 0xB0, 0x7F, 0x60, 0x6A, 0x25, 0x19, 0xEB, 0x8D, 0x15, 0xDE, 0xD3, 0xDF, 0x8D, 0xD0, 0x79, 0x67, 0xD4, 0x05, 0x6F, 0xB8, 0xFC, 0x98, 0xDC, 0x9A, 0x65, 0x65, 0x2C, 0x78, 0xA8, 0x0E, 0x3B, 0x30, 0xF4, 0xC3, 0x98, 0x71, 0xA2, 0x03, 0x90, 0x6A, 0x15, 0x44, 0xAB, 0xAE, 0x82, 0x09, 0xD7, 0x23, 0xA4, 0xEE, 0xA0, 0x26, 0xE0, 0x78, 0xCF, 0x2E, 0xB3, 0x38, 0x53, 0x5E, 0xFD, 0x35, 0xB8, 0x15, 0xD0, 0xE2, 0x7F, 0xA4, 0x02, 0xA1, 0x79, 0xEE, 0x13, 0xF7, 0xB8, 0x27, 0x51, 0x33, 0xA5, 0xD2, 0x30, 0x12, 0x8C, 0x6E, 0x45, 0x54, 0x2B, 0xDB, 0xAC, 0xD8, 0x9A, 0x75, 0xB9, 0x49, 0x11, 0x0C, 0x8E, 0x28, 0x22, 0x9E, 0xD8, 0x4A, 0xA2, 0xA7, 0x75, 0x0B, 0x7B, 0xEC, 0xD3, 0x9A, 0x17, 0x04, 0xCD, 0xFE, 0x73, 0xCD, 0x98, 0x57, 0x45, 0x05, 0x74, 0x11, 0xDA, 0xA4, 0x83, 0x78, 0x87, 0x7F, 0x70, 0xFE, 0x0B, 0xC8, 0x0C, 0xB3, 0xCF, 0x91, 0xF8, 0x3E, 0x05, 0xED, 0xDB, 0xC7, 0x53, 0xC9, 0x8F, 0x0C, 0x22, 0x10, 0x26, 0x47, 0x5A, 0x81, 0x45, 0x13, 0xD4, 0x1F, 0xD3, 0xBB, 0xFD, 0x92, 0xEB, 0xFD, 0x0A, 0x12, 0x76, 0xF0, 0xCA, 0xC2, 0x43, 0xE8, 0x3F, 0x42, 0x53, 0xFA, 0x4A, 0x7F, 0xE1, 0xA3, 0xAE, 0x6F, 0xCF, 0x12, 0x8B, 0xEA, 0xC3, 0xED, 0x26, 0xB1, 0x01, 0xB4, 0x58, 0x54, 0x3B, 0x24, 0x13, 0xC2, 0x7F, 0xDD, 0x09, 0x5C, 0x3B, 0x70, 0x3B, 0xF1, 0xAD, 0x4F, 0x8F, 0xEB, 0x76, 0x5E, 0xB1, 0xF0, 0xFD, 0x15, 0xE4, 0x2C, 0xB3, 0x0A, 0x31, 0x50, 0x50, 0x54, 0x0D, 0x11, 0x47, 0xC6, 0x2E, 0x09, 0x3B, 0x49, 0x72, 0xE1, 0xCA, 0xC0, 0x95, 0x53, 0x80, 0x73, 0xBA, 0xED, 0x8A, 0x0B, 0xFF, 0x23, 0x79, 0x38, 0x58, 0xF7, 0xC2, 0x5B, 0x01, 0x27, 0xD0, 0x92, 0xFA, 0xC0, 0x9A, 0x4A, 0x01, 0x9F, 0xC4, 0xE4, 0x91, 0x5D, 0xD4, 0x7B, 0x0B, 0x12, 0x22, 0x29, 0xF4, 0xEE, 0x6A, 0x60, 0xC9, 0x65, 0xF6, 0xC7, 0xCB, 0xC3, 0xB6, 0x87, 0x33, 0xCB, 0xD4, 0x7A, 0xB9, 0x25, 0xA3, 0x26, 0x6B, 0x20, 0x86, 0xC0, 0x06, 0xC0, 0x8D, 0x09, 0x51, 0x39, 0x8F, 0x69, 0x11, 0x85, 0x14, 0xE1, 0x6A, 0xF4, 0x5D, 0xA6, 0x6C, 0x88, 0x3D, 0xEA, 0x2C, 0x30, 0x9B, 0xBE, 0x15, 0x19, 0xDD, 0x83, 0xD4, 0x3E, 0x36, 0xD0, 0xE1, 0x67, 0x3B, 0x66, 0x44, 0x6E, 0x09, 0x2C, 0x2B, 0xAB, 0x39, 0xE3, 0xA5, 0x35, 0xAD, 0x7C, 0x8E, 0x26, 0x98, 0x4C, 0xE7, 0x33, 0x2F, 0x72, 0xC1, 0xF5, 0x8F, 0x05, 0xBC, 0xA2, 0xAC, 0x3D, 0x9C, 0xA6, 0xD9, 0xA6, 0x78, 0x03, 0x91, 0xCD, 0xA4, 0x51, 0x34, 0x04, 0x14, 0x0F, 0xAA, 0x63, 0xE4, 0x69, 0x39, 0x3D, 0x68, 0x18, 0xC2, 0x6A, 0x47, 0x46, 0xAD, 0x9E, 0xAB, 0x13, 0xA8, 0x10, 0x51, 0x1E, 0x55, 0x54, 0xDA, 0x4C, 0x2A, 0x44, 0x11, 0x6B, 0x56, 0xF0, 0x64, 0xA1, 0xD7, 0xD7, 0x60, 0x5F, 0xB7, 0x53, 0x71, 0x3D, 0x8F, 0xCB, 0x81, 0xB6, 0x6C, 0xB3, 0xCD, 0xDD, 0x9F, 0xF5, 0x20, 0x2A, 0xF0, 0x1C, 0x30, 0x59, 0x7C, 0xD1, 0xF0, 0x27, 0x5A, 0x46, 0x83, 0x87, 0x7D, 0x62, 0xB1, 0xD1, 0xE0, 0xE2, 0xD9, 0x66, 0x8B, 0xA9, 0x5B, 0x24, 0xF1, 0x38, 0x88, 0x15, 0xBB, 0x6E, 0xAF, 0xFF, 0x47, 0xCA, 0x4E, 0xD3, 0x4C, 0x33, 0x4D, 0x0A, 0xD3, 0x39, 0x88, 0xA1, 0x06, 0x9C, 0xEB, 0x43, 0x96, 0x65, 0x74, 0x5D, 0x37, 0x89, 0xCC, 0x10, 0x3A, 0x05, 0xF0, 0x05, 0x56, 0xF5, 0x57, 0x78, 0xCB, 0xC4, 0x22, 0x9F, 0xC5, 0xD3, 0xA1, 0x5B, 0xD6, 0xD1, 0x02, 0xB9, 0x64, 0xE3, 0x91, 0xBD, 0xBE, 0x9A, 0xCE, 0x2F, 0x8E, 0xBB, 0x96, 0x33, 0x17, 0x80, 0x96, 0x76, 0xC5, 0x31, 0x29, 0xF6, 0x07, 0x16, 0x19, 0x29, 0x30, 0x4E, 0x4F, 0x51, 0x6F, 0x73, 0x81, 0x85, 0x90, 0x95, 0xFD, 0xFF, 0x0D, 0x13, 0x15, 0x25, 0x3D, 0x46, 0x52, 0x54, 0x55, 0x66, 0x6D, 0x7D, 0x7E, 0x9A, 0xA0, 0xD4, 0xD7, 0xE8, 0xEF, 0x07, 0x2E, 0x45, 0x47, 0x4E, 0x53, 0x54, 0x5E, 0x62, 0x66, 0x6D, 0x7D, 0x87, 0x98, 0xB2, 0xE1, 0xFD, 0x0F, 0x11, 0x1E, 0x25, 0x3F, 0x5A, 0x63, 0x66, 0x73, 0x90, 0xA8, 0xB2, 0xC6, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x23, 0x34, 0x41, + }; + std::vector sig; + sig.resize(sig_exp.size()); + uint8_t pk[] = { + 0x20, 0x31, 0xBE, 0x2D, 0x15, 0x82, 0xE2, 0x02, 0x33, 0x9C, 0xFC, 0xE5, 0x0C, 0x59, 0x28, 0xB3, 0x68, 0x0B, 0x68, 0xA2, 0x6B, 0x72, 0x3E, 0xB1, 0xF4, 0x08, 0xA9, 0xE2, 0xF4, 0x2A, 0x7D, 0xD6, 0xFB, 0x24, 0x55, 0x77, 0x5A, 0x38, 0x5B, 0xC8, 0xF8, 0x09, 0x0C, 0xE2, 0x90, 0x3A, 0xE7, 0xB1, 0x55, 0x1F, 0xD9, 0x87, 0x28, 0x76, 0xC2, 0x5A, 0x4B, 0x40, 0x55, 0x74, 0x74, 0xF8, 0x09, 0x82, 0x4F, 0xBA, 0x57, 0x4E, 0x38, 0x23, 0x12, 0x4A, 0x6A, 0x58, 0xF6, 0xC3, 0x2D, 0x35, 0x5B, 0x7F, 0xF6, 0xEA, 0x3E, 0x23, 0x6B, 0xB9, 0xEE, 0xA6, 0x8D, 0x6D, 0xC7, 0x71, 0x17, 0x79, 0x76, 0x42, 0xDD, 0x1A, 0x1E, 0xA6, 0x17, 0x73, 0x92, 0x09, 0x11, 0xB7, 0xCB, 0xB2, 0x20, 0xA7, 0xF0, 0x1E, 0xB0, 0x8F, 0x53, 0x61, 0xBB, 0xD7, 0x0F, 0xB5, 0x3C, 0xF9, 0x79, 0xCA, 0x24, 0x77, 0x3C, 0x13, 0x3E, 0xF9, 0xC3, 0x27, 0x2D, 0x7B, 0x8E, 0x36, 0x51, 0xF4, 0x62, 0x93, 0x94, 0xCD, 0x4A, 0xFF, 0x73, 0xED, 0x15, 0x5D, 0xE0, 0x1B, 0xE3, 0x74, 0x2F, 0x73, 0xEE, 0xBB, 0xFE, 0x13, 0x49, 0x81, 0xD1, 0xB8, 0xBF, 0x0B, 0x74, 0x91, 0xE6, 0x04, 0xF7, 0xE2, 0xD4, 0xC5, 0x68, 0xEE, 0x08, 0x9E, 0x52, 0x19, 0xE3, 0x3D, 0x0B, 0x59, 0xA9, 0xFC, 0xFC, 0xF8, 0x5F, 0x5A, 0x24, 0xE0, 0x2D, 0x48, 0xD0, 0xEE, 0x66, 0x40, 0x16, 0x0E, 0xF4, 0xA7, 0x4F, 0x9E, 0xBA, 0x2F, 0xEC, 0xA7, 0x20, 0xB9, 0xF0, 0xED, 0xD8, 0x85, 0x45, 0x1C, 0xCC, 0xF2, 0xC8, 0x71, 0x64, 0x9F, 0xC9, 0xC8, 0x1E, 0x0D, 0xFA, 0x41, 0x05, 0x85, 0x4E, 0x2B, 0xD1, 0x93, 0x1A, 0xD4, 0x5E, 0x5A, 0xBC, 0x5B, 0x31, 0xD1, 0x09, 0x8C, 0x2A, 0x0E, 0x82, 0x00, 0x00, 0x4A, 0xCB, 0x46, 0x27, 0x94, 0xB9, 0x07, 0x31, 0x12, 0x42, 0x4D, 0xD7, 0xF8, 0x36, 0x13, 0x38, 0x6F, 0xF1, 0xFB, 0x88, 0x04, 0xBF, 0xC3, 0x57, 0x45, 0x71, 0xAC, 0x7D, 0x8C, 0xAF, 0x11, 0xE3, 0xB9, 0x47, 0x53, 0x82, 0x10, 0x74, 0x36, 0xF0, 0xBC, 0x37, 0xFE, 0x64, 0x25, 0xCD, 0x1B, 0x01, 0xDF, 0x0F, 0x38, 0xD4, 0x3B, 0xDF, 0xFE, 0x1B, 0xD9, 0x4A, 0xAA, 0x0C, 0x9E, 0x55, 0x54, 0x25, 0x60, 0x07, 0xE9, 0x4E, 0xE4, 0xE7, 0xF9, 0xC9, 0x1F, 0x47, 0x9A, 0x87, 0x13, 0xA1, 0x88, 0xEE, 0x0C, 0x99, 0x76, 0x52, 0x0F, 0xC2, 0xCB, 0xC1, 0x5E, 0xE1, 0x6E, 0x73, 0x60, 0x18, 0xFF, 0xC6, 0xDC, 0xC6, 0x00, 0xA6, 0x82, 0xB2, 0x44, 0xE0, 0x9D, 0x42, 0x5A, 0xAB, 0x06, 0xD9, 0xBB, 0xCC, 0x1F, 0x34, 0x27, 0xCA, 0xC7, 0xDE, 0x5D, 0xF8, 0x41, 0x65, 0xB5, 0xAF, 0xB1, 0x6C, 0x0D, 0x47, 0x29, 0xCA, 0xAE, 0x1F, 0x03, 0xD9, 0x3E, 0x69, 0xA5, 0x49, 0x43, 0xAD, 0x6F, 0xDF, 0x20, 0xFC, 0x33, 0x1D, 0x19, 0x30, 0x95, 0xCA, 0x2F, 0x7B, 0x85, 0x4E, 0xF4, 0x1C, 0x18, 0xF4, 0xB0, 0x9F, 0x59, 0x3F, 0x74, 0x84, 0x2E, 0x68, 0xED, 0xDD, 0x7A, 0xCA, 0x83, 0xAE, 0x6B, 0x60, 0x34, 0xF5, 0x7B, 0x28, 0x69, 0x72, 0x43, 0x67, 0x1D, 0x95, 0x1D, 0x13, 0x27, 0x76, 0x0A, 0x8F, 0xC8, 0x99, 0xA3, 0xDE, 0x1E, 0x90, 0xF8, 0x3D, 0x5A, 0x13, 0xFD, 0xCC, 0x48, 0xAD, 0xCF, 0x74, 0x68, 0xA2, 0x15, 0xCF, 0x1D, 0x7E, 0x8A, 0x70, 0x04, 0x06, 0xE9, 0x53, 0x66, 0xB7, 0xCA, 0xF6, 0x78, 0x85, 0x49, 0xF4, 0x70, 0xBA, 0xE3, 0xDE, 0x5E, 0x82, 0xA0, 0x60, 0xAA, 0x9C, 0xBA, 0x87, 0x6D, 0xC6, 0x1E, 0x33, 0x56, 0x19, 0x36, 0x39, 0x2A, 0xAB, 0x15, 0xB1, 0x70, 0x30, 0xAA, 0xE6, 0xD0, 0x79, 0x79, 0x38, 0x01, 0x54, 0x7C, 0xD9, 0x0D, 0x6B, 0xF2, 0x71, 0xA4, 0x78, 0x0E, 0xA0, 0x8E, 0x67, 0x56, 0x05, 0x36, 0x73, 0x80, 0x7C, 0xD6, 0x4F, 0x74, 0x97, 0x6A, 0x29, 0xE3, 0x6C, 0x30, 0x65, 0x52, 0x68, 0xD9, 0x2B, 0xA5, 0xC0, 0xE2, 0xFC, 0x90, 0xA7, 0x39, 0xD6, 0xF4, 0x72, 0xD7, 0xA3, 0x2D, 0xD7, 0x11, 0xDC, 0xB2, 0xF6, 0x37, 0x8B, 0x81, 0xD0, 0xDB, 0x94, 0xDA, 0x3A, 0x72, 0xC7, 0x0B, 0xE1, 0xE6, 0x7C, 0xED, 0x69, 0x6B, 0xA7, 0xA4, 0x3A, 0x1E, 0x1C, 0xD1, 0x76, 0xF9, 0x97, 0xFE, 0xA3, 0x6A, 0xE5, 0x24, 0x9F, 0x7E, 0x4C, 0xA0, 0x39, 0x3B, 0xFA, 0xF7, 0xBA, 0x7C, 0xD8, 0xA4, 0xF0, 0xAE, 0x2D, 0x55, 0xF2, 0x59, 0x21, 0xF2, 0xA5, 0xE9, 0x3B, 0x06, 0x5A, 0xF9, 0xC5, 0x2F, 0x51, 0x98, 0x99, 0xA4, 0xA1, 0x32, 0x1B, 0x0F, 0x0A, 0x3B, 0x4A, 0x03, 0x51, 0x02, 0x19, 0xC4, 0x32, 0x2F, 0x2D, 0x00, 0x1E, 0x3C, 0xE6, 0x8F, 0x12, 0x55, 0xE9, 0x47, 0xA7, 0x18, 0x01, 0xEC, 0x4F, 0x43, 0xC5, 0xCD, 0x0C, 0xBC, 0xBF, 0xFD, 0x6C, 0x8F, 0xDE, 0x5C, 0x05, 0xB8, 0x01, 0x80, 0x97, 0xBB, 0xD5, 0x54, 0x14, 0xDD, 0x7F, 0xA7, 0x0A, 0xF3, 0x69, 0x99, 0x1D, 0xF1, 0x25, 0x54, 0x66, 0x71, 0x27, 0x2D, 0x8D, 0x09, 0xB8, 0xFE, 0x25, 0xBE, 0x0B, 0x67, 0x3F, 0x32, 0x0E, 0x8E, 0x0C, 0x85, 0xB9, 0xD3, 0xA8, 0xAA, 0x33, 0xE1, 0xF5, 0x37, 0x64, 0x18, 0x38, 0xBE, 0xA1, 0x74, 0xD1, 0x3C, 0x0C, 0x3B, 0x3F, 0x4F, 0xFA, 0xA0, 0xEA, 0xA6, 0x03, 0x9E, 0x60, 0x35, 0x40, 0x92, 0xAE, 0xAC, 0xB7, 0x8A, 0xFB, 0x38, 0x62, 0xF2, 0xDA, 0x79, 0x22, 0xBC, 0x9D, 0xB5, 0xDC, 0xE7, 0x99, 0xFF, 0x05, 0xC9, 0xED, 0x7D, 0x09, 0xFC, 0x3F, 0xF9, 0x83, 0xC5, 0xEE, 0x35, 0xA8, 0x1E, 0xB7, 0x80, 0x6E, 0x2B, 0xD4, 0x41, 0xEE, 0xB9, 0xCA, 0x3B, 0x91, 0x25, 0x97, 0xEE, 0xEC, 0x51, 0xBA, 0x7F, 0x9E, 0x74, 0x63, 0xDA, 0xD8, 0x1F, 0x8C, 0x68, 0x40, 0x74, 0x8B, 0xCD, 0xD1, 0x5E, 0x6E, 0x44, 0x0F, 0x2B, 0x7E, 0x7A, 0x7A, 0xD5, 0xDB, 0x12, 0x54, 0x59, 0x83, 0xFE, 0x00, 0x7D, 0x28, 0xAC, 0x86, 0xC8, 0x94, 0xC6, 0x81, 0x0A, 0x3D, 0xE1, 0xDF, 0x2A, 0xD6, 0xAC, 0x31, 0xB9, 0x67, 0x48, 0xF5, 0x5A, 0x26, 0x45, 0x9C, 0x3B, 0x7E, 0x00, 0xB7, 0x28, 0x42, 0xE5, 0x33, 0x61, 0xB7, 0xAA, 0x43, 0xE2, 0xEE, 0x62, 0xD5, 0xE3, 0x2D, 0x4C, 0x95, 0xD9, 0xD4, 0xBB, 0x54, 0x02, 0xA6, 0x93, 0x5E, 0x69, 0x25, 0x9A, 0x78, 0xFF, 0x33, 0x93, 0xDE, 0x0E, 0xB7, 0x45, 0xEF, 0xF2, 0xB4, 0x32, 0x68, 0x0F, 0xE5, 0xF6, 0x81, 0x0B, 0x4F, 0x6E, 0xA3, 0xCC, 0x61, 0xE2, 0x67, 0x0A, 0xA1, 0xFE, 0x2A, 0x51, 0x48, 0x1C, 0x65, 0x8B, 0xC2, 0x6E, 0xD6, 0x30, 0x2B, 0x28, 0xD6, 0x1D, 0x63, 0xDB, 0x73, 0xB1, 0x8E, 0x8D, 0x81, 0x05, 0x65, 0xAD, 0xB2, 0x55, 0x78, 0x7C, 0xE9, 0x7C, 0x66, 0xF4, 0x90, 0xE2, 0x70, 0x8D, 0x08, 0xE3, 0xD0, 0xDA, 0xD2, 0xB9, 0x89, 0xD7, 0xEE, 0x46, 0x61, 0x90, 0x3D, 0x3A, 0xF9, 0x8E, 0x69, 0x31, 0x53, 0x88, 0xFF, 0xD5, 0x43, 0x12, 0xCD, 0xE4, 0xA0, 0xC2, 0x7A, 0xCB, 0x60, 0x07, 0x55, 0x1C, 0x56, 0x36, 0x8E, 0xB1, 0x27, 0xE1, 0xA9, 0xBC, 0x3C, 0xED, 0x07, 0x64, 0xDF, 0xEB, 0xE7, 0xB3, 0x13, 0xFE, 0x6F, 0x35, 0x95, 0x1B, 0x7A, 0x8A, 0x38, 0x9A, 0xD8, 0x04, 0x09, 0x45, 0x27, 0x1B, 0x2A, 0x26, 0x04, 0x63, 0x21, 0x7D, 0x56, 0xFD, 0x1B, 0x33, 0xE5, 0x71, 0xD0, 0xC2, 0xC2, 0x16, 0xA0, 0x14, 0xEA, 0xE1, 0x91, 0x0D, 0x92, 0x61, 0xA6, 0x7C, 0x0F, 0xDB, 0x04, 0xDD, 0xF4, 0xC8, 0xCF, 0x78, 0xFE, 0x59, 0xE7, 0x81, 0xB4, 0x2C, 0x15, 0xAA, 0xB5, 0x81, 0x25, 0xEE, 0x16, 0xE4, 0xF0, 0x64, 0x70, 0x90, 0x9E, 0xFC, 0x27, 0x8A, 0xEE, 0xC7, 0xAE, 0x0F, 0xD9, 0x4E, 0xAA, 0xFD, 0xBB, 0x35, 0xBA, 0xB6, 0x35, 0xB6, 0x5D, 0x89, 0xF6, 0x57, 0x8E, 0xC3, 0x7D, 0x09, 0x3E, 0x83, 0xCE, 0x9B, 0x4B, 0x88, 0x73, 0xD0, 0xB7, 0x63, 0x5D, 0xF1, 0xCB, 0xE7, 0xC1, 0xC2, 0x87, 0x26, 0x64, 0xA8, 0xE1, 0x15, 0x56, 0xA6, 0x37, 0xB2, 0x9C, 0x73, 0x04, 0x03, 0x4F, 0xD7, 0x46, 0xF6, 0x45, 0xAF, 0x3E, 0x95, 0xBC, 0x6E, 0xE6, 0x69, 0x68, 0xAB, 0xB3, 0x66, 0xA6, 0x00, 0x65, 0x31, 0xEA, 0x97, 0xEB, 0x8F, 0xFC, 0x24, 0x76, 0x24, 0xD4, 0x48, 0x77, 0x93, 0x80, 0x04, 0x7C, 0x01, 0xA1, 0x37, 0x79, 0x99, 0x79, 0xBF, 0x31, 0x32, 0x40, 0xA7, 0x2E, 0x37, 0xAA, 0xD1, 0x43, 0x3A, 0xE4, 0x62, 0x60, 0xFF, 0x85, 0x74, 0xB9, 0x0F, 0x0C, 0xC6, 0xFA, 0x30, 0xCC, 0x66, 0xD5, 0xC1, 0x5D, 0x19, 0xA3, 0x4E, 0x78, 0xDC, 0x10, 0xC2, 0xEA, 0xAE, 0xA5, 0x3B, 0x4C, 0x40, 0x8C, 0x0E, 0x31, 0xBC, 0xB0, 0xC2, 0xAC, 0x91, 0xE5, 0xA9, 0x74, 0x36, 0x6D, 0xB9, 0x79, 0x6B, 0x42, 0xEB, 0x19, 0x6A, 0x74, 0x60, 0x56, 0x4E, 0x4E, 0xFE, 0x86, 0xBF, 0x24, 0x23, 0xD6, 0x8F, 0x9E, 0xE1, 0xB4, 0x16, 0xAB, 0x6F, 0x48, 0x73, 0x7C, 0x4D, 0x26, 0xA5, 0x95, 0xA1, 0xD2, 0xB3, 0x39, 0x61, 0x86, 0x0B, 0x74, 0xB8, 0x2D, 0x4C, 0xB6, 0xE6, 0xC4, 0xF1, 0x2B, 0x67, 0x8B, 0x24, 0x67, 0xF2, 0xC8, 0x99, 0x6A, 0x7B, 0x2E, 0xB3, 0xAD, 0x61, 0x7D, 0x33, 0x55, 0xC2, 0x42, 0xEC, 0x15, 0x35, 0x8F, 0xB1, 0xC8, 0xF6, 0xDD, 0x46, 0x2D, 0x51, 0x52, 0x4A, 0x9C, 0xCE, 0x49, 0x2E, 0xA9, 0x5F, 0x5F, 0x62, 0x2B, 0x8A, 0x29, 0x96, 0x9D, 0x2F, 0x04, 0xCE, 0x0F, 0xB8, 0x10, 0x7E, 0xCB, 0xAA, 0x87, 0x2A, 0x69, 0x87, 0x94, 0xFA, 0x9F, 0x9D, 0x0A, 0xC4, 0xF8, 0xDD, 0x87, 0x08, 0x19, 0xA8 + }; + uint8_t sk[] = { + 0x20, 0x31, 0xBE, 0x2D, 0x15, 0x82, 0xE2, 0x02, 0x33, 0x9C, 0xFC, 0xE5, 0x0C, 0x59, 0x28, 0xB3, 0x68, 0x0B, 0x68, 0xA2, 0x6B, 0x72, 0x3E, 0xB1, 0xF4, 0x08, 0xA9, 0xE2, 0xF4, 0x2A, 0x7D, 0xD6, 0x49, 0x10, 0x84, 0x19, 0x13, 0x5C, 0xAA, 0x2C, 0xC2, 0xE3, 0x99, 0x31, 0x7D, 0x92, 0xF9, 0x6C, 0x7A, 0xCA, 0x49, 0x43, 0xCF, 0x5F, 0x7B, 0xA2, 0x24, 0x2B, 0xAE, 0xB6, 0xA1, 0x8E, 0xE2, 0x6D, 0xC1, 0x34, 0x0B, 0xA7, 0x76, 0xE9, 0x68, 0x3B, 0x43, 0xA7, 0xC6, 0x69, 0xAC, 0xE4, 0xB1, 0x71, 0xD8, 0xB1, 0x9C, 0x26, 0x11, 0x9A, 0x2A, 0xE8, 0x79, 0x0B, 0x5C, 0xB9, 0xBF, 0x7F, 0x39, 0x1E, 0x51, 0x92, 0x65, 0x99, 0xA8, 0x6C, 0x1B, 0x26, 0x84, 0x03, 0x03, 0x0D, 0x02, 0x04, 0x25, 0x10, 0x05, 0x20, 0x22, 0xA4, 0x49, 0x14, 0x42, 0x46, 0x1B, 0x94, 0x04, 0x4B, 0x48, 0x2C, 0x03, 0x25, 0x8E, 0x11, 0x21, 0x66, 0xD3, 0x88, 0x20, 0x94, 0x08, 0x05, 0xD2, 0x28, 0x31, 0x9B, 0x00, 0x08, 0x20, 0x92, 0x84, 0x82, 0xA0, 0x0D, 0x99, 0x04, 0x70, 0x62, 0x26, 0x42, 0x0A, 0x05, 0x90, 0x02, 0x15, 0x8A, 0x41, 0xC8, 0x91, 0xDA, 0xC0, 0x50, 0x88, 0x30, 0x0D, 0x04, 0xA1, 0x2C, 0x93, 0x48, 0x04, 0x89, 0xB4, 0x71, 0x0C, 0xB7, 0x49, 0xC3, 0x40, 0x46, 0x42, 0x90, 0x30, 0x10, 0x09, 0x41, 0x5A, 0xB0, 0x41, 0x00, 0x82, 0x08, 0x94, 0x22, 0x6C, 0xD2, 0x44, 0x92, 0x98, 0x18, 0x26, 0xD3, 0x32, 0x91, 0x20, 0x12, 0x4D, 0x84, 0x28, 0x64, 0x09, 0x06, 0x85, 0x20, 0xA7, 0x00, 0x42, 0x40, 0x65, 0x18, 0xA4, 0x24, 0x40, 0x14, 0x01, 0x19, 0x88, 0x05, 0x0C, 0xB2, 0x4D, 0x88, 0x12, 0x86, 0x1A, 0x27, 0x20, 0x18, 0x24, 0x4E, 0xD2, 0xA6, 0x69, 0xA4, 0x98, 0x70, 0x1B, 0x30, 0x66, 0x40, 0x34, 0x48, 0xE0, 0x80, 0x10, 0x44, 0x84, 0x0C, 0x81, 0xC2, 0x71, 0x58, 0x24, 0x52, 0xD0, 0x24, 0x2E, 0xE3, 0x18, 0x88, 0x51, 0x86, 0x49, 0x80, 0x32, 0x0C, 0x83, 0x08, 0x10, 0x5C, 0x46, 0x12, 0x98, 0x48, 0x84, 0x52, 0x38, 0x6C, 0x84, 0x04, 0x12, 0x48, 0x86, 0x01, 0x12, 0x13, 0x82, 0xE0, 0xC4, 0x40, 0x8B, 0x10, 0x0D, 0x81, 0x46, 0x60, 0xD1, 0x92, 0x88, 0x00, 0x18, 0x09, 0x54, 0xB2, 0x49, 0x00, 0x48, 0x46, 0x19, 0x80, 0x71, 0x58, 0x86, 0x40, 0xD9, 0x44, 0x66, 0x54, 0xA6, 0x69, 0x0A, 0x90, 0x60, 0x0B, 0xC8, 0x61, 0x43, 0x86, 0x4C, 0x09, 0xA1, 0x8C, 0x22, 0x25, 0x48, 0x20, 0x05, 0x70, 0xCC, 0x82, 0x44, 0x09, 0x29, 0x11, 0x60, 0xC6, 0x70, 0x64, 0x44, 0x8C, 0x83, 0x46, 0x62, 0x82, 0x46, 0x28, 0xD1, 0x20, 0x10, 0x58, 0x48, 0x80, 0x98, 0x92, 0x68, 0xA0, 0x44, 0x64, 0x1C, 0x14, 0x89, 0x61, 0x32, 0x31, 0x20, 0x25, 0x09, 0x92, 0x24, 0x90, 0x23, 0x32, 0x32, 0x0B, 0x01, 0x24, 0xD0, 0x30, 0x22, 0x5A, 0x90, 0x84, 0x19, 0x17, 0x8E, 0x99, 0x20, 0x0E, 0x02, 0x20, 0x26, 0x1B, 0x00, 0x81, 0x14, 0x10, 0x72, 0x44, 0x40, 0x80, 0x99, 0x10, 0x69, 0x81, 0x26, 0x40, 0x08, 0xC2, 0x60, 0x1C, 0xC6, 0x84, 0xD1, 0x88, 0x28, 0xC1, 0x26, 0x24, 0x10, 0xB6, 0x0D, 0x14, 0x25, 0x81, 0x1B, 0x11, 0x71, 0xDA, 0x26, 0x0C, 0x92, 0x82, 0x11, 0x53, 0x14, 0x84, 0x90, 0x80, 0x05, 0x10, 0x87, 0x61, 0xD9, 0x92, 0x61, 0xC2, 0xC4, 0x88, 0x10, 0x16, 0x46, 0x5B, 0x90, 0x40, 0x01, 0x19, 0x26, 0x0A, 0x12, 0x51, 0x9A, 0xB4, 0x0D, 0x5A, 0x10, 0x92, 0x4A, 0xA0, 0x88, 0xA3, 0x40, 0x24, 0x01, 0x15, 0x2E, 0xC4, 0x30, 0x0D, 0x21, 0x40, 0x0D, 0x11, 0x36, 0x52, 0x18, 0x07, 0x2A, 0x20, 0xB0, 0x71, 0x58, 0x22, 0x68, 0x91, 0x08, 0x66, 0x12, 0x23, 0x21, 0x9A, 0x96, 0x88, 0xE2, 0x92, 0x24, 0x0C, 0xA8, 0x0C, 0x18, 0x96, 0x24, 0xA0, 0x20, 0x08, 0xC3, 0x80, 0x04, 0x98, 0xA6, 0x25, 0x09, 0x35, 0x49, 0x03, 0x14, 0x51, 0xA4, 0x22, 0x2C, 0x22, 0x33, 0x08, 0x10, 0x32, 0x66, 0x84, 0x48, 0x46, 0xC2, 0xC8, 0x0C, 0x14, 0xB2, 0x90, 0x23, 0x39, 0x46, 0x0C, 0x41, 0x6E, 0x0C, 0xC5, 0x8C, 0x19, 0x37, 0x61, 0x8A, 0x26, 0x60, 0xCB, 0x14, 0x82, 0x93, 0x40, 0x62, 0x00, 0xB5, 0x89, 0x98, 0x28, 0x65, 0x59, 0x04, 0x26, 0xA2, 0x00, 0x09, 0x94, 0x82, 0x8C, 0x49, 0xA0, 0x2C, 0x21, 0x28, 0x84, 0x03, 0xC1, 0x25, 0x1C, 0x39, 0x6E, 0x08, 0x93, 0x10, 0xC0, 0xB8, 0x84, 0x64, 0x32, 0x8A, 0x1B, 0x43, 0x0A, 0x5B, 0x48, 0x44, 0x4A, 0x14, 0x04, 0x9B, 0x02, 0x2A, 0xD3, 0x84, 0x50, 0x14, 0xA3, 0x50, 0x9B, 0xB8, 0x0D, 0x23, 0x17, 0x62, 0x18, 0xA7, 0x6C, 0x19, 0x46, 0x68, 0x63, 0xB6, 0x01, 0xC4, 0xA2, 0x64, 0x91, 0xB6, 0x6D, 0x24, 0x99, 0x21, 0xCC, 0x94, 0x2C, 0x54, 0x26, 0x48, 0xD4, 0x18, 0x69, 0xC4, 0x02, 0x20, 0x92, 0xB0, 0x6D, 0x04, 0xB7, 0x61, 0x1C, 0xC7, 0x71, 0xC2, 0x30, 0x25, 0x01, 0x88, 0x91, 0x08, 0x37, 0x26, 0x08, 0x15, 0x40, 0xC8, 0xC6, 0x84, 0x23, 0x44, 0x51, 0x09, 0x93, 0x88, 0x01, 0x10, 0x0D, 0x14, 0x11, 0x0E, 0x1C, 0xA0, 0x85, 0x10, 0x35, 0x6C, 0xE1, 0x32, 0x04, 0x20, 0x19, 0x45, 0x10, 0x17, 0x8E, 0x0C, 0x82, 0x00, 0x44, 0x06, 0x6E, 0x14, 0xA3, 0x30, 0x1C, 0x13, 0x26, 0xDC, 0x16, 0x22, 0x93, 0x26, 0x12, 0x13, 0x24, 0x20, 0x0B, 0x15, 0x4A, 0x4B, 0xC6, 0x88, 0xE3, 0x18, 0x49, 0x80, 0x06, 0x65, 0x61, 0x12, 0x26, 0xCA, 0x34, 0x25, 0x10, 0xC2, 0x61, 0x00, 0x20, 0x6A, 0x02, 0xA9, 0x41, 0xA0, 0x42, 0x49, 0x11, 0x49, 0x80, 0x04, 0x36, 0x22, 0xC3, 0x98, 0x8D, 0x09, 0x48, 0x46, 0x41, 0x02, 0x71, 0x9B, 0xA6, 0x81, 0x0B, 0x34, 0x51, 0x92, 0x98, 0x50, 0xE4, 0x16, 0x31, 0x18, 0x33, 0x8E, 0x89, 0x00, 0x48, 0x9C, 0x02, 0x8A, 0x50, 0x90, 0x68, 0x24, 0x22, 0x0A, 0x00, 0x39, 0x72, 0xCB, 0x18, 0x6A, 0x19, 0xC3, 0x00, 0x91, 0x48, 0x30, 0xA2, 0x00, 0x21, 0xC8, 0x80, 0x89, 0xD8, 0x98, 0x80, 0x63, 0x10, 0x60, 0x19, 0xC6, 0x81, 0xA0, 0x88, 0x6D, 0x42, 0x96, 0x80, 0x93, 0x06, 0x68, 0x20, 0xC4, 0x89, 0xE2, 0x9D, 0x6A, 0xA5, 0x78, 0x03, 0x84, 0x2F, 0xA4, 0xA8, 0xFF, 0xAD, 0xD2, 0xF7, 0xFF, 0xC0, 0xE8, 0xDA, 0x7A, 0x49, 0x48, 0xE2, 0xA8, 0x45, 0xD3, 0x01, 0xB1, 0xDA, 0xD4, 0xBC, 0x3C, 0xAD, 0x16, 0x17, 0x08, 0x3A, 0x3A, 0xBC, 0xAE, 0xDE, 0x52, 0x4B, 0xB4, 0xCA, 0x8F, 0x3A, 0x91, 0x5D, 0x09, 0x23, 0xAF, 0x08, 0x28, 0x60, 0x17, 0xCF, 0xE9, 0xB6, 0x20, 0xE8, 0x50, 0x77, 0xC6, 0x18, 0x4B, 0x63, 0x0C, 0x1A, 0x52, 0x29, 0xA3, 0xD2, 0x33, 0x48, 0x51, 0xCC, 0x5F, 0xA8, 0xD5, 0xC5, 0xFD, 0x52, 0xC4, 0xE8, 0x53, 0xE0, 0xFB, 0x1B, 0xA4, 0x26, 0x4F, 0x7A, 0x8B, 0xF7, 0xA0, 0x26, 0xBD, 0x0F, 0xDF, 0xD1, 0x8D, 0x92, 0x82, 0x85, 0x09, 0x73, 0xF4, 0x48, 0xB2, 0xD1, 0x87, 0x0E, 0x86, 0xAB, 0x09, 0x20, 0x6E, 0x71, 0xCC, 0x90, 0x83, 0xC3, 0x69, 0x91, 0x7D, 0xBF, 0x02, 0x43, 0xB2, 0x62, 0x47, 0xE9, 0xC7, 0x8D, 0x5F, 0xAB, 0x18, 0xE4, 0xFF, 0x77, 0x84, 0xE6, 0xF0, 0x10, 0xB1, 0x2F, 0x12, 0x08, 0x24, 0x5D, 0x5A, 0x7A, 0x8A, 0x25, 0x25, 0xDC, 0xD7, 0x70, 0xBF, 0x23, 0x2C, 0xC8, 0xEE, 0x62, 0x8D, 0x63, 0x97, 0xB2, 0x70, 0xC1, 0xB4, 0xBF, 0xCB, 0xCA, 0x7A, 0x98, 0x1F, 0xA3, 0x2D, 0x80, 0xA2, 0x87, 0xC6, 0x2C, 0x2A, 0x3E, 0xFF, 0xF4, 0x1A, 0xB4, 0x0E, 0xF3, 0xA2, 0x85, 0x50, 0xB8, 0x36, 0x70, 0x98, 0xBE, 0x1D, 0xD3, 0x54, 0xFD, 0x3B, 0x4B, 0x69, 0x0F, 0x97, 0x58, 0x10, 0x0E, 0xDB, 0xED, 0xD3, 0xF1, 0xDA, 0x2A, 0x1F, 0xC1, 0x45, 0x7D, 0x8B, 0x68, 0x1E, 0x5C, 0x06, 0xEB, 0xAA, 0x2E, 0xA5, 0x58, 0x89, 0x42, 0x9A, 0x6A, 0xE6, 0x2F, 0x2B, 0x8B, 0xF4, 0xF5, 0x40, 0x74, 0x20, 0xB9, 0xE1, 0xDF, 0x9C, 0x8C, 0x36, 0xB4, 0x08, 0xFA, 0xC3, 0x12, 0xA1, 0x96, 0xD5, 0x25, 0xF4, 0x36, 0xD1, 0xFA, 0x33, 0x70, 0xDA, 0x69, 0x94, 0xC5, 0x40, 0xEA, 0xE7, 0x18, 0xFC, 0x39, 0x51, 0x3D, 0xC5, 0xE6, 0xCD, 0x5E, 0x79, 0x3C, 0xC0, 0x6D, 0x19, 0x51, 0x15, 0x32, 0xB4, 0x68, 0x0B, 0xAB, 0xE4, 0x25, 0x8D, 0x9D, 0xEE, 0x4E, 0x98, 0x5F, 0x04, 0xCC, 0x47, 0x5A, 0x14, 0xF6, 0xF1, 0x84, 0xA7, 0xA9, 0xDD, 0x1F, 0xFA, 0x28, 0x5F, 0x8B, 0x04, 0xCA, 0x34, 0xCF, 0x90, 0xAE, 0x06, 0xB7, 0x19, 0x1E, 0x23, 0x4A, 0x7D, 0xA0, 0x28, 0xD2, 0x03, 0xB7, 0xC4, 0xBF, 0x9D, 0xB2, 0x65, 0xF8, 0xF7, 0xD7, 0x3C, 0x4A, 0xD3, 0xAC, 0x0B, 0x2E, 0xF7, 0xB1, 0x91, 0xC7, 0xD0, 0x2F, 0x50, 0x0F, 0xDF, 0x5E, 0x27, 0xE6, 0xEF, 0xD7, 0xDE, 0xB1, 0x19, 0x4D, 0x88, 0x3F, 0xB7, 0x41, 0x7F, 0x6B, 0x33, 0xF3, 0x75, 0xD4, 0x5D, 0x8F, 0x10, 0x90, 0x18, 0xEB, 0x47, 0xF3, 0x6B, 0x66, 0x50, 0xF0, 0x10, 0xA5, 0xDB, 0x44, 0x4D, 0x7C, 0xBC, 0x57, 0x01, 0x8B, 0x97, 0x62, 0x2D, 0x16, 0xFA, 0xB2, 0xFA, 0xD2, 0xB1, 0xA1, 0x03, 0x64, 0x36, 0x03, 0xDC, 0x76, 0xAD, 0xDF, 0x7D, 0x16, 0x72, 0x58, 0xC7, 0x33, 0x95, 0x7E, 0x1D, 0x35, 0xB5, 0xC5, 0x06, 0xE3, 0x2A, 0x1C, 0xF8, 0x85, 0x30, 0xA3, 0x8C, 0xE7, 0x76, 0x08, 0x67, 0x52, 0x04, 0x3A, 0xF1, 0xF5, 0x41, 0xB7, 0xEE, 0xE5, 0xD1, 0x5F, 0x3D, 0x32, 0x39, 0xA1, 0x99, 0xC2, 0x0A, 0x9F, 0x89, 0x13, 0x73, 0x53, 0xAB, 0x26, 0x43, 0xA9, 0x7B, 0x29, 0xE3, 0xAE, 0x3E, 0x07, 0x0D, 0x28, 0xED, 0x74, 0x71, 0xC8, 0x08, 0x42, 0x90, 0x61, 0xAC, 0x8A, 0x0F, 0x89, 0xA3, 0x12, 0xF3, 0x23, 0xD3, 0x2A, 0x3D, 0x47, 0x0F, 0xF5, 0xB0, 0xF4, 0x15, 0x84, 0x61, 0xF7, 0x1E, 0xA0, 0xFD, 0xE8, 0x08, 0x82, 0x2A, 0xE1, 0xA0, 0xB3, 0xB2, 0x5C, 0x6B, 0x14, 0xAB, 0xC8, 0xBD, 0x65, 0x5C, 0x59, 0xA1, 0xEB, 0x3F, 0x12, 0x91, 0x70, 0x01, 0x62, 0x13, 0x35, 0xB1, 0x38, 0x88, 0xD1, 0x3F, 0xD3, 0xBE, 0xDE, 0x77, 0x53, 0x2B, 0x61, 0x38, 0x1E, 0xDB, 0x1A, 0x87, 0x22, 0x35, 0x64, 0x78, 0x3C, 0xEA, 0x26, 0xC9, 0x10, 0x6B, 0x12, 0x9E, 0x78, 0x99, 0x7A, 0xB6, 0x8B, 0x46, 0x28, 0x7E, 0x94, 0xDD, 0x37, 0x15, 0x59, 0x65, 0x22, 0x40, 0xFA, 0x5C, 0xD5, 0x3A, 0xDA, 0x60, 0xB2, 0x78, 0x3C, 0x73, 0x71, 0x61, 0x42, 0x2F, 0xEA, 0x01, 0xA2, 0x5F, 0x45, 0x26, 0x18, 0xEB, 0x10, 0xC4, 0x40, 0x59, 0xAC, 0xA1, 0xEE, 0xA6, 0xFF, 0x83, 0xB9, 0xA8, 0x01, 0x35, 0xD9, 0x18, 0x12, 0x8E, 0xE2, 0xA4, 0xF4, 0x19, 0xDC, 0xCF, 0x87, 0x1C, 0xBE, 0x45, 0xC2, 0x1F, 0x45, 0x94, 0x43, 0x36, 0x71, 0x4D, 0x83, 0xDF, 0x3A, 0xB9, 0x79, 0x1E, 0x41, 0x3B, 0x6E, 0x0D, 0x50, 0x9C, 0x41, 0x72, 0xF5, 0x85, 0x10, 0xE2, 0x60, 0xFF, 0x9F, 0x45, 0x57, 0x6F, 0xDF, 0xFB, 0x0B, 0x3A, 0xE8, 0x4C, 0x28, 0xE4, 0x6E, 0x09, 0xEF, 0x6D, 0x5B, 0x70, 0x01, 0x63, 0x04, 0x75, 0x4A, 0x10, 0x62, 0x87, 0x35, 0x23, 0x13, 0x1C, 0xB5, 0x17, 0x46, 0xCC, 0xB9, 0xB2, 0xAE, 0x02, 0x96, 0x57, 0x60, 0x94, 0xD4, 0xF9, 0x4F, 0xCC, 0xB2, 0x49, 0x82, 0x4A, 0x49, 0x6F, 0x9B, 0xE6, 0x62, 0xE2, 0xA4, 0xC3, 0x5F, 0x1A, 0x1B, 0x44, 0x20, 0xC6, 0xA1, 0x5B, 0xDF, 0xEA, 0xB5, 0x59, 0xD7, 0x32, 0xC7, 0x50, 0xB9, 0xC2, 0x72, 0x62, 0x14, 0x16, 0xB4, 0xA2, 0xD1, 0x1C, 0x94, 0x56, 0xED, 0xC3, 0xE0, 0x12, 0x24, 0x7B, 0xD1, 0xC9, 0x52, 0x53, 0xB3, 0x38, 0xDA, 0x1A, 0x75, 0x87, 0xA1, 0xE9, 0xF2, 0x6A, 0x4F, 0x86, 0xB6, 0x9E, 0xE5, 0x32, 0xE6, 0x8F, 0xB2, 0x44, 0x7B, 0x57, 0x2A, 0x16, 0x7B, 0x5F, 0x52, 0xA8, 0xEC, 0xB9, 0xA2, 0xCC, 0xAE, 0x27, 0xF9, 0x55, 0x8F, 0xA9, 0xFD, 0xFE, 0xC5, 0xBF, 0x68, 0xDA, 0xCB, 0x38, 0xCD, 0x22, 0x3C, 0x6B, 0x57, 0x3A, 0x93, 0x70, 0xC9, 0x6D, 0x2A, 0x44, 0x7A, 0x9D, 0xB6, 0x93, 0x0D, 0xF5, 0x5E, 0xCD, 0x37, 0x21, 0x9C, 0xAF, 0xF3, 0xD7, 0xC8, 0xFE, 0xF6, 0x38, 0x76, 0x37, 0xB7, 0x43, 0x55, 0x2F, 0x9B, 0x88, 0x55, 0xEA, 0x22, 0xBD, 0xEE, 0xBA, 0x27, 0xF1, 0x48, 0x64, 0x94, 0x98, 0x51, 0x26, 0xA1, 0x74, 0xE8, 0xBD, 0x5D, 0x25, 0x32, 0xFA, 0x43, 0x0B, 0xB4, 0xEF, 0xCA, 0xEB, 0x48, 0xA5, 0xF1, 0x0B, 0x60, 0x22, 0x9B, 0xBF, 0x44, 0x70, 0x03, 0xDF, 0x8B, 0xB8, 0x38, 0x75, 0x7E, 0xA3, 0xB8, 0xE8, 0xFE, 0x37, 0xE4, 0xCE, 0x3D, 0xBE, 0xA3, 0x76, 0x19, 0x35, 0x36, 0x2E, 0x47, 0x93, 0x89, 0x32, 0xAE, 0x42, 0xFC, 0xC5, 0x0D, 0x06, 0x51, 0xE9, 0x03, 0xC4, 0xC3, 0xF4, 0xD5, 0xE7, 0x30, 0xF6, 0xB7, 0x31, 0xD4, 0x2C, 0x89, 0x2A, 0xCD, 0x55, 0x4D, 0x49, 0x11, 0x3E, 0x10, 0xC2, 0x9D, 0x16, 0x4B, 0x6F, 0xE9, 0x5F, 0xB6, 0x7C, 0x24, 0x66, 0xD1, 0xCD, 0xEE, 0x8A, 0xAB, 0x8B, 0xD5, 0x5C, 0x94, 0xB9, 0xCE, 0xAF, 0x32, 0xE5, 0x9F, 0x61, 0x80, 0x35, 0xB7, 0xB0, 0xF1, 0x72, 0x6C, 0x5C, 0x99, 0x8E, 0x1A, 0xB2, 0x05, 0x1C, 0x99, 0xC2, 0xAB, 0x31, 0x9D, 0x21, 0xA7, 0xE2, 0xD7, 0xC1, 0x42, 0xA0, 0xAF, 0x06, 0x05, 0x57, 0x4C, 0x4F, 0xFB, 0x7F, 0xED, 0xDA, 0xF4, 0xA3, 0x63, 0x86, 0xA3, 0x97, 0xAE, 0xDD, 0xD7, 0xAA, 0x86, 0xAE, 0xE8, 0xB4, 0x39, 0xA4, 0x59, 0x75, 0xB2, 0xEF, 0x1B, 0x3A, 0xF2, 0x4A, 0x68, 0xDD, 0x3E, 0x3D, 0x17, 0x69, 0xDB, 0xEB, 0x9D, 0x3E, 0x7E, 0xF0, 0x5A, 0x6B, 0x9B, 0x8C, 0x2F, 0x3A, 0x2C, 0x94, 0xD2, 0xF5, 0x20, 0x11, 0x25, 0xF5, 0xCB, 0xA7, 0x41, 0x51, 0xC4, 0x08, 0xB6, 0x0D, 0x0C, 0xB4, 0xE1, 0x9D, 0x2C, 0x2A, 0xA6, 0xA4, 0xA2, 0x1F, 0x2A, 0x90, 0xD6, 0xA1, 0xB3, 0x2D, 0x8E, 0x06, 0x03, 0xC5, 0x81, 0xDF, 0xB7, 0xEA, 0x27, 0x4D, 0xE3, 0x69, 0x4F, 0xA5, 0x43, 0x9F, 0x1A, 0x75, 0x6C, 0x5E, 0xEB, 0xCF, 0x27, 0x41, 0x73, 0xA2, 0x1C, 0x92, 0xCD, 0x61, 0x08, 0x7C, 0x8C, 0x88, 0xA3, 0x0E, 0xA2, 0xB2, 0x5F, 0xAE, 0xBC, 0xBD, 0xB0, 0x38, 0x2E, 0x7A, 0x8A, 0xDC, 0x5F, 0x8D, 0xEA, 0xC6, 0x54, 0x66, 0x22, 0xDD, 0x77, 0x78, 0x00, 0x75, 0x7E, 0x43, 0x0A, 0x5D, 0x91, 0xB5, 0xE9, 0xC7, 0x4D, 0xB6, 0x82, 0x76, 0xA7, 0x90, 0x45, 0x2B, 0x70, 0xC2, 0x5D, 0x6D, 0x98, 0xB2, 0x51, 0x49, 0x8E, 0xF0, 0x10, 0x8E, 0x90, 0xD5, 0x7A, 0x55, 0xD1, 0x06, 0x05, 0x91, 0x75, 0x69, 0x67, 0x2A, 0x97, 0x53, 0xD5, 0x0F, 0xD7, 0x50, 0xF7, 0x47, 0x56, 0x4F, 0x40, 0xD9, 0x4A, 0xD0, 0xE4, 0xE4, 0xD1, 0xE9, 0x1A, 0x8D, 0x62, 0x11, 0x85, 0x4E, 0xAF, 0xDC, 0x3E, 0x37, 0xF6, 0xCC, 0xE8, 0x43, 0xB0, 0xED, 0xEC, 0x39, 0xCF, 0x3C, 0x86, 0xCB, 0xC1, 0x0D, 0x9E, 0xCA, 0xE5, 0xAF, 0x2D, 0xCF, 0x26, 0xC3, 0x8A, 0xC0, 0x80, 0x52, 0xD3, 0x87, 0x80, 0x5A, 0x6E, 0xBA, 0x46, 0x96, 0x91, 0xD9, 0xD8, 0xC8, 0x73, 0xBC, 0x7F, 0x54, 0x10, 0xF7, 0xED, 0xC0, 0x02, 0xFE, 0x58, 0x4E, 0x42, 0x4C, 0x19, 0x29, 0x15, 0xD5, 0x61, 0xA5, 0x27, 0x29, 0x86, 0xAE, 0xB7, 0xFE, 0x23, 0x8C, 0xDC, 0x58, 0x5C, 0x33, 0x42, 0xCB, 0x92, 0x82, 0xCE, 0x27, 0xC7, 0x6E, 0x93, 0xFB, 0x19, 0xFB, 0x4A, 0xA7, 0xB9, 0x15, 0x78, 0x38, 0xA5, 0x5B, 0x53, 0x4F, 0xF2, 0x46, 0xA1, 0x59, 0xA5, 0x96, 0x7A, 0x5E, 0x18, 0x3F, 0x0B, 0x8F, 0xFD, 0x4F, 0xAC, 0x93, 0x77, 0x55, 0x1D, 0x9A, 0xFD, 0xEA, 0x56, 0x5D, 0x67, 0xCA, 0x00, 0x50, 0x69, 0x7B, 0x14, 0x38, 0xE2, 0x56, 0x76, 0xC9, 0x47, 0x75, 0x04, 0xCD, 0x85, 0xF6, 0x0C, 0xDA, 0x25, 0x1C, 0x83, 0x8E, 0xF3, 0xC7, 0xDE, 0x23, 0xCD, 0x13, 0xD7, 0x3F, 0xBC, 0x00, 0xAD, 0xDD, 0x52, 0x3B, 0xB1, 0x84, 0x79, 0xE3, 0x9D, 0x79, 0xA2, 0xA4, 0x97, 0xEC, 0xB3, 0x38, 0x23, 0xCF, 0x07, 0xE1, 0xD4, 0xF6, 0x32, 0x63, 0x09, 0x16, 0x7C, 0x53, 0xB3, 0x73, 0x07, 0xF2, 0x2A, 0x0A, 0x80, 0xAB, 0xD3, 0x51, 0xAD, 0x6A, 0x5E, 0x02, 0x8A, 0x8B, 0xDD, 0x14, 0xCC, 0xA0, 0x54, 0x3A, 0xA5, 0xFE, 0x59, 0x85, 0x64, 0x1C, 0xBB, 0x7C, 0x7A, 0x85, 0xF2, 0x9B, 0x41, 0xC5, 0xA7, 0x28, 0xEB, 0x7A, 0xC5, 0xCA, 0x0E, 0xEC, 0x50, 0xB4, 0x72, 0x3F, 0x7B, 0x76, 0x88, 0x17, 0x1D, 0xFD, 0xDA, 0xA4, 0x78, 0x8E, 0xAE, 0xCC, 0x08, 0x9F, 0x96, 0x5A, 0x66, 0xAD, 0x6B, 0x6B, 0x8A, 0xB0, 0x42, 0x30, 0x1F, 0xD9, 0x7C, 0x1E, 0x33, 0xF2, 0x07, 0xA3, 0x5B, 0xBD, 0x05, 0xE2, 0x0F, 0xE2, 0x20, 0x48, 0x86, 0x70, 0x10, 0x4F, 0xDB, 0x06, 0x05, 0x91, 0x3E, 0x31, 0x5D, 0xD3, 0xD4, 0x34, 0x54, 0xD6, 0x4B, 0xEF, 0xF7, 0x52, 0x8C, 0x3C, 0xCC, 0x0D, 0x26, 0xB0, 0x24, 0x78, 0xDA, 0x47, 0xE1, 0xA9, 0xD7, 0x50, 0x9A, 0x9F, 0xE5, 0x7E, 0x49, 0x2F, 0x31, 0x82, 0x86, 0x32, 0x73, 0xBF, 0x25, 0x27, 0x1B, 0xC5, 0x01, 0x73, 0xD6, 0x52, 0x63, 0x26, 0xDA, 0x65, 0xBE, 0x7E, 0xB6, 0xF3, 0xDA, 0x86, 0xA2, 0xFE, 0x24, 0x4F, 0x62, 0x46, 0xC6, 0xAA, 0x77, 0xFF, 0x5A, 0x3A, 0xD8, 0xFB, 0xF2, 0x6F, 0xC2, 0x23, 0x3F, 0x60, 0x37, 0x51, 0x2E, 0x3C, 0xE2, 0x16, 0xB3, 0xBB, 0x2F, 0xF2, 0xC5, 0xB3, 0x90, 0xDD, 0x96, 0xE0, 0x21, 0x8B, 0xE3, 0x26, 0xE2, 0x84, 0x67, 0x3D, 0x90, 0x5B, 0xB1, 0xEC, 0x72, 0xDC, 0x83, 0xBB, 0x2B, 0x09, 0x7E, 0xED, 0xDE, 0x85, 0xEA, 0x89, 0xD5, 0x29, 0xD3, 0x5B, 0x2A, 0xF0, 0x6A, 0x87, 0x54, 0xE3, 0x3F, 0x19, 0x30, 0x1A, 0xF0, 0xC1, 0x3E, 0x30, 0x9F, 0xBA, 0xA2, 0x7E, 0x17, 0x9C, 0x1A, 0xC5, 0x70, 0xBA, 0x93, 0xFB, 0x1B, 0xE5, 0x0B, 0x0E, 0x2E, 0xD3, 0xB4, 0x96, 0x11, 0x97, 0x41, 0xAD, 0xCC, 0x18, 0x6E, 0xD7, 0x4D, 0x00, 0x96, 0x35, 0x5B, 0x0E, 0x3F, 0x9E, 0xA7, 0x49, 0x15, 0x91, 0x91, 0xDB, 0x44, 0x5C, 0x0F, 0x9C, 0x19, 0xE4, 0x06, 0x5A, 0xE9, 0xAE, 0x68, 0xE4, 0xB7, 0x3A, 0x34, 0x53, 0x45 + }; + const pqc_ctx_t *p = pqc_sig_alg_by_id(PQC_ALG_SIG_DILITHIUM2); + size_t sigsz = sig_exp.size(); + ASSERT_TRUE( + pqc_sig_create(p, sig.data(), &sigsz, msg, sizeof msg, sk)); + //dump_buffer_hex(0, 4, sig.data(), sig.size()); + ASSERT_TRUE( + pqc_sig_verify(p, sig.data(), sig.size(), msg, sizeof msg, pk)); + ASSERT_EQ(sig, sig_exp); +}