SWI-Prolog -- ed25519_verify/4

Documentation
- Reference manual
- Packages
  - SWI-Prolog SSL Interface
    - library(crypto): Cryptography and authentication library
      - Digital signatures
        
        Ed25519
        
        ed25519_new_keypair/1
        
        ed25519_seed_keypair/2
        
        ed25519_keypair_public_key/2
        
        ed25519_sign/4
        
        ed25519_verify/4

Availability::- use_module(library(crypto)).(can be autoloaded)

Source

[semidet]ed25519_verify(+PublicKey, +Data, +Signature, +Options)

True iff Signature can be verified as the Ed25519 signature for Data, using PublicKey.

Options are as for ed25519_sign/4.