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

injectivitylemma.py: add header comment. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2020-02-18 09:42:41 +00:00
parent daff0c4197
commit 3c69d7df58
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
injectivitylemma.py
View File

@ -1,5 +1,8 @@
#!/usr/bin/python3
# This checks the cases k = 1 and k = 2 needed to complete the proof of the
# injectivity lemma in Appendix C of <https://eprint.iacr.org/2019/1021>.
from itertools import product
from collections import namedtuple