From e859145e33a716a4589fb0b82cad4e3d58101daf Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Sat, 25 Apr 2020 18:21:59 +0100 Subject: [PATCH] verify.sage: tabs to spaces. Signed-off-by: Daira Hopwood --- verify.sage | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/verify.sage b/verify.sage index 7309d2a..148d452 100644 --- a/verify.sage +++ b/verify.sage @@ -202,7 +202,7 @@ def verify_pass(V, needtofactor): for v in V: while d % v == 0: d //= v - f *= factor(v) + f *= factor(v) writefile('verify-cofactor','%s\n' % f) else: writefile('verify-trace','Unverified\n') @@ -262,7 +262,7 @@ def verify_pass(V, needtofactor): for v in V: while d % v == 0: d //= v - f *= factor(v) + f *= factor(v) writefile('verify-twistcofactor','%s\n' % f) gcdtwistlpis1 = gcd(twistl,p) == 1 safetwist &= requirement('verify-gcdtwistlp1',gcdtwistlpis1) @@ -299,10 +299,10 @@ def verify_pass(V, needtofactor): if d1 % v == 0: d1 //= v if d2 % v == 0: d2 //= v # best case for attack: cyclic; each power is usable - # also assume that kangaroo is as efficient as rho + # also assume that kangaroo is as efficient as rho if v + sqrt(pin*joint/v) < sqrt(pin*joint): - precomp += v - joint /= v + precomp += v + joint /= v rho = log(precomp + sqrt(pin * joint))/log(2) writefile('verify-jointrho','%.1f\n' % rho)