A repo for a haskell implementation of SIDH and general resources for understanding SIDH

Find a file

River 3e9bcf3c10 Tested more examples - still not working		2022-06-26 20:35:19 +01:00
Code	Tested more examples - still not working	2022-06-26 20:35:19 +01:00
Code(Deprecated)	Fundamental Flaws were discovered in inital design - am redisigning the codebase	2021-12-18 21:05:03 +00:00
Research	Initial push of work done offline	2021-11-03 13:25:27 +00:00
.gitignore	Initial commit	2021-11-03 12:36:02 +00:00
LICENSE	Initial commit	2021-11-03 12:36:02 +00:00
README.md	Fundamental Flaws were discovered in inital design - am redisigning the codebase	2021-12-18 21:05:03 +00:00

README.md

Haskell-SIDH

The goal of this Repo is to provide a novice to ECC the resources to build up their understanding to the point of understanding Supersingular Elliptic Curve Diffie Hellman

Disclaimers

I do not own either of the papers in the folder Research and if you are the copyholder of them I will remove them if asked so just pop a message in issues
This is not cryptographically secure please don't use this for any purpose except educational
I don't have any formal qualifications to talk about any of this stuff (yet) so I may be wrong with the finer details

Todo

More Comments and explanation in code
A thorough explanation of all ECC + SIDH in this file (building off https://github.com/RiverNewbury/Python-Elliptic-Curve-Cryptography)
Work out why code didn't work with the base points in Wikipedia
explanation of how to run the code
links to more resources
understand then explain Nats and TypeNats
Make abs return length and signum return unit vector
Make Points work with other curve types