Systematic Synthesis of Elliptic Curve Cryptography Implementations
Edwards-Curve Digital Signature Algorithm (EdDSA)