git: 9front

Info  •  Files  •  Log  •  Branches

libauthsrv: can write p = 2^448 - 2^224 - 1 now, as mpc has constant folding.

--- a/sys/src/libauthsrv/ed448.mp

+++ b/sys/src/libauthsrv/ed448.mp

@@ -1,9 +1,8 @@

 # Edwards Curve Ed448-Goldilocks

 # x^2+y^2 = 1-39081x^2y^2

-# modulo p = 2^448 - 2^224 - 1

 ed448_curve(p,a,d,x,y) {

-	p = (1<<448) - (1<<224) - 1;

+	p = 2^448 - 2^224 - 1;

 	a = 1;

 	d = -39081;

 	x = 117812161263436946737282484343310064665180535357016373416879082147939404277809514858788439644911793978499419995990477371552926308078495;

-- 

⑨