1*0d7a7864SVitaly Chikunov /* SPDX-License-Identifier: GPL-2.0+ */ 2*0d7a7864SVitaly Chikunov /* 3*0d7a7864SVitaly Chikunov * Definitions of EC-RDSA Curve Parameters 4*0d7a7864SVitaly Chikunov * 5*0d7a7864SVitaly Chikunov * Copyright (c) 2019 Vitaly Chikunov <vt@altlinux.org> 6*0d7a7864SVitaly Chikunov * 7*0d7a7864SVitaly Chikunov * This program is free software; you can redistribute it and/or modify it 8*0d7a7864SVitaly Chikunov * under the terms of the GNU General Public License as published by the Free 9*0d7a7864SVitaly Chikunov * Software Foundation; either version 2 of the License, or (at your option) 10*0d7a7864SVitaly Chikunov * any later version. 11*0d7a7864SVitaly Chikunov */ 12*0d7a7864SVitaly Chikunov 13*0d7a7864SVitaly Chikunov #ifndef _CRYTO_ECRDSA_DEFS_H 14*0d7a7864SVitaly Chikunov #define _CRYTO_ECRDSA_DEFS_H 15*0d7a7864SVitaly Chikunov 16*0d7a7864SVitaly Chikunov #include "ecc.h" 17*0d7a7864SVitaly Chikunov 18*0d7a7864SVitaly Chikunov #define ECRDSA_MAX_SIG_SIZE (2 * 512 / 8) 19*0d7a7864SVitaly Chikunov #define ECRDSA_MAX_DIGITS (512 / 64) 20*0d7a7864SVitaly Chikunov 21*0d7a7864SVitaly Chikunov /* 22*0d7a7864SVitaly Chikunov * EC-RDSA uses its own set of curves. 23*0d7a7864SVitaly Chikunov * 24*0d7a7864SVitaly Chikunov * cp256{a,b,c} curves first defined for GOST R 34.10-2001 in RFC 4357 (as 25*0d7a7864SVitaly Chikunov * 256-bit {A,B,C}-ParamSet), but inherited for GOST R 34.10-2012 and 26*0d7a7864SVitaly Chikunov * proposed for use in R 50.1.114-2016 and RFC 7836 as the 256-bit curves. 27*0d7a7864SVitaly Chikunov */ 28*0d7a7864SVitaly Chikunov /* OID_gostCPSignA 1.2.643.2.2.35.1 */ 29*0d7a7864SVitaly Chikunov static u64 cp256a_g_x[] = { 30*0d7a7864SVitaly Chikunov 0x0000000000000001ull, 0x0000000000000000ull, 31*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, }; 32*0d7a7864SVitaly Chikunov static u64 cp256a_g_y[] = { 33*0d7a7864SVitaly Chikunov 0x22ACC99C9E9F1E14ull, 0x35294F2DDF23E3B1ull, 34*0d7a7864SVitaly Chikunov 0x27DF505A453F2B76ull, 0x8D91E471E0989CDAull, }; 35*0d7a7864SVitaly Chikunov static u64 cp256a_p[] = { /* p = 2^256 - 617 */ 36*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFD97ull, 0xFFFFFFFFFFFFFFFFull, 37*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull }; 38*0d7a7864SVitaly Chikunov static u64 cp256a_n[] = { 39*0d7a7864SVitaly Chikunov 0x45841B09B761B893ull, 0x6C611070995AD100ull, 40*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull }; 41*0d7a7864SVitaly Chikunov static u64 cp256a_a[] = { /* a = p - 3 */ 42*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFD94ull, 0xFFFFFFFFFFFFFFFFull, 43*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull }; 44*0d7a7864SVitaly Chikunov static u64 cp256a_b[] = { 45*0d7a7864SVitaly Chikunov 0x00000000000000a6ull, 0x0000000000000000ull, 46*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull }; 47*0d7a7864SVitaly Chikunov 48*0d7a7864SVitaly Chikunov static struct ecc_curve gost_cp256a = { 49*0d7a7864SVitaly Chikunov .name = "cp256a", 50*0d7a7864SVitaly Chikunov .g = { 51*0d7a7864SVitaly Chikunov .x = cp256a_g_x, 52*0d7a7864SVitaly Chikunov .y = cp256a_g_y, 53*0d7a7864SVitaly Chikunov .ndigits = 256 / 64, 54*0d7a7864SVitaly Chikunov }, 55*0d7a7864SVitaly Chikunov .p = cp256a_p, 56*0d7a7864SVitaly Chikunov .n = cp256a_n, 57*0d7a7864SVitaly Chikunov .a = cp256a_a, 58*0d7a7864SVitaly Chikunov .b = cp256a_b 59*0d7a7864SVitaly Chikunov }; 60*0d7a7864SVitaly Chikunov 61*0d7a7864SVitaly Chikunov /* OID_gostCPSignB 1.2.643.2.2.35.2 */ 62*0d7a7864SVitaly Chikunov static u64 cp256b_g_x[] = { 63*0d7a7864SVitaly Chikunov 0x0000000000000001ull, 0x0000000000000000ull, 64*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, }; 65*0d7a7864SVitaly Chikunov static u64 cp256b_g_y[] = { 66*0d7a7864SVitaly Chikunov 0x744BF8D717717EFCull, 0xC545C9858D03ECFBull, 67*0d7a7864SVitaly Chikunov 0xB83D1C3EB2C070E5ull, 0x3FA8124359F96680ull, }; 68*0d7a7864SVitaly Chikunov static u64 cp256b_p[] = { /* p = 2^255 + 3225 */ 69*0d7a7864SVitaly Chikunov 0x0000000000000C99ull, 0x0000000000000000ull, 70*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x8000000000000000ull, }; 71*0d7a7864SVitaly Chikunov static u64 cp256b_n[] = { 72*0d7a7864SVitaly Chikunov 0xE497161BCC8A198Full, 0x5F700CFFF1A624E5ull, 73*0d7a7864SVitaly Chikunov 0x0000000000000001ull, 0x8000000000000000ull, }; 74*0d7a7864SVitaly Chikunov static u64 cp256b_a[] = { /* a = p - 3 */ 75*0d7a7864SVitaly Chikunov 0x0000000000000C96ull, 0x0000000000000000ull, 76*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x8000000000000000ull, }; 77*0d7a7864SVitaly Chikunov static u64 cp256b_b[] = { 78*0d7a7864SVitaly Chikunov 0x2F49D4CE7E1BBC8Bull, 0xE979259373FF2B18ull, 79*0d7a7864SVitaly Chikunov 0x66A7D3C25C3DF80Aull, 0x3E1AF419A269A5F8ull, }; 80*0d7a7864SVitaly Chikunov 81*0d7a7864SVitaly Chikunov static struct ecc_curve gost_cp256b = { 82*0d7a7864SVitaly Chikunov .name = "cp256b", 83*0d7a7864SVitaly Chikunov .g = { 84*0d7a7864SVitaly Chikunov .x = cp256b_g_x, 85*0d7a7864SVitaly Chikunov .y = cp256b_g_y, 86*0d7a7864SVitaly Chikunov .ndigits = 256 / 64, 87*0d7a7864SVitaly Chikunov }, 88*0d7a7864SVitaly Chikunov .p = cp256b_p, 89*0d7a7864SVitaly Chikunov .n = cp256b_n, 90*0d7a7864SVitaly Chikunov .a = cp256b_a, 91*0d7a7864SVitaly Chikunov .b = cp256b_b 92*0d7a7864SVitaly Chikunov }; 93*0d7a7864SVitaly Chikunov 94*0d7a7864SVitaly Chikunov /* OID_gostCPSignC 1.2.643.2.2.35.3 */ 95*0d7a7864SVitaly Chikunov static u64 cp256c_g_x[] = { 96*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 97*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, }; 98*0d7a7864SVitaly Chikunov static u64 cp256c_g_y[] = { 99*0d7a7864SVitaly Chikunov 0x366E550DFDB3BB67ull, 0x4D4DC440D4641A8Full, 100*0d7a7864SVitaly Chikunov 0x3CBF3783CD08C0EEull, 0x41ECE55743711A8Cull, }; 101*0d7a7864SVitaly Chikunov static u64 cp256c_p[] = { 102*0d7a7864SVitaly Chikunov 0x7998F7B9022D759Bull, 0xCF846E86789051D3ull, 103*0d7a7864SVitaly Chikunov 0xAB1EC85E6B41C8AAull, 0x9B9F605F5A858107ull, 104*0d7a7864SVitaly Chikunov /* pre-computed value for Barrett's reduction */ 105*0d7a7864SVitaly Chikunov 0xedc283cdd217b5a2ull, 0xbac48fc06398ae59ull, 106*0d7a7864SVitaly Chikunov 0x405384d55f9f3b73ull, 0xa51f176161f1d734ull, 107*0d7a7864SVitaly Chikunov 0x0000000000000001ull, }; 108*0d7a7864SVitaly Chikunov static u64 cp256c_n[] = { 109*0d7a7864SVitaly Chikunov 0xF02F3A6598980BB9ull, 0x582CA3511EDDFB74ull, 110*0d7a7864SVitaly Chikunov 0xAB1EC85E6B41C8AAull, 0x9B9F605F5A858107ull, }; 111*0d7a7864SVitaly Chikunov static u64 cp256c_a[] = { /* a = p - 3 */ 112*0d7a7864SVitaly Chikunov 0x7998F7B9022D7598ull, 0xCF846E86789051D3ull, 113*0d7a7864SVitaly Chikunov 0xAB1EC85E6B41C8AAull, 0x9B9F605F5A858107ull, }; 114*0d7a7864SVitaly Chikunov static u64 cp256c_b[] = { 115*0d7a7864SVitaly Chikunov 0x000000000000805aull, 0x0000000000000000ull, 116*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, }; 117*0d7a7864SVitaly Chikunov 118*0d7a7864SVitaly Chikunov static struct ecc_curve gost_cp256c = { 119*0d7a7864SVitaly Chikunov .name = "cp256c", 120*0d7a7864SVitaly Chikunov .g = { 121*0d7a7864SVitaly Chikunov .x = cp256c_g_x, 122*0d7a7864SVitaly Chikunov .y = cp256c_g_y, 123*0d7a7864SVitaly Chikunov .ndigits = 256 / 64, 124*0d7a7864SVitaly Chikunov }, 125*0d7a7864SVitaly Chikunov .p = cp256c_p, 126*0d7a7864SVitaly Chikunov .n = cp256c_n, 127*0d7a7864SVitaly Chikunov .a = cp256c_a, 128*0d7a7864SVitaly Chikunov .b = cp256c_b 129*0d7a7864SVitaly Chikunov }; 130*0d7a7864SVitaly Chikunov 131*0d7a7864SVitaly Chikunov /* tc512{a,b} curves first recommended in 2013 and then standardized in 132*0d7a7864SVitaly Chikunov * R 50.1.114-2016 and RFC 7836 for use with GOST R 34.10-2012 (as TC26 133*0d7a7864SVitaly Chikunov * 512-bit ParamSet{A,B}). 134*0d7a7864SVitaly Chikunov */ 135*0d7a7864SVitaly Chikunov /* OID_gostTC26Sign512A 1.2.643.7.1.2.1.2.1 */ 136*0d7a7864SVitaly Chikunov static u64 tc512a_g_x[] = { 137*0d7a7864SVitaly Chikunov 0x0000000000000003ull, 0x0000000000000000ull, 138*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 139*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 140*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, }; 141*0d7a7864SVitaly Chikunov static u64 tc512a_g_y[] = { 142*0d7a7864SVitaly Chikunov 0x89A589CB5215F2A4ull, 0x8028FE5FC235F5B8ull, 143*0d7a7864SVitaly Chikunov 0x3D75E6A50E3A41E9ull, 0xDF1626BE4FD036E9ull, 144*0d7a7864SVitaly Chikunov 0x778064FDCBEFA921ull, 0xCE5E1C93ACF1ABC1ull, 145*0d7a7864SVitaly Chikunov 0xA61B8816E25450E6ull, 0x7503CFE87A836AE3ull, }; 146*0d7a7864SVitaly Chikunov static u64 tc512a_p[] = { /* p = 2^512 - 569 */ 147*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFDC7ull, 0xFFFFFFFFFFFFFFFFull, 148*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, 149*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, 150*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, }; 151*0d7a7864SVitaly Chikunov static u64 tc512a_n[] = { 152*0d7a7864SVitaly Chikunov 0xCACDB1411F10B275ull, 0x9B4B38ABFAD2B85Dull, 153*0d7a7864SVitaly Chikunov 0x6FF22B8D4E056060ull, 0x27E69532F48D8911ull, 154*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, 155*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, }; 156*0d7a7864SVitaly Chikunov static u64 tc512a_a[] = { /* a = p - 3 */ 157*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFDC4ull, 0xFFFFFFFFFFFFFFFFull, 158*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, 159*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, 160*0d7a7864SVitaly Chikunov 0xFFFFFFFFFFFFFFFFull, 0xFFFFFFFFFFFFFFFFull, }; 161*0d7a7864SVitaly Chikunov static u64 tc512a_b[] = { 162*0d7a7864SVitaly Chikunov 0x503190785A71C760ull, 0x862EF9D4EBEE4761ull, 163*0d7a7864SVitaly Chikunov 0x4CB4574010DA90DDull, 0xEE3CB090F30D2761ull, 164*0d7a7864SVitaly Chikunov 0x79BD081CFD0B6265ull, 0x34B82574761CB0E8ull, 165*0d7a7864SVitaly Chikunov 0xC1BD0B2B6667F1DAull, 0xE8C2505DEDFC86DDull, }; 166*0d7a7864SVitaly Chikunov 167*0d7a7864SVitaly Chikunov static struct ecc_curve gost_tc512a = { 168*0d7a7864SVitaly Chikunov .name = "tc512a", 169*0d7a7864SVitaly Chikunov .g = { 170*0d7a7864SVitaly Chikunov .x = tc512a_g_x, 171*0d7a7864SVitaly Chikunov .y = tc512a_g_y, 172*0d7a7864SVitaly Chikunov .ndigits = 512 / 64, 173*0d7a7864SVitaly Chikunov }, 174*0d7a7864SVitaly Chikunov .p = tc512a_p, 175*0d7a7864SVitaly Chikunov .n = tc512a_n, 176*0d7a7864SVitaly Chikunov .a = tc512a_a, 177*0d7a7864SVitaly Chikunov .b = tc512a_b 178*0d7a7864SVitaly Chikunov }; 179*0d7a7864SVitaly Chikunov 180*0d7a7864SVitaly Chikunov /* OID_gostTC26Sign512B 1.2.643.7.1.2.1.2.2 */ 181*0d7a7864SVitaly Chikunov static u64 tc512b_g_x[] = { 182*0d7a7864SVitaly Chikunov 0x0000000000000002ull, 0x0000000000000000ull, 183*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 184*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 185*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, }; 186*0d7a7864SVitaly Chikunov static u64 tc512b_g_y[] = { 187*0d7a7864SVitaly Chikunov 0x7E21340780FE41BDull, 0x28041055F94CEEECull, 188*0d7a7864SVitaly Chikunov 0x152CBCAAF8C03988ull, 0xDCB228FD1EDF4A39ull, 189*0d7a7864SVitaly Chikunov 0xBE6DD9E6C8EC7335ull, 0x3C123B697578C213ull, 190*0d7a7864SVitaly Chikunov 0x2C071E3647A8940Full, 0x1A8F7EDA389B094Cull, }; 191*0d7a7864SVitaly Chikunov static u64 tc512b_p[] = { /* p = 2^511 + 111 */ 192*0d7a7864SVitaly Chikunov 0x000000000000006Full, 0x0000000000000000ull, 193*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 194*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 195*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x8000000000000000ull, }; 196*0d7a7864SVitaly Chikunov static u64 tc512b_n[] = { 197*0d7a7864SVitaly Chikunov 0xC6346C54374F25BDull, 0x8B996712101BEA0Eull, 198*0d7a7864SVitaly Chikunov 0xACFDB77BD9D40CFAull, 0x49A1EC142565A545ull, 199*0d7a7864SVitaly Chikunov 0x0000000000000001ull, 0x0000000000000000ull, 200*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x8000000000000000ull, }; 201*0d7a7864SVitaly Chikunov static u64 tc512b_a[] = { /* a = p - 3 */ 202*0d7a7864SVitaly Chikunov 0x000000000000006Cull, 0x0000000000000000ull, 203*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 204*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x0000000000000000ull, 205*0d7a7864SVitaly Chikunov 0x0000000000000000ull, 0x8000000000000000ull, }; 206*0d7a7864SVitaly Chikunov static u64 tc512b_b[] = { 207*0d7a7864SVitaly Chikunov 0xFB8CCBC7C5140116ull, 0x50F78BEE1FA3106Eull, 208*0d7a7864SVitaly Chikunov 0x7F8B276FAD1AB69Cull, 0x3E965D2DB1416D21ull, 209*0d7a7864SVitaly Chikunov 0xBF85DC806C4B289Full, 0xB97C7D614AF138BCull, 210*0d7a7864SVitaly Chikunov 0x7E3E06CF6F5E2517ull, 0x687D1B459DC84145ull, }; 211*0d7a7864SVitaly Chikunov 212*0d7a7864SVitaly Chikunov static struct ecc_curve gost_tc512b = { 213*0d7a7864SVitaly Chikunov .name = "tc512b", 214*0d7a7864SVitaly Chikunov .g = { 215*0d7a7864SVitaly Chikunov .x = tc512b_g_x, 216*0d7a7864SVitaly Chikunov .y = tc512b_g_y, 217*0d7a7864SVitaly Chikunov .ndigits = 512 / 64, 218*0d7a7864SVitaly Chikunov }, 219*0d7a7864SVitaly Chikunov .p = tc512b_p, 220*0d7a7864SVitaly Chikunov .n = tc512b_n, 221*0d7a7864SVitaly Chikunov .a = tc512b_a, 222*0d7a7864SVitaly Chikunov .b = tc512b_b 223*0d7a7864SVitaly Chikunov }; 224*0d7a7864SVitaly Chikunov 225*0d7a7864SVitaly Chikunov #endif 226