1
1
mirror of https://github.com/henrydcase/pqc.git synced 2024-11-22 23:48:58 +00:00
pqcrypto/test/ut.cpp
2023-02-14 23:17:15 +00:00

164 lines
42 KiB
C++

#include <algorithm>
#include <sstream>
#include <vector>
#include <gtest/gtest.h>
#include <pqc/pqc.h>
#include <random>
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) {
for (int i=0; i<PQC_ALG_KEM_MAX; i++) {
const pqc_ctx_t *p = pqc_kem_alg_by_id(i);
std::vector<uint8_t> ct(pqc_ciphertext_bsz(p));
std::vector<uint8_t> ss1(pqc_shared_secret_bsz(p));
std::vector<uint8_t> ss2(pqc_shared_secret_bsz(p));
std::vector<uint8_t> sk(pqc_private_key_bsz(p));
std::vector<uint8_t> pk(pqc_public_key_bsz(p));
ASSERT_TRUE(
pqc_keygen(p, pk.data(), sk.data()));
ASSERT_TRUE(
pqc_kem_encapsulate(p, ct.data(), ss1.data(), pk.data()));
ASSERT_TRUE(
pqc_kem_decapsulate(p, ss2.data(), ct.data(), sk.data()));
ASSERT_TRUE(
std::equal(ss1.begin(), ss1.end(), ss2.begin()));
}
}
TEST(SIGN,OneOff) {
std::random_device rd;
std::uniform_int_distribution<uint8_t> dist(0, 0xFF);
uint8_t msg[1234] = {0};
for (int i=0; i<PQC_ALG_SIG_MAX; i++) {
const pqc_ctx_t *p = pqc_sig_alg_by_id(i);
// generate some random msg
for (auto &x : msg) {x = dist(rd);}
std::vector<uint8_t> sig(pqc_signature_bsz(p));
std::vector<uint8_t> sk(pqc_private_key_bsz(p));
std::vector<uint8_t> 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, 1234, sk.data()));
ASSERT_TRUE(
pqc_sig_verify(p, sig.data(), sigsz, msg, 1234, pk.data()));
}
}
TEST(KEMSIG,PrintSizes) {
for (int i=0; i<PQC_ALG_SIG_MAX; i++) {
std::stringstream out;
const pqc_ctx_t *p = pqc_sig_alg_by_id(i);
out << std::setw(30) << std::left << p->alg_name
<< " :pk: " << std::setw(15) << pqc_public_key_bsz(p)
<< " :sign: " << std::setw(15) << pqc_signature_bsz(p);
std::cout << out.str() << std::endl;
}
for (int i=0; i<PQC_ALG_KEM_MAX; i++) {
std::stringstream out;
const pqc_ctx_t *p = pqc_kem_alg_by_id(i);
out << std::setw(30) << std::left << p->alg_name
<< " :pk: " << std::setw(15) << pqc_public_key_bsz(p)
<< " :ct: " << std::setw(15) << pqc_ciphertext_bsz(p);
std::cout << out.str() << std::endl;
}
}
TEST(Dilithium, MontREDC) {
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(0), 0);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(Q), 0);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(Q*100), 0);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(1), -114592);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(-1), 114592);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(((uint64_t)Q<<31)-1), 114592);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(-((int64_t)Q<<31)),0);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(-((1ULL<<31)*(int64_t)Q)+1), -114592);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(-(((int64_t)Q)<<31)+1), -114592);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce((uint64_t)1<<15), -523840);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce((uint64_t)1<<31), 4190209);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(3347556), 2070606);
ASSERT_EQ(PQCLEAN_DILITHIUM2_CLEAN_montgomery_reduce(-2581810), 910169);
}
TEST(Dilithium, PolyZ) {
std::random_device rd;
std::uniform_int_distribution<int32_t> dist_z(-((1<<17)-1), 1<<17);
uint8_t out[576];
poly p1, p2;
for (auto &x : p1.coeffs) { x = dist_z(rd); }
PQCLEAN_DILITHIUM2_CLEAN_polyz_pack(out, &p1);
PQCLEAN_DILITHIUM2_CLEAN_polyz_unpack(&p2, out);
for (size_t j=0; j<256; j++) {
ASSERT_EQ(p1.coeffs[j], p2.coeffs[j]);
}
}
void print_buf(unsigned char *c, size_t l) {
for (size_t i=0; i<l; i++) {
printf("0x%02X, ", c[i]);
}
printf("\n");
}
TEST(Dilithim2, Sign) {
uint8_t msg[20] = {0};
const pqc_ctx_t *p = pqc_sig_alg_by_id(PQC_ALG_SIG_DILITHIUM2);
std::vector<uint8_t> sig(pqc_signature_bsz(p));
std::vector<uint8_t> sk(pqc_private_key_bsz(p));
std::vector<uint8_t> 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<uint8_t> 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<uint8_t> 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);
}