Any Ed25519 crypto core supported by riot?

Hey,

I found the CEC1702 by microchip. Really interesting microcontroller with an embedded crypto core. There is also a dev board available, the CEC1702 clicker. Is there any similar micrcontroller supported by RIOT or a cheap crypto controller? Or is anybody working on supporting one?

thanks