Symbol: ED25519_verify