From 62e25b428a7320cffd019bbc9684d145915302ae Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Mon, 23 Nov 2020 01:24:03 +0000 Subject: [PATCH] README: update for checksumsets etc. Signed-off-by: Daira Hopwood --- README.md | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 15049bd..bbc2c5b 100644 --- a/README.md +++ b/README.md @@ -35,7 +35,7 @@ use `--sequential`.) Prerequisites: * apt-get install sagemath -* pip install sortedcontainers +* pip3 install sortedcontainers Run ``sage verify.sage Ep`` and ``sage verify.sage Eq``; or ``./run.sh`` to run both and also print out the results. @@ -43,3 +43,14 @@ and also print out the results. The output of ``amicable.sage`` with the above options includes isogenies of degree 3, suitable for use with the "simplified SWU" method for hashing to an elliptic curve. This is based on code from Appendix A of [Wahby and Boneh 2019](https://eprint.iacr.org/2019/403.pdf). + +To check the correctness of the endomorphism optimization described in the Halo paper, run +``python3 injectivitylemma.py`` and ``python3 checksumsets.py``. To also generate animations +showing the minimum distances between multiples of ΞΆ used in the proof, run ``./animation.sh``. + +``animation.sh`` has the following prerequisites: + +* apt-get install ffmpeg ffcvt +* pip3 install bintrees Pillow + +``checksumsets.py`` on its own only requires the ``bintrees`` Python package.