bool_t g12sTest()
{
g12s_params params[1];
octet buf[G12S_ORDER_SIZE];
octet privkey[G12S_ORDER_SIZE];
octet pubkey[2 * G12S_FIELD_SIZE];
octet hash[64];
octet sig[2 * G12S_ORDER_SIZE];
octet echo[64];
// тест A.1 [загрузка параметров]
if (g12sStdParams(params, "1.2.643.2.2.35.0") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// тест A.1 [генерация ключей]
hexToRev(buf,
"7A929ADE789BB9BE10ED359DD39A72C1"
"1B60961F49397EEE1D19CE9891EC3B28");
ASSERT(sizeof(echo) >= prngEcho_keep());
prngEchoStart(echo, buf, 32);
if (g12sGenKeypair(privkey, pubkey, params, prngEchoStepR, echo)
!= ERR_OK ||
!hexEqRev(privkey,
"7A929ADE789BB9BE10ED359DD39A72C1"
"1B60961F49397EEE1D19CE9891EC3B28") ||
!hexEqRev(pubkey,
"26F1B489D6701DD185C8413A977B3CBB"
"AF64D1C593D26627DFFB101A87FF77DA"
"7F2B49E270DB6D90D8595BEC458B50C5"
"8585BA1D4E9B788F6689DBD8E56FD80B"))
return FALSE;
// тест A.1 [выработка ЭЦП]
hexTo(hash,
"2DFBC1B372D89A1188C09C52E0EEC61F"
"CE52032AB1022E8E67ECE6672B043EE5");
hexToRev(buf,
"77105C9B20BCD3122823C8CF6FCC7B95"
"6DE33814E95B7FE64FED924594DCEAB3");
if (g12sSign(sig, params, hash, privkey, prngEchoStepR, echo) != ERR_OK ||
!hexEq(sig,
"41AA28D2F1AB148280CD9ED56FEDA419"
"74053554A42767B83AD043FD39DC0493"
"01456C64BA4642A1653C235A98A60249"
"BCD6D3F746B631DF928014F6C5BF9C40"))
return FALSE;
// тест A.1 [проверка ЭЦП]
if (g12sVerify(params, hash, sig, pubkey) != ERR_OK ||
(sig[0] ^= 1, g12sVerify(params, hash, sig, pubkey) == ERR_OK))
return FALSE;
// тест A.2 [загрузка параметров]
if (g12sStdParams(params, "1.2.643.7.1.2.1.2.0") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// тест A.2 [генерация ключей]
hexToRev(buf,
"0BA6048AADAE241BA40936D47756D7C9"
"3091A0E8514669700EE7508E508B1020"
"72E8123B2200A0563322DAD2827E2714"
"A2636B7BFD18AADFC62967821FA18DD4");
ASSERT(sizeof(echo) >= prngEcho_keep());
prngEchoStart(echo, buf, 64);
if (g12sGenKeypair(privkey, pubkey, params, prngEchoStepR, echo)
!= ERR_OK ||
!hexEqRev(privkey,
"0BA6048AADAE241BA40936D47756D7C9"
"3091A0E8514669700EE7508E508B1020"
"72E8123B2200A0563322DAD2827E2714"
"A2636B7BFD18AADFC62967821FA18DD4") ||
!hexEqRev(pubkey,
"37C7C90CD40B0F5621DC3AC1B751CFA0"
"E2634FA0503B3D52639F5D7FB72AFD61"
"EA199441D943FFE7F0C70A2759A3CDB8"
"4C114E1F9339FDF27F35ECA93677BEEC"
"115DC5BC96760C7B48598D8AB9E740D4"
"C4A85A65BE33C1815B5C320C854621DD"
"5A515856D13314AF69BC5B924C8B4DDF"
"F75C45415C1D9DD9DD33612CD530EFE1"))
return FALSE;
// тест A.2 [выработка ЭЦП]
hexTo(hash,
"3754F3CFACC9E0615C4F4A7C4D8DAB53"
"1B09B6F9C170C533A71D147035B0C591"
"7184EE536593F4414339976C647C5D5A"
"407ADEDB1D560C4FC6777D2972075B8C");
hexToRev(buf,
"0359E7F4B1410FEACC570456C6801496"
"946312120B39D019D455986E364F3658"
"86748ED7A44B3E794434006011842286"
"212273A6D14CF70EA3AF71BB1AE679F1");
if (g12sSign(sig, params, hash, privkey, prngEchoStepR, echo)
!= ERR_OK ||
!hexEq(sig,
"2F86FA60A081091A23DD795E1E3C689E"
"E512A3C82EE0DCC2643C78EEA8FCACD3"
"5492558486B20F1C9EC197C906998502"
"60C93BCBCD9C5C3317E19344E173AE36"
"1081B394696FFE8E6585E7A9362D26B6"
"325F56778AADBC081C0BFBE933D52FF5"
"823CE288E8C4F362526080DF7F70CE40"
"6A6EEB1F56919CB92A9853BDE73E5B4A"))
return FALSE;
// тест A.2 [проверка ЭЦП]
if (g12sVerify(params, hash, sig, pubkey) != ERR_OK ||
(sig[0] ^= 1, g12sVerify(params, hash, sig, pubkey) == ERR_OK))
return FALSE;
// проверить кривую cryptoproA
if (g12sStdParams(params, "1.2.643.2.2.35.1") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// проверить кривую cryptoproB
if (g12sStdParams(params, "1.2.643.2.2.35.2") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// проверить кривую cryptoproC
if (g12sStdParams(params, "1.2.643.2.2.35.3") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// проверить кривую cryptocom
if (g12sStdParams(params, "1.2.643.2.9.1.8.1") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// проверить кривую paramsetA512
if (g12sStdParams(params, "1.2.643.7.1.2.1.2.1") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// проверить кривую paramsetB512
if (g12sStdParams(params, "1.2.643.7.1.2.1.2.2") != ERR_OK ||
g12sValParams(params) != ERR_OK)
return FALSE;
// все нормально
return TRUE;
}
bool_t bakeDemo()
{
bign_params params[1];
octet randa[48];
octet randb[48];
octet echoa[64];
octet echob[64];
bake_settings settingsa[1];
bake_settings settingsb[1];
octet da[32];
octet db[32];
octet certdataa[5 + 64];
octet certdatab[3 + 64];
bake_cert certa[1];
bake_cert certb[1];
octet file_data[1024];
file_st filea[1];
file_st fileb[1];
const char pwd[] = "8086";
octet keya[32];
octet keyb[32];
// загрузить долговременные параметры
if (bignStdParams(params, "1.2.112.0.2.0.34.101.45.3.1") != ERR_OK)
return FALSE;
// настроить генераторы
ASSERT(prngEcho_keep() <= sizeof(echoa));
// задать настройки
memSetZero(settingsa, sizeof(bake_settings));
memSetZero(settingsb, sizeof(bake_settings));
settingsa->kca = settingsa->kcb = TRUE;
settingsb->kca = settingsb->kcb = TRUE;
settingsa->rng = settingsb->rng = prngEchoStepR;
settingsa->rng_state = echoa;
settingsb->rng_state = echob;
// загрузить личные ключи
hexTo(da, _da);
hexTo(db, _db);
// загрузить сертификаты
hexTo(certdataa, _certa);
hexTo(certdatab, _certb);
certa->data = certdataa;
certa->len = strLen(_certa) / 2;
certb->data = certdatab;
certb->len = strLen(_certb) / 2;
certa->val = certb->val = certVal;
// тест Б.2
hexTo(randa, _bmqv_randa);
hexTo(randb, _bmqv_randb);
ASSERT(sizeof(file_data) >= sizeof(_bmqv_data) / 2);
hexTo(file_data, _bmqv_data);
if (fileCreate(filea, file_data, strlen(_bmqv_data) / 2) != ERR_OK ||
fileCreate(fileb, file_data, strlen(_bmqv_data) / 2) != ERR_OK)
return FALSE;
prngEchoStart(echoa, randa, strLen(_bmqv_randb) / 2);
prngEchoStart(echob, randb, strLen(_bmqv_randb) / 2);
if (bakeBMQVRunB(keyb, params, settingsb, db, certb, certa,
fileRead, fileWrite, fileb) != ERR_OK ||
bakeBMQVRunA(keya, params, settingsa, da, certa, certb,
fileRead, fileWrite, filea))
return FALSE;
if (!memEq(keya, keyb, 32) ||
!hexEq(keya,
"C6F86D0E468D5EF1A9955B2EE0CF0581"
"050C81D1B47727092408E863C7EEB48C"))
return FALSE;
// тест Б.3
hexTo(randa, _bsts_randa);
hexTo(randb, _bsts_randb);
ASSERT(sizeof(file_data) >= strlen(_bsts_data) / 2);
hexTo(file_data, _bsts_data);
if (fileCreate(filea, file_data, strlen(_bsts_data) / 2) != ERR_OK ||
fileCreate(fileb, file_data, strlen(_bsts_data) / 2) != ERR_OK)
return FALSE;
prngEchoStart(echoa, randa, strLen(_bsts_randb) / 2);
prngEchoStart(echob, randb, strLen(_bsts_randb) / 2);
if (bakeBSTSRunB(keyb, params, settingsb, db, certb, certVal,
fileRead, fileWrite, fileb) != ERR_OK ||
bakeBSTSRunA(keya, params, settingsa, da, certa, certVal,
fileRead, fileWrite, filea))
return FALSE;
if (!memEq(keya, keyb, 32) ||
!hexEq(keya,
"78EF2C56BD6DA2116BB5BEE80CEE5C05"
"394E7609183CF7F76DF0C2DCFB25C4AD"))
return FALSE;
// тест Б.4
hexTo(randa, _bpace_randa);
hexTo(randb, _bpace_randb);
ASSERT(sizeof(file_data) >= strlen(_bsts_data) / 2);
hexTo(file_data, _bpace_data);
if (fileCreate(filea, file_data, strlen(_bpace_data) / 2) != ERR_OK ||
fileCreate(fileb, file_data, strlen(_bpace_data) / 2) != ERR_OK)
return FALSE;
prngEchoStart(echoa, randa, strLen(_bpace_randb) / 2);
prngEchoStart(echob, randb, strLen(_bpace_randb) / 2);
if (bakeBPACERunB(keyb, params, settingsb, (octet*)pwd, strLen(pwd),
fileRead, fileWrite, fileb) != ERR_OK ||
bakeBPACERunA(keya, params, settingsa, (octet*)pwd, strLen(pwd),
fileRead, fileWrite, filea))
return FALSE;
if (!memEq(keya, keyb, 32) ||
!hexEq(keya,
"DAC4D8F411F9C523D28BBAAB32A5270E"
"4DFA1F0F757EF8E0F30AF08FBDE1E7F4"))
return FALSE;
// все нормально
return TRUE;
}
bool_t bakeTest()
{
err_t codea;
err_t codeb;
bign_params params[1];
octet randa[48];
octet randb[48];
octet echoa[64];
octet echob[64];
bake_settings settingsa[1];
bake_settings settingsb[1];
octet da[32];
octet db[32];
octet certdataa[5 /* Alice */ + 64 + 3 /* align */];
octet certdatab[3 /* Bob */ + 64 + 5 /* align */];
bake_cert certa[1];
bake_cert certb[1];
file_msg_st filea[1];
file_msg_st fileb[1];
const char pwd[] = "8086";
octet keya[32];
octet keyb[32];
octet secret[32];
octet iv[64];
// загрузить долговременные параметры
if (bignStdParams(params, "1.2.112.0.2.0.34.101.45.3.1") != ERR_OK)
return FALSE;
// настроить генераторы
ASSERT(prngEcho_keep() <= sizeof(echoa));
// задать настройки
memSetZero(settingsa, sizeof(bake_settings));
memSetZero(settingsb, sizeof(bake_settings));
settingsa->kca = settingsa->kcb = TRUE;
settingsb->kca = settingsb->kcb = TRUE;
settingsa->rng = settingsb->rng = prngEchoStepR;
settingsa->rng_state = echoa;
settingsb->rng_state = echob;
// загрузить личные ключи
hexTo(da, _da);
hexTo(db, _db);
// загрузить сертификаты
hexTo(certdataa, _certa);
hexTo(certdatab, _certb);
certa->data = certdataa;
certa->len = strLen(_certa) / 2;
certb->data = certdatab;
certb->len = strLen(_certb) / 2;
certa->val = certb->val = bakeTestCertVal;
// тест Б.2
hexTo(randa, _bmqv_randa);
hexTo(randb, _bmqv_randb);
fileMsgFlash();
do
{
filea->i = filea->offset = 0;
fileb->i = fileb->offset = 0;
prngEchoStart(echoa, randa, strLen(_bmqv_randb) / 2);
prngEchoStart(echob, randb, strLen(_bmqv_randb) / 2);
codeb = bakeBMQVRunB(keyb, params, settingsb, db, certb, certa,
fileMsgRead, fileMsgWrite, fileb);
if (codeb != ERR_OK && codeb != ERR_FILE_NOT_FOUND)
return FALSE;
codea = bakeBMQVRunA(keya, params, settingsa, da, certa, certb,
fileMsgRead, fileMsgWrite, filea);
if (codea != ERR_OK && codea != ERR_FILE_NOT_FOUND)
return FALSE;
}
while (codea == ERR_FILE_NOT_FOUND || codeb == ERR_FILE_NOT_FOUND);
if (!memEq(keya, keyb, 32) ||
!hexEq(keya,
"C6F86D0E468D5EF1A9955B2EE0CF0581"
"050C81D1B47727092408E863C7EEB48C"))
return FALSE;
// тест Б.3
hexTo(randa, _bsts_randa);
hexTo(randb, _bsts_randb);
fileMsgFlash();
do
{
filea->i = filea->offset = 0;
fileb->i = fileb->offset = 0;
prngEchoStart(echoa, randa, strLen(_bsts_randb) / 2);
prngEchoStart(echob, randb, strLen(_bsts_randb) / 2);
codeb = bakeBSTSRunB(keyb, params, settingsb, db, certb,
bakeTestCertVal, fileMsgRead, fileMsgWrite, fileb);
if (codeb != ERR_OK && codeb != ERR_FILE_NOT_FOUND)
return FALSE;
codea = bakeBSTSRunA(keya, params, settingsa, da, certa,
bakeTestCertVal, fileMsgRead, fileMsgWrite, filea);
if (codea != ERR_OK && codea != ERR_FILE_NOT_FOUND)
return FALSE;
}
while (codea == ERR_FILE_NOT_FOUND || codeb == ERR_FILE_NOT_FOUND);
if (!memEq(keya, keyb, 32) ||
!hexEq(keya,
"78EF2C56BD6DA2116BB5BEE80CEE5C05"
"394E7609183CF7F76DF0C2DCFB25C4AD"))
return FALSE;
// тест Б.4
hexTo(randa, _bpace_randa);
hexTo(randb, _bpace_randb);
fileMsgFlash();
do
{
filea->i = filea->offset = 0;
fileb->i = fileb->offset = 0;
prngEchoStart(echoa, randa, strLen(_bpace_randb) / 2);
prngEchoStart(echob, randb, strLen(_bpace_randb) / 2);
codeb = bakeBPACERunB(keyb, params, settingsb, (const octet*)pwd,
strLen(pwd), fileMsgRead, fileMsgWrite, fileb);
if (codeb != ERR_OK && codeb != ERR_FILE_NOT_FOUND)
return FALSE;
codea = bakeBPACERunA(keya, params, settingsa, (const octet*)pwd,
strLen(pwd), fileMsgRead, fileMsgWrite, filea);
if (codea != ERR_OK && codea != ERR_FILE_NOT_FOUND)
return FALSE;
}
while (codea == ERR_FILE_NOT_FOUND || codeb == ERR_FILE_NOT_FOUND);
if (!memEq(keya, keyb, 32) ||
!hexEq(keya,
"DAC4D8F411F9C523D28BBAAB32A5270E"
"4DFA1F0F757EF8E0F30AF08FBDE1E7F4"))
return FALSE;
// тест bakeKDF (по данным из теста Б.4)
hexTo(secret,
"723356E335ED70620FFB1842752092C3"
"2603EB666040920587D800575BECFC42");
hexTo(iv,
"6B13ACBB086FB87618BCC2EF20A3FA89"
"475654CB367E670A2441730B24B8AB31"
"CD3D6487DC4EEB23456978186A069C71"
"375D75C2DF198BAD1E61EEA0DBBFF737");
if (bakeKDF(keya, secret, 32, iv, 64, 0) != ERR_OK ||
bakeKDF(keyb, secret, 32, iv, 64, 1) != ERR_OK ||
!hexEq(keya,
"DAC4D8F411F9C523D28BBAAB32A5270E"
"4DFA1F0F757EF8E0F30AF08FBDE1E7F4") ||
!hexEq(keyb,
"54AC058284D679CF4C47D3D72651F3E4"
"EF0D61D1D0ED5BAF8FF30B8924E599D8"))
return FALSE;
// тест bakeSWU (по данным из теста Б.4)
hexTo(secret,
"AD1362A8F9A3D42FBE1B8E6F1C88AAD5"
"0F51D91347617C20BD4AB07AEF4F26A1");
if (bakeSWU(iv, params, secret) != ERR_OK ||
!hexEq(iv,
"014417D3355557317D2E2AB6D0875487"
"8D19E8D97B71FDC95DBB2A9B894D16D7"
"7704A0B5CAA9CDA10791E4760671E105"
"0DDEAB7083A7458447866ADB01473810"))
return FALSE;
// все нормально
return TRUE;
}
bool_t belsTest()
{
size_t len, num;
octet m0[32];
octet mi[32 * 5];
octet s[32];
octet si[32 * 5];
char id[] = "Alice";
octet echo_state[64];
octet combo_state[512];
// проверить состояния
ASSERT(sizeof(echo_state) >= prngEcho_keep());
ASSERT(sizeof(combo_state) >= prngCOMBO_keep());
// проверить таблицы A.1 -- A.4
for (len = 16; len <= 32; len += 8)
for (num = 0; num <= 16; ++num)
{
if (belsStdM(mi, len, num) != ERR_OK)
return FALSE;
if (belsValM(mi, len) != ERR_OK)
return FALSE;
}
// сгенерировать общие ключи
prngCOMBOStart(combo_state, utilNonce32());
if (belsGenM0(m0, 16, prngCOMBOStepG, combo_state) != ERR_OK ||
belsValM(m0, 16) != ERR_OK)
return FALSE;
if (belsGenM0(m0, 24, prngCOMBOStepG, combo_state) != ERR_OK ||
belsValM(m0, 24) != ERR_OK)
return FALSE;
if (belsGenM0(m0, 32, prngCOMBOStepG, combo_state) != ERR_OK ||
belsValM(m0, 32) != ERR_OK)
return FALSE;
// тест Б.1
belsStdM(m0, 16, 0);
if (belsGenMid(mi, 16, m0, (const octet*)id, strLen(id)) != ERR_OK ||
belsValM(mi, 16) != ERR_OK ||
!hexEq(mi,
"F9D6F31B5DB0BB61F00E17EEF2E6007F"))
return FALSE;
belsStdM(m0, 24, 0);
if (belsGenMid(mi, 24, m0, (const octet*)id, strLen(id)) != ERR_OK ||
belsValM(mi, 24) != ERR_OK ||
!hexEq(mi,
"09EA79297F94A3E43A3885FC0D1BB8FD"
"D0DF86FD313CEF46"))
return FALSE;
belsStdM(m0, 32, 0);
if (belsGenMid(mi, 32, m0, (const octet*)id, strLen(id)) != ERR_OK ||
belsValM(mi, 32) != ERR_OK ||
!hexEq(mi,
"D53CC51BE1F976F1032A00D9CD0E190E"
"62C37FFD233E8A9DF14C85F85C51A045"))
return FALSE;
// проверка belsGenMi
for (len = 16; len <= 32; len += 8)
{
belsStdM(m0, len, 0);
if (belsGenMi(mi, len, m0, prngCOMBOStepG, combo_state) != ERR_OK ||
belsValM(mi, len) != ERR_OK)
return FALSE;
}
// проверка belsShare
for (len = 16; len <= 32; len += 8)
{
// загрузить открытые ключи
belsStdM(m0, len, 0);
belsStdM(mi + 0 * len, len, 1);
belsStdM(mi + 1 * len, len, 2);
belsStdM(mi + 2 * len, len, 3);
belsStdM(mi + 3 * len, len, 4);
belsStdM(mi + 4 * len, len, 5);
// инициализировать эхо-генератор
prngEchoStart(echo_state, beltH() + 128, 128);
// разделить секрет (тесты Б.2 -- Б.4)
if (belsShare(si, 5, 3, len, beltH(), m0, mi, prngEchoStepG,
echo_state) != ERR_OK)
return FALSE;
if (len == 16 && !hexEq(si,
"E27D0CFD31C557BC37C3897DCFF2C7FC"
"50BB9EECBAEF52DDB811BCDE1495441D"
"A92473F6796683534AD115812A3F9950"
"9A8331FD945D58E6D8723E4744FB1DA9"
"51913D18C8625C5AB0812133FB643D66"))
return FALSE;
if (len == 24 && !hexEq(si,
"8D0EBB0C67A315C214B34A5D68E9712A"
"12F7B43287E3138A"
"2506EB8283D8555318479D278A752B04"
"E9B5E6CC43543403"
"E5B885E65E69ADD330D08268EC3D0A44"
"B04B8E142CDDDD5C"
"E85B368A66489AFE0E73D3D0EEB6A210"
"CF0629C275AB1E94"
"ED6CD8B56C37C03EE4FF04AE2A975AAA"
"748AA0E97AA0DE20"))
return FALSE;
if (len == 32 && !hexEq(si,
"27EC2268C7A06E7CC54F66FC3D357298"
"4D4D4EF69916EB8D1EAFDFA420217ADC"
"20E06235E355CC433E2AF2F4100C636F"
"3BFAB861A4390614E42BC17577BCBE42"
"1E14B1E795CED216AAC5BB526EFC786C"
"5BCE1F1865D3886ED4DD7D9EFEF77F39"
"62EFAD2544718293262E2CB74A396B50"
"B6D8843DF5E2F0EEFFFE6CD18722765E"
"71ADE959FC88CCBB1C521FA9A1168C184"
"619832AB66265E08A65DD48EE406418"))
return FALSE;
// восстановить секрет
if (belsRecover(s, 1, len, si, m0, mi) != ERR_OK ||
memEq(s, beltH(), len))
return FALSE;
if (belsRecover(s, 2, len, si, m0, mi) != ERR_OK ||
memEq(s, beltH(), len))
return FALSE;
if (belsRecover(s, 3, len, si, m0, mi) != ERR_OK ||
!memEq(s, beltH(), len))
return FALSE;
if (belsRecover(s, 4, len, si, m0, mi) != ERR_OK ||
!memEq(s, beltH(), len))
return FALSE;
if (belsRecover(s, 5, len, si, m0, mi) != ERR_OK ||
!memEq(s, beltH(), len))
return FALSE;
// восстановить секрет (тесты Б.5 -- Б.7, строка 1)
if (belsRecover(s, 2, len, si, m0, mi) != ERR_OK ||
len == 16 && !hexEq(s,
"6380669CA508058FA9AADF986C77C175") ||
len == 24 && !hexEq(s,
"1E9811BD520C56E12B5B0E517756FA1A"
"EE3CACC13B6313E9") ||
len == 32 && !hexEq(s,
"C39C8FA8590A7855914AED9B05940D9E"
"8A119B130D939B8799889C938D1E078D"))
return FALSE;
// восстановить секрет (тесты Б.5 -- Б.7, строка 5)
if (belsRecover(s, 2, len, si + len, m0, mi + len) != ERR_OK ||
len == 16 && !hexEq(s,
"E8BA837676967C5C939DBF5172C9AB4F") ||
len == 24 && !hexEq(s,
"AF8AB8304FEBD5CF89D643A850C77165"
"7310CA0E8EDF9C60") ||
len == 32 && !hexEq(s,
"31C06C2BF7AF38C2A6870A7F1B7BA9CC"
"1A741DD96374A4D17A1F701666C9A777"))
return FALSE;
// восстановить секрет (тесты Б.5 -- Б.7, строка 8)
if (belsRecover(s, 2, len, si + 2 * len, m0, mi + 2 * len) != ERR_OK ||
len == 16 && !hexEq(s,
"81C498D55DC506E858DE632A079C2C31") ||
len == 24 && !hexEq(s,
"21B6A467511CD2CE6AE671E1D0992538"
"BFB4EAE927F70991") ||
len == 32 && !hexEq(s,
"3ACC00A6DF80BC314A708A19D467F954"
"40B214356D4666B4075E384B87BEB86C"))
return FALSE;
// восстановить секрет (тесты Б.5 -- Б.7, строка 10)
if (belsRecover(s, 2, len, si + 3 * len, m0, mi + 3 * len) != ERR_OK ||
len == 16 && !hexEq(s,
"40F629F9A4487DBCBF53192EA4A49EAA") ||
len == 24 && !hexEq(s,
"1C0E2B99D81134E0EB9AD40279D09786"
"CA3CDA79B2E5D385") ||
len == 32 && !hexEq(s,
"3F5F33C778D77A4FADC0BB51BE9F0153"
"2627D1E83D023DA72255CC826B05213B"))
return FALSE;
// изменить порядок открытых ключей / частичных секретов: 13245
memSwap(mi + len, mi + 2 * len, len);
memSwap(si + len, si + 2 * len, len);
// восстановить секрет (тесты Б.5 -- Б.7, строка 2)
if (belsRecover(s, 2, len, si, m0, mi) != ERR_OK ||
len == 16 && !hexEq(s,
"ABD72A835739A358DD954BEF7A923AEC") ||
len == 24 && !hexEq(s,
"A2E3B51AFBD7AFD552048DD6444416E0"
"7F2D9FA92D726920") ||
len == 32 && !hexEq(s,
"70EDE256F46BDC35EEE39361921EE8A3"
"94E8E67F3F56ABFBA65329D146DA185B"))
return FALSE;
// восстановить секрет (тесты Б.5 -- Б.7, строка 6)
if (belsRecover(s, 2, len, si + 2 * len, m0, mi + 2 * len) != ERR_OK ||
len == 16 && !hexEq(s,
"6CB93B8CF600A746F8520860901E36FA") ||
len == 24 && !hexEq(s,
"6D542544073C04C1C417ABDC292755A2"
"861B4EB590B65841") ||
len == 32 && !hexEq(s,
"44FC1DE684980BE2660BB7BCE50728A1"
"25A81D3B71B8D4ACD74E03190ADA473B"))
return FALSE;
// изменить порядок открытых ключей / частичных секретов: 53241
memSwap(mi, mi + 4 * len, len);
memSwap(si, si + 4 * len, len);
// восстановить секрет (тесты Б.5 -- Б.7, строка 9)
if (belsRecover(s, 2, len, si, m0, mi) != ERR_OK ||
len == 16 && !hexEq(s,
"E685CC725DDE29E60927563912CBBEA4") ||
len == 24 && !hexEq(s,
"F2E193958DB1D3391D54C410244C151D"
"BC267D6F5182DEC4") ||
len == 32 && !hexEq(s,
"B3C2EDAD484A5A864575721D10B9D0C0"
"9AE32C972C74857BA423D04502EE0066"))
return FALSE;
// восстановить секрет (тесты Б.5 -- Б.7, строка 3)
if (belsRecover(s, 2, len, si + 3 * len, m0, mi + 3 * len) != ERR_OK ||
len == 16 && !hexEq(s,
"225E2DF0E4AE6532D5A741981410A83C") ||
len == 24 && !hexEq(s,
"2B65B8D1BEF2EA079F6C45DF5877EAA1"
"8F1188539B0AEF32") ||
len == 32 && !hexEq(s,
"7C2D5033F0F10CC69065B13BB53BE7D1"
"9D61CF864CF1578E8325F10564F995A3"))
return FALSE;
// изменить порядок открытых ключей / частичных секретов: 43251
memSwap(mi, mi + 3 * len, len);
memSwap(si, si + 3 * len, len);
// восстановить секрет (тесты Б.5 -- Б.7, строка 7)
if (belsRecover(s, 2, len, si + 2 * len, m0, mi + 2 * len) != ERR_OK ||
len == 16 && !hexEq(s,
"E4FCC7E24E448324367F400326954776") ||
len == 24 && !hexEq(s,
"EF5CE43C8AE6F4E441CE1C2D16ACC662"
"D6CC1D8BAF937320") ||
len == 32 && !hexEq(s,
"264FD3BE9298495758B2446363616A38"
"75D15EB96F95A122332597A87B2CCCBC"))
return FALSE;
// восстановить секрет (тесты Б.5 -- Б.7, строка 4)
if (belsRecover(s, 2, len, si + 3 * len, m0, mi + 3 * len) != ERR_OK ||
len == 16 && !hexEq(s,
"E0C4268AC9C5FE35C15334E4D01417BE") ||
len == 24 && !hexEq(s,
"7E880E3E89CE5FD4E8452256BD66E42D"
"18D88C0CF85FDC26") ||
len == 32 && !hexEq(s,
"00DD41CD32684FE7564F67FC51B0AD87"
"003EEBDF90E803BA37CBA4FF8D9A724F"))
return FALSE;
}
// все нормально
return TRUE;
}
