X-Git-Url: https://www.bearssl.org/gitweb//home/git/?p=BearSSL;a=blobdiff_plain;f=src%2Fec%2Fec_c25519_i15.c;h=d88f19ccdd7ff61e67aa5a24ca35e64f60bc8dfa;hp=79560ae9f6197be721501c22670e197a86f887d6;hb=89ea3b1876d6a17a754c1f80c74f5076eccda866;hpb=2f9c953af45299f8546df8984d5262e767a7d943

diff --git a/src/ec/ec_c25519_i15.c b/src/ec/ec_c25519_i15.c
index 79560ae..d88f19c 100644
--- a/src/ec/ec_c25519_i15.c
+++ b/src/ec/ec_c25519_i15.c
@@ -46,6 +46,27 @@ static const uint16_t C255_R2[] = {
 	0x0000
 };
 
+/* obsolete
+#include <stdio.h>
+#include <stdlib.h>
+static void
+print_int_mont(const char *name, const uint16_t *x)
+{
+	uint16_t y[18];
+	unsigned char tmp[32];
+	size_t u;
+
+	printf("%s = ", name);
+	memcpy(y, x, sizeof y);
+	br_i15_from_monty(y, C255_P, P0I);
+	br_i15_encode(tmp, sizeof tmp, y);
+	for (u = 0; u < sizeof tmp; u ++) {
+		printf("%02X", tmp[u]);
+	}
+	printf("\n");
+}
+*/
+
 static const uint16_t C255_A24[] = {
 	0x0110,
 	0x45D3, 0x0046, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
@@ -61,10 +82,10 @@ static const unsigned char GEN[] = {
 };
 
 static const unsigned char ORDER[] = {
-	0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
-	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
-	0x14, 0xDE, 0xF9, 0xDE, 0xA2, 0xF7, 0x9C, 0xD6,
-	0x58, 0x12, 0x63, 0x1A, 0x5C, 0xF5, 0xD3, 0xED
+	0x7F, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
+	0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
+	0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
+	0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF
 };
 
 static const unsigned char *
@@ -83,6 +104,14 @@ api_order(int curve, size_t *len)
 	return ORDER;
 }
 
+static size_t
+api_xoff(int curve, size_t *len)
+{
+	(void)curve;
+	*len = 32;
+	return 0;
+}
+
 static void
 cswap(uint16_t *a, uint16_t *b, uint32_t ctl)
 {
@@ -194,6 +223,10 @@ api_mul(unsigned char *G, size_t Glen,
 	k[31] &= 0x7F;
 	k[31] |= 0x40;
 
+	/* obsolete
+	print_int_mont("x1", x1);
+	*/
+
 	swap = 0;
 	for (i = 254; i >= 0; i --) {
 		uint32_t kt;
@@ -204,6 +237,13 @@ api_mul(unsigned char *G, size_t Glen,
 		cswap(z2, z3, swap);
 		swap = kt;
 
+		/* obsolete
+		print_int_mont("x2", x2);
+		print_int_mont("z2", z2);
+		print_int_mont("x3", x3);
+		print_int_mont("z3", z3);
+		*/
+
 		c255_add(a, x2, z2);
 		c255_mul(aa, a, a);
 		c255_sub(b, x2, z2);
@@ -213,6 +253,19 @@ api_mul(unsigned char *G, size_t Glen,
 		c255_sub(d, x3, z3);
 		c255_mul(da, d, a);
 		c255_mul(cb, c, b);
+
+		/* obsolete
+		print_int_mont("a ", a);
+		print_int_mont("aa", aa);
+		print_int_mont("b ", b);
+		print_int_mont("bb", bb);
+		print_int_mont("e ", e);
+		print_int_mont("c ", c);
+		print_int_mont("d ", d);
+		print_int_mont("da", da);
+		print_int_mont("cb", cb);
+		*/
+
 		c255_add(x3, da, cb);
 		c255_mul(x3, x3, x3);
 		c255_sub(z3, da, cb);
@@ -222,6 +275,13 @@ api_mul(unsigned char *G, size_t Glen,
 		c255_mul(z2, C255_A24, e);
 		c255_add(z2, z2, aa);
 		c255_mul(z2, e, z2);
+
+		/* obsolete
+		print_int_mont("x2", x2);
+		print_int_mont("z2", z2);
+		print_int_mont("x3", x3);
+		print_int_mont("z3", z3);
+		*/
 	}
 	cswap(x2, x3, swap);
 	cswap(z2, z3, swap);
@@ -297,6 +357,7 @@ const br_ec_impl br_ec_c25519_i15 = {
 	(uint32_t)0x20000000,
 	&api_generator,
 	&api_order,
+	&api_xoff,
 	&api_mul,
 	&api_mulgen,
 	&api_muladd