zec
/
pasta
mirror of https://github.com/zcash/pasta.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Change the directory in which the Pocklington proof files are created. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2017-11-02 05:59:41 +00:00
parent a7aea2312c
commit 6280babe1b
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
verify.sage
View File

@ -45,6 +45,10 @@ def requirement(fn,istrue):
return istrue return istrue
def verify(): def verify():
try:
os.mkdir('proof')
except OSError as e:
if e.errno != EEXIST: raise
try: try:
s = set(map(Integer, readfile('primes').split())) s = set(map(Integer, readfile('primes').split()))
@ -115,7 +119,7 @@ def verify_primes(V, s, needtofactor):
proof += '<p>(%s)^2 > n.\n' % f proof += '<p>(%s)^2 > n.\n' % f
proof += "<p>n is prime by Pocklington's theorem.\n" proof += "<p>n is prime by Pocklington's theorem.\n"
proof += '\n' proof += '\n'
writefile('../../../proof/%s.html' % n,proof) writefile('proof/%s.html' % n,proof)
V.add(n) V.add(n)
break break