Beginnings of a Verilog implementation of Curve25519.