An implementation of mental poker based on curve25519