You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

447 lines
14 KiB

  1. #include "test.h"
  2. #include <stdio.h>
  3. #include "scalarmul.h"
  4. #include "ec_point.h"
  5. #include "field.h"
  6. #include "crandom.h"
  7. #define STRIDE 7
  8. /* 0 = succeed, 1 = inval, -1 = fail */
  9. static int
  10. single_scalarmul_compatibility_test (
  11. const field_a_t base,
  12. const word_t *scalar,
  13. int nbits
  14. ) {
  15. struct tw_extensible_t text, work;
  16. field_a_t mont, ct, vl, vt, sced, decaf_s, decaf_m, decaf_te;
  17. int ret = 0, i;
  18. mask_t succ, succm;
  19. succ = deserialize_and_twist_approx(&text, base);
  20. succm = montgomery_ladder(mont,base,scalar,nbits,1);
  21. if (succ != succm) {
  22. youfail();
  23. printf(" Deserialize_and_twist_approx succ=%d, montgomery_ladder succ=%d\n",
  24. (int)-succ, (int)-succm);
  25. printf(" nbits = %d\n", nbits);
  26. field_print(" base", base);
  27. scalar_print(" scal", scalar, (nbits+WORD_BITS-1)/WORD_BITS);
  28. return -1;
  29. }
  30. if (!succ) {
  31. return 1;
  32. }
  33. #if FIELD_BITS == 448
  34. struct { int n,t,s; } params[] = {{5,5,18},{3,5,30},{4,4,28},{1,2,224}};
  35. #elif FIELD_BITS == 480
  36. struct { int n,t,s; } params[] = {{5,6,16},{6,5,16},{4,5,24},{4,4,30},{1,2,240}};
  37. #elif FIELD_BITS == 521
  38. struct { int n,t,s; } params[] = {{5,8,13},{4,5,26},{1,2,(SCALAR_BITS+1)/2}};
  39. #else
  40. struct { int n,t,s; } params[] = {{5,5,(SCALAR_BITS+24)/25},{1,2,(SCALAR_BITS+1)/2}};
  41. #endif
  42. const int nparams = sizeof(params)/sizeof(params[0]);
  43. struct fixed_base_table_t fbt;
  44. const int nsizes = 6;
  45. field_a_t fbout[nparams], wout[nsizes];
  46. memset(&fbt, 0, sizeof(fbt));
  47. memset(&fbout, 0, sizeof(fbout));
  48. memset(&wout, 0, sizeof(wout));
  49. /* compute using combs */
  50. for (i=0; i<nparams; i++) {
  51. int n=params[i].n, t=params[i].t, s=params[i].s;
  52. succ = precompute_fixed_base(&fbt, &text, n, t, s, NULL);
  53. if (!succ) {
  54. youfail();
  55. printf(" Failed to precompute_fixed_base(%d,%d,%d)\n", n, t, s);
  56. continue;
  57. }
  58. succ = scalarmul_fixed_base(&work, scalar, nbits, &fbt);
  59. destroy_fixed_base(&fbt);
  60. if (!succ) {
  61. youfail();
  62. printf(" Failed to scalarmul_fixed_base(%d,%d,%d)\n", n, t, s);
  63. continue;
  64. }
  65. untwist_and_double_and_serialize(fbout[i], &work);
  66. }
  67. /* compute using precomp wNAF */
  68. for (i=0; i<nsizes; i++) {
  69. tw_niels_a_t pre[1<<i];
  70. succ = precompute_fixed_base_wnaf(pre, &text, i);
  71. if (!succ) {
  72. youfail();
  73. printf(" Failed to precompute_fixed_base_wnaf(%d)\n", i);
  74. continue;
  75. }
  76. scalarmul_fixed_base_wnaf_vt(&work, scalar, nbits, (const tw_niels_a_t*)pre, i);
  77. untwist_and_double_and_serialize(wout[i], &work);
  78. }
  79. mask_t consistent = MASK_SUCCESS;
  80. if (nbits == FIELD_BITS) {
  81. /* window methods currently only work on FIELD_BITS bits. */
  82. copy_tw_extensible(&work, &text);
  83. scalarmul(&work, scalar);
  84. untwist_and_double_and_serialize(ct, &work);
  85. copy_tw_extensible(&work, &text);
  86. scalarmul_vlook(&work, scalar);
  87. untwist_and_double_and_serialize(vl, &work);
  88. copy_tw_extensible(&work, &text);
  89. scalarmul_vt(&work, scalar, nbits);
  90. untwist_and_double_and_serialize(vt, &work);
  91. tw_extended_a_t ed;
  92. convert_tw_extensible_to_tw_extended(ed, &text);
  93. scalarmul_ed(ed, scalar);
  94. field_copy(work.x, ed->x);
  95. field_copy(work.y, ed->y);
  96. field_copy(work.z, ed->z);
  97. field_copy(work.t, ed->t);
  98. field_set_ui(work.u, 1);
  99. untwist_and_double_and_serialize(sced, &work);
  100. /* check consistency mont vs window */
  101. consistent &= field_eq(mont, ct);
  102. consistent &= field_eq(mont, vl);
  103. consistent &= field_eq(mont, vt);
  104. consistent &= field_eq(mont, sced);
  105. }
  106. /* check consistency mont vs combs */
  107. for (i=0; i<nparams; i++) {
  108. consistent &= field_eq(mont,fbout[i]);
  109. }
  110. /* check consistency mont vs wNAF */
  111. for (i=0; i<nsizes; i++) {
  112. consistent &= field_eq(mont,wout[i]);
  113. }
  114. /* Do decaf */
  115. copy_tw_extensible(&work,&text);
  116. double_tw_extensible(&work);
  117. decaf_serialize_tw_extensible(decaf_s, &work);
  118. mask_t succ_dm, succ_dta;
  119. succ_dm = decaf_montgomery_ladder(decaf_m, decaf_s, scalar, nbits);
  120. succ_dta = deserialize_and_twist_approx(&work, mont);
  121. decaf_serialize_tw_extensible(decaf_te, &work);
  122. consistent &= field_eq(decaf_m, decaf_te);
  123. consistent &= succ_dm & succ_dta;
  124. /* If inconsistent, complain. */
  125. if (!consistent) {
  126. youfail();
  127. printf(" Failed scalarmul consistency test with nbits=%d.\n",nbits);
  128. field_print(" base", base);
  129. scalar_print(" scal", scalar, (nbits+WORD_BITS-1)/WORD_BITS);
  130. field_print(" mont", mont);
  131. for (i=0; i<nparams; i++) {
  132. printf(" With n=%d, t=%d, s=%d:\n", params[i].n, params[i].t, params[i].s);
  133. field_print(" out ", fbout[i]);
  134. }
  135. for (i=0; i<nsizes; i++) {
  136. printf(" With w=%d:\n",i);
  137. field_print(" wNAF", wout[i]);
  138. }
  139. if (nbits == FIELD_BITS) {
  140. field_print(" ct ", ct);
  141. field_print(" vl ", vl);
  142. field_print(" vt ", vt);
  143. field_print(" ed ", sced);
  144. }
  145. printf("decaf: succ = %d, %d\n", (int)succ_dm, (int)succ_dta);
  146. field_print(" s0", decaf_s);
  147. field_print(" dm", decaf_m);
  148. field_print(" dt", decaf_te);
  149. ret = -1;
  150. }
  151. return ret;
  152. }
  153. static int
  154. single_linear_combo_test (
  155. const field_a_t base1,
  156. const word_t *scalar1,
  157. int nbits1,
  158. const field_a_t base2,
  159. const word_t *scalar2,
  160. int nbits2
  161. ) {
  162. struct tw_extensible_t text1, text2, working;
  163. struct tw_pniels_t pn;
  164. field_a_t result_comb, result_combo, result_wnaf;
  165. mask_t succ =
  166. deserialize_and_twist_approx(&text1, base1)
  167. & deserialize_and_twist_approx(&text2, base2);
  168. if (!succ) return 1;
  169. struct fixed_base_table_t t1, t2;
  170. tw_niels_a_t wnaf[32];
  171. memset(&t1,0,sizeof(t1));
  172. memset(&t2,0,sizeof(t2));
  173. succ = precompute_fixed_base(&t1, &text1, 5, 5, 18, NULL); // FIELD_MAGIC
  174. succ &= precompute_fixed_base(&t2, &text2, 6, 3, 25, NULL); // FIELD_MAGIC
  175. succ &= precompute_fixed_base_wnaf(wnaf, &text2, 5);
  176. if (!succ) {
  177. destroy_fixed_base(&t1);
  178. destroy_fixed_base(&t2);
  179. return -1;
  180. }
  181. /* use the dedicated wNAF linear combo algorithm */
  182. copy_tw_extensible(&working, &text1);
  183. linear_combo_var_fixed_vt(&working, scalar1, nbits1, scalar2, nbits2, (const tw_niels_a_t*)wnaf, 5);
  184. untwist_and_double_and_serialize(result_wnaf, &working);
  185. /* use the dedicated combs algorithm */
  186. succ &= linear_combo_combs_vt(&working, scalar1, nbits1, &t1, scalar2, nbits2, &t2);
  187. untwist_and_double_and_serialize(result_combo, &working);
  188. /* use two combs */
  189. succ &= scalarmul_fixed_base(&working, scalar1, nbits1, &t1);
  190. convert_tw_extensible_to_tw_pniels(&pn, &working);
  191. succ &= scalarmul_fixed_base(&working, scalar2, nbits2, &t2);
  192. add_tw_pniels_to_tw_extensible(&working, &pn);
  193. untwist_and_double_and_serialize(result_comb, &working);
  194. mask_t consistent = MASK_SUCCESS;
  195. consistent &= field_eq(result_combo, result_wnaf);
  196. consistent &= field_eq(result_comb, result_wnaf);
  197. if (!succ || !consistent) {
  198. youfail();
  199. printf(" Failed linear combo consistency test with nbits=%d,%d.\n",nbits1,nbits2);
  200. field_print(" base1", base1);
  201. scalar_print(" scal1", scalar1, (nbits1+WORD_BITS-1)/WORD_BITS);
  202. field_print(" base2", base2);
  203. scalar_print(" scal2", scalar2, (nbits1+WORD_BITS-1)/WORD_BITS);
  204. field_print(" combs", result_comb);
  205. field_print(" combo", result_combo);
  206. field_print(" wNAFs", result_wnaf);
  207. return -1;
  208. }
  209. destroy_fixed_base(&t1);
  210. destroy_fixed_base(&t2);
  211. return 0;
  212. }
  213. /* 0 = succeed, 1 = inval, -1 = fail */
  214. static int
  215. single_scalarmul_commutativity_test (
  216. const field_a_t base,
  217. const word_t *scalar1,
  218. int nbits1,
  219. int ned1,
  220. const word_t *scalar2,
  221. int nbits2,
  222. int ned2
  223. ) {
  224. field_a_t m12, m21, tmp1, tmp2;
  225. mask_t succ12a = montgomery_ladder(tmp1,base,scalar1,nbits1,ned1);
  226. mask_t succ12b = montgomery_ladder(m12,tmp1,scalar2,nbits2,ned2);
  227. mask_t succ21a = montgomery_ladder(tmp2,base,scalar2,nbits2,ned2);
  228. mask_t succ21b = montgomery_ladder(m21,tmp2,scalar1,nbits1,ned1);
  229. mask_t succ12 = succ12a & succ12b, succ21 = succ21a & succ21b;
  230. if (succ12 != succ21) {
  231. youfail();
  232. printf(" Failed scalarmul commutativity test with (nbits,ned) = (%d,%d), (%d,%d).\n",
  233. nbits1,ned1,nbits2,ned2);
  234. field_print(" base", base);
  235. field_print(" tmp1", tmp1);
  236. field_print(" tmp2", tmp2);
  237. scalar_print(" sca1", scalar1, (nbits1+WORD_BITS-1)/WORD_BITS);
  238. scalar_print(" sca2", scalar2, (nbits1+WORD_BITS-1)/WORD_BITS);
  239. printf(" good = ((%d,%d),(%d,%d))\n", (int)-succ12a,
  240. (int)-succ12b, (int)-succ21a, (int)-succ21b);
  241. return -1;
  242. } else if (!succ12) {
  243. // printf(" (nbits,ned) = (%d,%d), (%d,%d).\n", nbits1,ned1,nbits2,ned2);
  244. // printf(" succ = (%d,%d), (%d,%d).\n", (int)-succ12a, (int)-succ12b, (int)-succ21a, (int)-succ21b);
  245. return 1;
  246. }
  247. mask_t consistent = field_eq(m12,m21);
  248. if (consistent) {
  249. return 0;
  250. } else {
  251. youfail();
  252. printf(" Failed scalarmul commutativity test with (nbits,ned) = (%d,%d), (%d,%d).\n",
  253. nbits1,ned1,nbits2,ned2);
  254. field_print(" base", base);
  255. scalar_print(" sca1", scalar1, (nbits1+WORD_BITS-1)/WORD_BITS);
  256. scalar_print(" sca2", scalar2, (nbits1+WORD_BITS-1)/WORD_BITS);
  257. field_print(" m12 ", m12);
  258. field_print(" m21 ", m21);
  259. return -1;
  260. }
  261. }
  262. static void crandom_generate_f(struct crandom_state_t *crand, uint8_t *scalar, int n) {
  263. crandom_generate(crand, scalar, n);
  264. int i;
  265. for (i = FIELD_BYTES; i<n; i++) {
  266. scalar[i] = 0;
  267. }
  268. #if (FIELD_BITS % 8)
  269. if (n >= FIELD_BYTES) {
  270. scalar[FIELD_BYTES-1] &= (1<<(FIELD_BITS%8)) - 1;
  271. }
  272. #endif
  273. }
  274. int test_scalarmul_commutativity (void) {
  275. int i,j,k,got;
  276. struct crandom_state_t crand;
  277. crandom_init_from_buffer(&crand, "scalarmul_commutativity_test RNG");
  278. for (i=0; i<=FIELD_BITS; i+=STRIDE) {
  279. for (j=0; j<=FIELD_BITS; j+=STRIDE) {
  280. got = 0;
  281. for (k=0; k<128 && !got; k++) {
  282. uint8_t ser[FIELD_BYTES];
  283. word_t scalar1[SCALAR_WORDS], scalar2[SCALAR_WORDS];
  284. crandom_generate_f(&crand, ser, sizeof(ser));
  285. crandom_generate(&crand, (uint8_t *)scalar1, sizeof(scalar1));
  286. crandom_generate(&crand, (uint8_t *)scalar2, sizeof(scalar2));
  287. field_t base;
  288. mask_t succ = field_deserialize(&base, ser);
  289. if (!succ) continue;
  290. int ret = single_scalarmul_commutativity_test (&base, scalar1, i, i%3, scalar2, j, j%3);
  291. got = !ret;
  292. if (ret == -1) return -1;
  293. }
  294. if (!got) {
  295. youfail();
  296. printf(" Unlikely: rejected 128 scalars in a row.\n");
  297. return -1;
  298. }
  299. }
  300. }
  301. return 0;
  302. }
  303. int test_linear_combo (void) {
  304. int i,j,k,got;
  305. struct crandom_state_t crand;
  306. crandom_init_from_buffer(&crand, "scalarmul_linear_combos_test RNG");
  307. for (i=0; i<=FIELD_BITS; i+=STRIDE) {
  308. for (j=0; j<=FIELD_BITS; j+=STRIDE) {
  309. got = 0;
  310. for (k=0; k<128 && !got; k++) {
  311. uint8_t ser[FIELD_BYTES];
  312. word_t scalar1[SCALAR_WORDS], scalar2[SCALAR_WORDS];
  313. crandom_generate(&crand, (uint8_t *)scalar1, sizeof(scalar1));
  314. crandom_generate(&crand, (uint8_t *)scalar2, sizeof(scalar2));
  315. field_t base1;
  316. crandom_generate_f(&crand, ser, sizeof(ser));
  317. mask_t succ = field_deserialize(&base1, ser);
  318. if (!succ) continue;
  319. field_t base2;
  320. crandom_generate(&crand, ser, sizeof(ser));
  321. succ = field_deserialize(&base2, ser);
  322. if (!succ) continue;
  323. int ret = single_linear_combo_test (&base1, scalar1, i, &base2, scalar2, j);
  324. got = !ret;
  325. if (ret == -1) return -1;
  326. }
  327. if (!got) {
  328. youfail();
  329. printf(" Unlikely: rejected 128 scalars in a row.\n");
  330. return -1;
  331. }
  332. }
  333. }
  334. return 0;
  335. }
  336. int test_scalarmul_compatibility (void) {
  337. int i,j,k,got;
  338. struct crandom_state_t crand;
  339. crandom_init_from_buffer(&crand, "scalarmul_compatibility_test RNG");
  340. for (i=0; i<=FIELD_BITS; i+=STRIDE) {
  341. for (j=0; j<=20; j++) {
  342. got = 0;
  343. for (k=0; k<128 && !got; k++) {
  344. uint8_t ser[FIELD_BYTES];
  345. word_t scalar[SCALAR_WORDS];
  346. crandom_generate_f(&crand, ser, sizeof(ser));
  347. crandom_generate(&crand, (uint8_t *)scalar, sizeof(scalar));
  348. field_t base;
  349. mask_t succ = field_deserialize(&base, ser);
  350. if (!succ) continue;
  351. int ret = single_scalarmul_compatibility_test (&base, scalar, i);
  352. got = !ret;
  353. if (ret == -1) return -1;
  354. }
  355. if (!got) {
  356. youfail();
  357. printf(" Unlikely: rejected 128 scalars in a row.\n");
  358. return -1;
  359. }
  360. }
  361. }
  362. return 0;
  363. }