CREATE EXTENSION "pg_ed25519";

-- GOOD SIGNATURE
SELECT ed25519.verify
  ( '\x4284abc51bb67235' :: bytea
  , '\xd6addec5afb0528ac17bb178d3e7f2887f9adbb1ad16e110545ef3bc57f9de2314a5c8388f723b8907be0f3ac90c6259bbe885ecc17645df3db7d488f805fa08' :: bytea
  , '\xf81fb54a825fced95eb033afcd64314075abfb0abd20a970892503436f34b863' :: bytea
  ) = true;

-- BAD SIGNATURE: BAD MESSAGE
SELECT ed25519.verify
  ( '\x0000000000000000' :: bytea
  , '\xd6addec5afb0528ac17bb178d3e7f2887f9adbb1ad16e110545ef3bc57f9de2314a5c8388f723b8907be0f3ac90c6259bbe885ecc17645df3db7d488f805fa08' :: bytea
  , '\xf81fb54a825fced95eb033afcd64314075abfb0abd20a970892503436f34b863' :: bytea
  ) = false;

-- BAD SIGNATURE
SELECT ed25519.verify
  ( '\x4284abc51bb67235' :: bytea
  , '\x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000' :: bytea
  , '\xf81fb54a825fced95eb033afcd64314075abfb0abd20a970892503436f34b863' :: bytea
  ) = false;

-- BAD SIGNATURE: BAD PUBLIC KEY
SELECT ed25519.verify
  ( '\x4284abc51bb67235' :: bytea
  , '\xd6addec5afb0528ac17bb178d3e7f2887f9adbb1ad16e110545ef3bc57f9de2314a5c8388f723b8907be0f3ac90c6259bbe885ecc17645df3db7d488f805fa08' :: bytea
  , '\x0000000000000000000000000000000000000000000000000000000000000000' :: bytea
  ) = false;

-- EXPECTED SIGNATURE
SELECT ed25519.sign
  ( '\x4284abc51bb67235' :: bytea
  , '\xf81fb54a825fced95eb033afcd64314075abfb0abd20a970892503436f34b863' :: bytea
  , '\x3b26516fb3dc88eb181b9ed73f0bcd52bcd6b4c788e4bcaf46057fd078bee073' :: bytea
  ) = '\xd6addec5afb0528ac17bb178d3e7f2887f9adbb1ad16e110545ef3bc57f9de2314a5c8388f723b8907be0f3ac90c6259bbe885ecc17645df3db7d488f805fa08' :: bytea;