├── .gitignore ├── Ep ├── a ├── b ├── l ├── p ├── rigid ├── shape ├── x0 ├── x1 ├── y0 └── y1 ├── Eq ├── a ├── b ├── l ├── p ├── rigid ├── shape ├── x0 ├── x1 ├── y0 └── y1 ├── LICENSE ├── README.md ├── addchain_5inv.py ├── addchain_5inv_rtl.py ├── addchain_7inv.py ├── addchain_sqrt.py ├── amicable.sage ├── animation-p.webm ├── animation-q.webm ├── animation.sh ├── base_tables.sage ├── checksumsets.py ├── clean.sh ├── hashtocurve.sage ├── injectivitylemma.py ├── run.sh ├── sinsemilla.sage ├── squareroot.sage ├── squareroottab.sage ├── squareroottab16.sage ├── subgroupcheck.sage └── verify.sage /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/.gitignore -------------------------------------------------------------------------------- /Ep/a: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /Ep/b: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /Ep/l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/Ep/l -------------------------------------------------------------------------------- /Ep/p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/Ep/p -------------------------------------------------------------------------------- /Ep/rigid: -------------------------------------------------------------------------------- 1 | fully rigid 2 | -------------------------------------------------------------------------------- /Ep/shape: -------------------------------------------------------------------------------- 1 | shortw 2 | -------------------------------------------------------------------------------- /Ep/x0: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Ep/x1: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Ep/y0: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /Ep/y1: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /Eq/a: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /Eq/b: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /Eq/l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/Eq/l -------------------------------------------------------------------------------- /Eq/p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/Eq/p -------------------------------------------------------------------------------- /Eq/rigid: -------------------------------------------------------------------------------- 1 | fully rigid 2 | -------------------------------------------------------------------------------- /Eq/shape: -------------------------------------------------------------------------------- 1 | shortw 2 | -------------------------------------------------------------------------------- /Eq/x0: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Eq/x1: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Eq/y0: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /Eq/y1: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/README.md -------------------------------------------------------------------------------- /addchain_5inv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/addchain_5inv.py -------------------------------------------------------------------------------- /addchain_5inv_rtl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/addchain_5inv_rtl.py -------------------------------------------------------------------------------- /addchain_7inv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/addchain_7inv.py -------------------------------------------------------------------------------- /addchain_sqrt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/addchain_sqrt.py -------------------------------------------------------------------------------- /amicable.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/amicable.sage -------------------------------------------------------------------------------- /animation-p.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/animation-p.webm -------------------------------------------------------------------------------- /animation-q.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/animation-q.webm -------------------------------------------------------------------------------- /animation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/animation.sh -------------------------------------------------------------------------------- /base_tables.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/base_tables.sage -------------------------------------------------------------------------------- /checksumsets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/checksumsets.py -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/clean.sh -------------------------------------------------------------------------------- /hashtocurve.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/hashtocurve.sage -------------------------------------------------------------------------------- /injectivitylemma.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/injectivitylemma.py -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/run.sh -------------------------------------------------------------------------------- /sinsemilla.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/sinsemilla.sage -------------------------------------------------------------------------------- /squareroot.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/squareroot.sage -------------------------------------------------------------------------------- /squareroottab.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/squareroottab.sage -------------------------------------------------------------------------------- /squareroottab16.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/squareroottab16.sage -------------------------------------------------------------------------------- /subgroupcheck.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/subgroupcheck.sage -------------------------------------------------------------------------------- /verify.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/pasta/HEAD/verify.sage --------------------------------------------------------------------------------