├── .assets └── adjoint.png ├── .circleci └── config.yml ├── .ghci ├── .github └── workflows │ ├── cabal.yml │ └── stack.yml ├── .gitignore ├── ChangeLog.md ├── LICENSE ├── README.lhs ├── README.md ├── README.tex.md ├── bench ├── Bench │ ├── Binary.hs │ ├── Curve.hs │ ├── Edwards.hs │ ├── Montgomery.hs │ └── Weierstrass.hs └── Main.hs ├── cabal.project ├── ci └── Dockerfile ├── default.nix ├── elliptic-curve.cabal ├── examples ├── DiffieHellman.hs ├── Example.hs └── Main.hs ├── generate ├── Generate │ ├── Binary │ │ ├── Curve.hs │ │ ├── Generate.hs │ │ ├── Parameters.hs │ │ └── Types.hs │ ├── Curve.hs │ ├── Edwards │ │ ├── Curve.hs │ │ ├── Generate.hs │ │ ├── Parameters.hs │ │ └── Types.hs │ ├── Generate.hs │ ├── Montgomery │ │ ├── Curve.hs │ │ ├── Generate.hs │ │ ├── Parameters.hs │ │ └── Types.hs │ ├── Pretty.hs │ ├── Types.hs │ └── Weierstrass │ │ ├── Curve.hs │ │ ├── Generate.hs │ │ ├── Parameters.hs │ │ └── Types.hs └── Main.hs ├── src └── Data │ ├── Curve.hs │ └── Curve │ ├── Binary.hs │ ├── Binary │ ├── SECT113R1.hs │ ├── SECT113R2.hs │ ├── SECT131R1.hs │ ├── SECT131R2.hs │ ├── SECT163K1.hs │ ├── SECT163R1.hs │ ├── SECT163R2.hs │ ├── SECT193R1.hs │ ├── SECT193R2.hs │ ├── SECT233K1.hs │ ├── SECT233R1.hs │ ├── SECT239K1.hs │ ├── SECT283K1.hs │ ├── SECT283R1.hs │ ├── SECT409K1.hs │ ├── SECT409R1.hs │ ├── SECT571K1.hs │ └── SECT571R1.hs │ ├── Edwards.hs │ ├── Edwards │ ├── Curve1174.hs │ ├── Curve41417.hs │ ├── E222.hs │ ├── E382.hs │ ├── E521.hs │ ├── Ed25519.hs │ ├── Ed3363.hs │ ├── Ed448.hs │ └── JubJub.hs │ ├── Montgomery.hs │ ├── Montgomery │ ├── Curve25519.hs │ ├── Curve383187.hs │ ├── Curve448.hs │ ├── M221.hs │ ├── M383.hs │ └── M511.hs │ ├── Weierstrass.hs │ └── Weierstrass │ ├── ANSSIFRP256V1.hs │ ├── Anomalous.hs │ ├── BLS12381.hs │ ├── BLS12381T.hs │ ├── BLS48581.hs │ ├── BLS48581T.hs │ ├── BN224.hs │ ├── BN254.hs │ ├── BN254A.hs │ ├── BN254AT.hs │ ├── BN254B.hs │ ├── BN254BT.hs │ ├── BN254C.hs │ ├── BN254CT.hs │ ├── BN254D.hs │ ├── BN254DT.hs │ ├── BN254T.hs │ ├── BN256.hs │ ├── BN384.hs │ ├── BN462.hs │ ├── BN462T.hs │ ├── BN512.hs │ ├── BrainpoolP160R1.hs │ ├── BrainpoolP160T1.hs │ ├── BrainpoolP192R1.hs │ ├── BrainpoolP192T1.hs │ ├── BrainpoolP224R1.hs │ ├── BrainpoolP224T1.hs │ ├── BrainpoolP256R1.hs │ ├── BrainpoolP256T1.hs │ ├── BrainpoolP320R1.hs │ ├── BrainpoolP320T1.hs │ ├── BrainpoolP384R1.hs │ ├── BrainpoolP384T1.hs │ ├── BrainpoolP512R1.hs │ ├── BrainpoolP512T1.hs │ ├── SECP112R1.hs │ ├── SECP112R2.hs │ ├── SECP128R1.hs │ ├── SECP128R2.hs │ ├── SECP160K1.hs │ ├── SECP160R1.hs │ ├── SECP160R2.hs │ ├── SECP192K1.hs │ ├── SECP192R1.hs │ ├── SECP224K1.hs │ ├── SECP224R1.hs │ ├── SECP256K1.hs │ ├── SECP256R1.hs │ ├── SECP384R1.hs │ └── SECP521R1.hs ├── stack.yaml ├── stack.yaml.lock ├── test ├── Main.hs └── Test │ ├── Binary.hs │ ├── Curve.hs │ ├── Edwards.hs │ ├── Field.hs │ ├── Montgomery.hs │ └── Weierstrass.hs └── tex ├── 00fedebf8d0cf2c5debe8e88cda3d707.svg ├── 0e51a2dede42189d77627c4d742822c3.svg ├── 225c388b3f6e1e2c07db2224c900e391.svg ├── 2ec6e630f199f589a2402fdf3e0289d5.svg ├── 36270a6afa6a11c65e5e49e27d462d93.svg ├── 38280aa5f1b9686a31981c2d9051d8ad.svg ├── 411d1a91b2998b19b1797a8c48655a1f.svg ├── 7c1ba96d0dc75a92a1e33ca2fcfde4ac.svg ├── 7f4099e4c9e1b8bc7227bb1c3947e3f3.svg ├── 9afe6a256a9817c76b579e6f5db9a578.svg ├── 9f0965c23101451fdcef241119b2c1ca.svg ├── a99b826773674a6f62e90ce098504e47.svg ├── af5ab63ba18b8b4cecf5e4a59c7d92b0.svg ├── b1771b4a57a60a91d6f0ee77fdd140d0.svg ├── cdeab355fe7188f5cb733d1a3e5b73d1.svg ├── cec3de417413798b6c3d739decc1abce.svg ├── dcfbb15abd46e172d6ade9ec5402a60f.svg ├── e06e49fb9dbbde2565227edd0feb07e1.svg ├── e5f279727fb95b805306e70125f30018.svg └── f4687471921caacf38fd0e0667005c1f.svg /.assets/adjoint.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/.assets/adjoint.png -------------------------------------------------------------------------------- /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.ghci: -------------------------------------------------------------------------------- 1 | :set -pgmL markdown-unlit 2 | -------------------------------------------------------------------------------- /.github/workflows/cabal.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/.github/workflows/cabal.yml -------------------------------------------------------------------------------- /.github/workflows/stack.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/.github/workflows/stack.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/.gitignore -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/LICENSE -------------------------------------------------------------------------------- /README.lhs: -------------------------------------------------------------------------------- 1 | README.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/README.md -------------------------------------------------------------------------------- /README.tex.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/README.tex.md -------------------------------------------------------------------------------- /bench/Bench/Binary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/bench/Bench/Binary.hs -------------------------------------------------------------------------------- /bench/Bench/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/bench/Bench/Curve.hs -------------------------------------------------------------------------------- /bench/Bench/Edwards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/bench/Bench/Edwards.hs -------------------------------------------------------------------------------- /bench/Bench/Montgomery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/bench/Bench/Montgomery.hs -------------------------------------------------------------------------------- /bench/Bench/Weierstrass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/bench/Bench/Weierstrass.hs -------------------------------------------------------------------------------- /bench/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/bench/Main.hs -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/cabal.project -------------------------------------------------------------------------------- /ci/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/ci/Dockerfile -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/default.nix -------------------------------------------------------------------------------- /elliptic-curve.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/elliptic-curve.cabal -------------------------------------------------------------------------------- /examples/DiffieHellman.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/examples/DiffieHellman.hs -------------------------------------------------------------------------------- /examples/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/examples/Example.hs -------------------------------------------------------------------------------- /examples/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/examples/Main.hs -------------------------------------------------------------------------------- /generate/Generate/Binary/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Binary/Curve.hs -------------------------------------------------------------------------------- /generate/Generate/Binary/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Binary/Generate.hs -------------------------------------------------------------------------------- /generate/Generate/Binary/Parameters.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Binary/Parameters.hs -------------------------------------------------------------------------------- /generate/Generate/Binary/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Binary/Types.hs -------------------------------------------------------------------------------- /generate/Generate/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Curve.hs -------------------------------------------------------------------------------- /generate/Generate/Edwards/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Edwards/Curve.hs -------------------------------------------------------------------------------- /generate/Generate/Edwards/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Edwards/Generate.hs -------------------------------------------------------------------------------- /generate/Generate/Edwards/Parameters.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Edwards/Parameters.hs -------------------------------------------------------------------------------- /generate/Generate/Edwards/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Edwards/Types.hs -------------------------------------------------------------------------------- /generate/Generate/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Generate.hs -------------------------------------------------------------------------------- /generate/Generate/Montgomery/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Montgomery/Curve.hs -------------------------------------------------------------------------------- /generate/Generate/Montgomery/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Montgomery/Generate.hs -------------------------------------------------------------------------------- /generate/Generate/Montgomery/Parameters.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Montgomery/Parameters.hs -------------------------------------------------------------------------------- /generate/Generate/Montgomery/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Montgomery/Types.hs -------------------------------------------------------------------------------- /generate/Generate/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Pretty.hs -------------------------------------------------------------------------------- /generate/Generate/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Types.hs -------------------------------------------------------------------------------- /generate/Generate/Weierstrass/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Weierstrass/Curve.hs -------------------------------------------------------------------------------- /generate/Generate/Weierstrass/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Weierstrass/Generate.hs -------------------------------------------------------------------------------- /generate/Generate/Weierstrass/Parameters.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Weierstrass/Parameters.hs -------------------------------------------------------------------------------- /generate/Generate/Weierstrass/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Generate/Weierstrass/Types.hs -------------------------------------------------------------------------------- /generate/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/generate/Main.hs -------------------------------------------------------------------------------- /src/Data/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT113R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT113R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT113R2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT113R2.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT131R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT131R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT131R2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT131R2.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT163K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT163K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT163R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT163R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT163R2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT163R2.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT193R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT193R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT193R2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT193R2.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT233K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT233K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT233R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT233R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT239K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT239K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT283K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT283K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT283R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT283R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT409K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT409K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT409R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT409R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT571K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT571K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Binary/SECT571R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Binary/SECT571R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/Curve1174.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/Curve1174.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/Curve41417.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/Curve41417.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/E222.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/E222.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/E382.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/E382.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/E521.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/E521.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/Ed25519.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/Ed25519.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/Ed3363.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/Ed3363.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/Ed448.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/Ed448.hs -------------------------------------------------------------------------------- /src/Data/Curve/Edwards/JubJub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Edwards/JubJub.hs -------------------------------------------------------------------------------- /src/Data/Curve/Montgomery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Montgomery.hs -------------------------------------------------------------------------------- /src/Data/Curve/Montgomery/Curve25519.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Montgomery/Curve25519.hs -------------------------------------------------------------------------------- /src/Data/Curve/Montgomery/Curve383187.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Montgomery/Curve383187.hs -------------------------------------------------------------------------------- /src/Data/Curve/Montgomery/Curve448.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Montgomery/Curve448.hs -------------------------------------------------------------------------------- /src/Data/Curve/Montgomery/M221.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Montgomery/M221.hs -------------------------------------------------------------------------------- /src/Data/Curve/Montgomery/M383.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Montgomery/M383.hs -------------------------------------------------------------------------------- /src/Data/Curve/Montgomery/M511.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Montgomery/M511.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/ANSSIFRP256V1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/ANSSIFRP256V1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/Anomalous.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/Anomalous.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BLS12381.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BLS12381.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BLS12381T.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BLS12381T.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BLS48581.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BLS48581.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BLS48581T.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BLS48581T.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN224.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN224.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254A.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254AT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254AT.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254B.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254BT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254BT.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254C.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254C.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254CT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254CT.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254D.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254D.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254DT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254DT.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN254T.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN254T.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN256.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN256.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN384.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN384.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN462.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN462.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN462T.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN462T.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BN512.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BN512.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP160R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP160R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP160T1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP160T1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP192R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP192R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP192T1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP192T1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP224R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP224R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP224T1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP224T1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP256R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP256R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP256T1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP256T1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP320R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP320R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP320T1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP320T1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP384R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP384R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP384T1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP384T1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP512R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP512R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/BrainpoolP512T1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/BrainpoolP512T1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP112R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP112R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP112R2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP112R2.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP128R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP128R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP128R2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP128R2.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP160K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP160K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP160R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP160R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP160R2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP160R2.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP192K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP192K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP192R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP192R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP224K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP224K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP224R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP224R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP256K1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP256K1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP256R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP256R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP384R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP384R1.hs -------------------------------------------------------------------------------- /src/Data/Curve/Weierstrass/SECP521R1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/src/Data/Curve/Weierstrass/SECP521R1.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/stack.yaml.lock -------------------------------------------------------------------------------- /test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/test/Main.hs -------------------------------------------------------------------------------- /test/Test/Binary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/test/Test/Binary.hs -------------------------------------------------------------------------------- /test/Test/Curve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/test/Test/Curve.hs -------------------------------------------------------------------------------- /test/Test/Edwards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/test/Test/Edwards.hs -------------------------------------------------------------------------------- /test/Test/Field.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/test/Test/Field.hs -------------------------------------------------------------------------------- /test/Test/Montgomery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/test/Test/Montgomery.hs -------------------------------------------------------------------------------- /test/Test/Weierstrass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/test/Test/Weierstrass.hs -------------------------------------------------------------------------------- /tex/00fedebf8d0cf2c5debe8e88cda3d707.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/00fedebf8d0cf2c5debe8e88cda3d707.svg -------------------------------------------------------------------------------- /tex/0e51a2dede42189d77627c4d742822c3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/0e51a2dede42189d77627c4d742822c3.svg -------------------------------------------------------------------------------- /tex/225c388b3f6e1e2c07db2224c900e391.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/225c388b3f6e1e2c07db2224c900e391.svg -------------------------------------------------------------------------------- /tex/2ec6e630f199f589a2402fdf3e0289d5.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/2ec6e630f199f589a2402fdf3e0289d5.svg -------------------------------------------------------------------------------- /tex/36270a6afa6a11c65e5e49e27d462d93.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/36270a6afa6a11c65e5e49e27d462d93.svg -------------------------------------------------------------------------------- /tex/38280aa5f1b9686a31981c2d9051d8ad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/38280aa5f1b9686a31981c2d9051d8ad.svg -------------------------------------------------------------------------------- /tex/411d1a91b2998b19b1797a8c48655a1f.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/411d1a91b2998b19b1797a8c48655a1f.svg -------------------------------------------------------------------------------- /tex/7c1ba96d0dc75a92a1e33ca2fcfde4ac.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/7c1ba96d0dc75a92a1e33ca2fcfde4ac.svg -------------------------------------------------------------------------------- /tex/7f4099e4c9e1b8bc7227bb1c3947e3f3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/7f4099e4c9e1b8bc7227bb1c3947e3f3.svg -------------------------------------------------------------------------------- /tex/9afe6a256a9817c76b579e6f5db9a578.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/9afe6a256a9817c76b579e6f5db9a578.svg -------------------------------------------------------------------------------- /tex/9f0965c23101451fdcef241119b2c1ca.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/9f0965c23101451fdcef241119b2c1ca.svg -------------------------------------------------------------------------------- /tex/a99b826773674a6f62e90ce098504e47.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/a99b826773674a6f62e90ce098504e47.svg -------------------------------------------------------------------------------- /tex/af5ab63ba18b8b4cecf5e4a59c7d92b0.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/af5ab63ba18b8b4cecf5e4a59c7d92b0.svg -------------------------------------------------------------------------------- /tex/b1771b4a57a60a91d6f0ee77fdd140d0.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/b1771b4a57a60a91d6f0ee77fdd140d0.svg -------------------------------------------------------------------------------- /tex/cdeab355fe7188f5cb733d1a3e5b73d1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/cdeab355fe7188f5cb733d1a3e5b73d1.svg -------------------------------------------------------------------------------- /tex/cec3de417413798b6c3d739decc1abce.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/cec3de417413798b6c3d739decc1abce.svg -------------------------------------------------------------------------------- /tex/dcfbb15abd46e172d6ade9ec5402a60f.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/dcfbb15abd46e172d6ade9ec5402a60f.svg -------------------------------------------------------------------------------- /tex/e06e49fb9dbbde2565227edd0feb07e1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/e06e49fb9dbbde2565227edd0feb07e1.svg -------------------------------------------------------------------------------- /tex/e5f279727fb95b805306e70125f30018.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/e5f279727fb95b805306e70125f30018.svg -------------------------------------------------------------------------------- /tex/f4687471921caacf38fd0e0667005c1f.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/elliptic-curve/HEAD/tex/f4687471921caacf38fd0e0667005c1f.svg --------------------------------------------------------------------------------