abc/GmSSL
1
0
Fork 0
mirror of https://github.com/guanzhi/GmSSL.git synced 2026-05-07 08:56:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update SM9

Browse Source 
to be continue ...
This commit is contained in:
Zhi Guan
2018-09-13 10:53:06 +08:00
parent 1130aca883
commit 1e4c9db090
1 changed files with 298 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

302
crypto/sm9/sm9_rate.c
View File

@@ -57,6 +57,12 @@ typedef fp_t fp2_t[2];
typedef fp2_t fp4_t[2];
typedef fp4_t fp12_t[3];
typedef struct {
fp2_t X;
fp2_t Y;
fp2_t Z;
} point_t;
static const uint64_t sm9_prime[4] = {
0xe56f9b27e351457dul, 0x21f2934b1a7aeedbul,
0xd603ab4ff58ec745ul, 0xb640000002a3a6f1ul
@@ -71,6 +77,15 @@ static const uint64_t sm9_a[2] = {
0x400000000215d93eul, 0x02ul
};
static const fp2_t sm9_b = {{0, 0, 0, 0}, {5, 0, 0, 0}};
static const int abits = {
0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,1,0,0,0,0,1,0,1,0,
1,1,1,0,1,1,0,0,1,0,0,1,1,1,1,1,
static int fp_is_zero(const fp_t a)
{
return a[0] == 0 && a[1] == 0 && a[2] == 0 && a[3] == 0;
@@ -135,6 +150,24 @@ static void fp2_set_one(fp2_t r)
fp_set_zero(r[1]);
}
static void fp2_copy(fp2_t r, const fp2_t a)
{
fp_copy(r[0], a[0]);
fp_copy(r[1], a[1]);
}
static void fp2_set(fp2_t r, const fp_t a0, const fp_t a1)
{
fp_copy(r[0], a0);
fp_copy(r[1], a1);
}
static void fp2_set_fp(fp2_t r, const fp_t a)
{
fp_copy(r[0], a);
fp_set_zero(r[1]);
}
static void fp2_set_u(fp2_t r)
{
fp_set_zero(r[0]);
@@ -162,10 +195,13 @@ static void fp2_sub(fp2_t r, const fp2_t a, const fp2_t b)
static void fp2_neg(fp2_t r, const fp2_t a)
{
fp_neg(r[0], a[0]);
fp_neg(r[1], a[1]);
}
static void fp2_mul(fp2_t r, const fp2_t a, const fp2_t b)
{
fp_t t0, t1, t2;
fp_mul(t0, a[0], b[0]);
fp_sqr(t1, a[1], b[1]);
fp_dbl(t2, t1);
@@ -178,6 +214,8 @@ static void fp2_mul(fp2_t r, const fp2_t a, const fp2_t b)
static void fp2_mul_u(fp2_t r, const fp2_t a, const fp2_t b)
{
fp_t t0, t1, t2;
fp_mul(t0, a[1], b[0]);
fp_mul(t1, a[0], b[1]);
fp_add(r[0], t0, t1);
@@ -192,6 +230,8 @@ static void fp2_mul_u(fp2_t r, const fp2_t a, const fp2_t b)
static void fp2_sqr(fp2_t r, const fp2_t a)
{
fp_t t0, t1, t2;
fp_sqr(t0, a[0]);
fp_sqr(t1, a[1]);
fp_dbl(t2, t1);
@@ -218,6 +258,8 @@ static void fp2_sqr_u(fp2_t r, const fp2_t a)
static void fp2_inv(fp2_t r, const fp2_t a)
{
fp_t k, t0, t1, t2;
if (fp_is_zero(a[1])) {
fp_inv(r[0], a[0]);
fp_set_zero(r[1])
@@ -261,6 +303,36 @@ static void fp4_set_one(fp4_t r)
fp2_set_zero(r[1]);
}
static void fp4_set_fp(fp4_t r, const fp_t a)
{
fp2_set_fp(r[0], a);
fp2_set_zero(r[1]);
}
static void fp4_set_fp2(fp4_t r, const fp2_t 0)
{
fp2_copy(r[0], a);
fp2_set_zero(r[1]);
}
static void fp4_set(fp4_t r, const fp2_t a0, const fp2_t a1)
{
fp2_copy(r[0], a0);
fp2_copy(r[1], a1);
}
static void fp4_copy(fp4_t r, const fp4_t a)
{
fp2_copy(r[0], a[0]);
fp2_copy(r[1], a[1]);
}
static void fp4_set_u(fp4_t r)
{
fp2_set_u(r[0]);
fp2_set_zero(r[1]);
}
static void fp4_set_v(fp4_t r)
{
fp2_set_zero(r[0]);
@@ -365,20 +437,55 @@ static int fp12_is_one(const fp12_t a)
return fp12_is_one(a[0]) && fp12_is_zero(a[1]) && fp12_is_zero(a[2]);
}
static int fp12_set_zero(fp12_t r)
static void fp12_set_zero(fp12_t r)
{
fp4_set_zero(r[0]);
fp4_set_zero(r[1]);
fp4_set_zero(r[2]);
}
static int fp12_set_one(fp12_t r)
static void fp12_set_one(fp12_t r)
{
fp4_set_one(r[0]);
fp4_set_zero(r[1]);
fp4_set_zero(r[2]);
}
static void fp12_copy(fp12_t r, const fp12_t a)
{
fp4_copy(r[0], a[0]);
fp4_copy(r[1], a[1]);
fp4_copy(r[2], a[2]);
}
static void fp12_set(fp12_t r, const fp4_t a0, const fp4_t a1, const fp4_t a2)
{
fp4_copy(r[0], a0);
fp4_copy(r[1], a1);
fp4_copy(r[2], a2);
}
static void fp12_set_fp4(fp12_t r, const fp4_t a)
{
fp4_copy(r[0], a);
fp4_set_zero(r[1]);
fp4_set_zero(r[2]);
}
static void fp12_set_fp2(fp12_t r, const fp2_t a)
{
fp4_set_fp2(r[0], a);
fp4_set_zero(r[1]);
fp4_set_zero(r[2]);
}
static void fp12_set_fp(fp12_t r, const fp_t a)
{
fp4_set_fp(r[0], a);
fp4_set_zero(r[1]);
fp4_set_zero(r[2]);
}
static void fp12_add(fp12_t r, fp12_t a, const fp12_t b)
{
fp4_add(r[0], a[0], b[0]);
@@ -395,8 +502,9 @@ static void fp12_dbl(fp12_t r, fp12_t a)
static void fp12_tri(fp12_t r, fp12_t a)
{
fp12_dbl(r, a);
fp12_add(r, a);
fp12_t t;
fp12_dbl(t, a);
fp12_add(r, t, a);
}
static void fp12_sub(fp12_t r, const fp12_t a, const fp12_t b)
@@ -497,3 +605,189 @@ static void fp12_inv(fp12_t r, const fp12_t a)
}
}
static void fp12_pow(fp12_t r, const fp12_t a, const fp_t k)
{
}
static int point_is_at_infinity(point_t P)
{
return 0;
}
static int point_is_on_curve(point_t P)
{
fp2_t x, y;
point_get_affine_coordinates(P, x, y);
fp2_sqr(t0, x);
fp2_mul(t1, t0, x);
fp2_add(t0, sm9_b);
fp2_sqr(t1, y);
return fp2_equ(t0, t1);
}
static void point_set_infinity(point_t P)
{
fp2_set_zero(P.X);
fp2_set_one(P.Y);
fp2_set_zero(P.Z);
}
static void point_add(point_t R, const point_t P, const point_t Q)
{
}
static void point_dbl(point_t R, const point_t P)
{
}
static void point_neg(point_t R, const point_t P)
{
fp2_copy(R.X, P.X);
fp2_neg(R.y, P.y);
fp2_copy(R.Z, P.Z);
}
static void point_sub(point_t R, const point_t P, const point_t Q)
{
point_t T;
point_neg(T, Q);
point_add(R, P, T);
}
static void point_mul(point_t R, const fp_t k, const point_t P)
{
}
static void eval_tangent(fp12_t r, const fp12_t xP, const fp12_t yP, const fp_t xQ, const fp_t yQ)
{
fp12_t x, y, lambda, t0, t1;
fp12_set_fp(x, xQ);
fp12_set_fp(y, yQ);
fp12_sqr(t0, xP);
fp12_tri(t1, t0);
fp12_dbl(t0, yP);
fp12_inv(t2, t0);
fp12_mul(lambda, t1, t2);
fp12_sub(t0, x, xP);
fp12_mul(t1, lambda, t0);
fp12_sub(t0, y, yP);
fp12_sub(r, t1, t0);
}
static void eval_line(fp12_t r, const fp12_t xT, const fp12_t yT,
const fp12_t xP, const fp12_t yP, const fp_t xQ, const fp_t yQ)
{
fp12_t x, y, lambda, t0, t1;
fp12_set_fp(x, xQ);
fp12_set_fp(y, yQ);
fp12_sub(t0, yT, yP);
fp12_sub(t1, xT, xP);
fp12_div(lambda, t0, t1);
fp12_sub(t0, x, xP);
fp12_mul(t1, lambda, t0);
fp12_sub(t0, y, yP);
fp12_sub(r, t1, t0);
}
static void frob(fp12_t xR, fp12_t yR, const point_t P)
{
fp2_t x, y;
fp12_t t0, t1;
point_get_affine_coordinates(x, y, R);
fp2_conjugate(x);
fp2_conjugate(y);
fp12_set_fp(t0, x);
fp12_set_fp(t1, y);
fp12_mul(xR, t0, w2p);
fp12_mul(yR, t1, w3p);
}
static void frob_twice(fp12_t xR, fp12_t yR, const point_t P)
{
fp2_t x, y;
fp12_t t0, t1;
point_get_affine_coordinates(x, y, R);
}
static void sm9_rate(fp12_t r, const fp2_t xQ, const fp2_t yQ,
const fp_t xP, const fp_t yP)
{
}
int test()
{
char *x_P1_str = "0x93DE051D62BF718FF5ED0704487D01D6E1E4086909DC3280E8C4E4817C66DDDD";
char *y_P1_str = "0x21FE8DDA4F21E607631065125C395BBC1C1C00CBFA6024350C464CD70A3EA616";
char *x_P2_1_str = "85AEF3D078640C98597B6027B441A01FF1DD2C190F5E93C454806C11D8806141";
char *x_P2_0_str = "3722755292130B08D2AAB97FD34EC120EE265948D19C17ABF9B7213BAF82D65B";
char *y_P2_1_str = "17509B092E845C1266BA0D262CBEE6ED0736A96FA347C8BD856DC76B84EBEB96";
char *y_P2_0_str = "A7CF28D519BE3DA65F3170153D278FF247EFBA98A71A08116215BBA5C999A7C7";
char *ks_str = "0130E78459D78545CB54C587E02CF480CE0B66340F319F348A1D5B1F2DC5F4";
char *x_Ppubs_1_str = "9F64080B3084F733E48AFF4B41B565011CE0711C5E392CFB0AB1B6791B94C408";
char *x_Ppubs_0_str = "29DBA116152D1F786CE843ED24A3B573414D2177386A92DD8F14D65696EA5E32";
char *y_Ppubs_1_str = "69850938ABEA0112B57329F447E3A0CBAD3E2FDB1A77F335E89E1408D0EF1C25";
char *y_Ppubs_0_str = "41E00A53DDA532DA1A7CE027B7A46F741006E85F5CDFF0730E75C05FB4E3216D";
char *g_str[] = {
"4E378FB5561CD0668F906B731AC58FEE25738EDF09CADC7A29C0ABC0177AEA6D",
"28B3404A61908F5D6198815C99AF1990C8AF38655930058C28C21BB539CE0000",
"38BFFE40A22D529A0C66124B2C308DAC9229912656F62B4FACFCED408E02380F",
"A01F2C8BEE81769609462C69C96AA923FD863E209D3CE26DD889B55E2E3873DB",
"67E0E0C2EED7A6993DCE28FE9AA2EF56834307860839677F96685F2B44D0911F",
"5A1AE172102EFD95DF7338DBC577C66D8D6C15E0A0158C7507228EFB078F42A6",
"1604A3FCFA9783E667CE9FCB1062C2A5C6685C316DDA62DE0548BAA6BA30038B",
"93634F44FA13AF76169F3CC8FBEA880ADAFF8475D5FD28A75DEB83C44362B439",
"B3129A75D31D17194675A1BC56947920898FBF390A5BF5D931CE6CBB3340F66D",
"4C744E69C4A2E1C8ED72F796D151A17CE2325B943260FC460B9F73CB57C9014B",
"84B87422330D7936EABA1109FA5A7A7181EE16F2438B0AEB2F38FD5F7554E57A",
"AAB9F06A4EEBA4323A7833DB202E4E35639D93FA3305AF73F0F071D7D284FCFB"};
char *r_str = "033C8616B06704813203DFD00965022ED15975C662337AED648835DC4B1CBE";
char *w_str[] = {
"81377B8FDBC2839B4FA2D0E0F8AA6853BBBE9E9C4099608F8612C6078ACD7563",
"815AEBA217AD502DA0F48704CC73CABB3C06209BD87142E14CBD99E8BCA1680F",
"30DADC5CD9E207AEE32209F6C3CA3EC0D800A1A42D33C73153DED47C70A39D2E",
"8EAF5D179A1836B359A9D1D9BFC19F2EFCDB829328620962BD3FDF15F2567F58",
"A543D25609AE943920679194ED30328BB33FD15660BDE485C6B79A7B32B01398",
"3F012DB04BA59FE88DB889321CC2373D4C0C35E84F7AB1FF33679BCA575D6765",
"4F8624EB435B838CCA77B2D0347E65D5E46964412A096F4150D8C5EDE5440DDF",
"0656FCB663D24731E80292188A2471B8B68AA993899268499D23C89755A1A897",
"44643CEAD40F0965F28E1CD2895C3D118E4F65C9A0E3E741B6DD52C0EE2D25F5",
"898D60848026B7EFB8FCC1B2442ECF0795F8A81CEE99A6248F294C82C90D26BD",
"6A814AAF475F128AEF43A128E37F80154AE6CB92CAD7D1501BAE30F750B3A9BD",
"1F96B08E97997363911314705BFB9A9DBB97F75553EC90FBB2DDAE53C8F68E42"};
EC_POINT *P1 = NULL;
EC_GROUP *group = NULL;
if (!EC_POINT_set_affine_coordinates_GFp(group, P1, xP1, yP1, bn_ctx)) {
ERR_print_errors_fp(stderr);
goto end;
}
fp2_set(x_P2, x0, x1);
fp2_set(y_P2, y0, y1);
point_set_affine_coordinates(P2, x_P2, y_P2);
point_mul(R, k, P2);
point_is_at_infinity(R);
point_mul(Ppubs, ks, P2);
sm9_rate(g, Ppubs, P1);
}