Twisted_Edwards_curve loading ...