jancarlsson MNT4/6 elliptic curve files and autotest targets