GitHub repository: JoaoDiogoDuarte/formosa-25519
Description: Jasmin implementations of x25519