feat(stdlibs): support crypto/ed25519.Verify (gnolang#1863)

Support crypto/ed25519 on GnoVM

<details><summary>Contributors' checklist...</summary>

- [x] Added new tests, or not needed, or not feasible
- [x] Provided an example (e.g. screenshot) to aid review or the PR is
self-explanatory
- [x] Updated the official documentation or not needed
- [ ] No breaking changes were made, or a `BREAKING CHANGE: xxx` message
was included in the description
- [ ] Added references to related issues and PRs
- [ ] Provided any useful hints for running manual tests
- [ ] Added new benchmarks to [generated
graphs](https://gnoland.github.io/benchmarks), if any. More info
[here](https://github.com/gnolang/gno/blob/master/.benchmarks/README.md).
</details>

---------

Signed-off-by: Norman Meier <norman@samourai.coop>
Co-authored-by: Miguel Victoria Villaquiran <Villaquiranm@users.noreply.github.com>
Co-authored-by: Norman Meier <norman@samourai.coop>
Co-authored-by: n0izn0iz <n0izn0iz@users.noreply.github.com>

docs/reference/go-gno-compatibility.md

@@ -124,7 +124,7 @@ Legend:
 | crypto/dsa                                  | `tbd`    |
 | crypto/ecdh                                 | `tbd`    |
 | crypto/ecdsa                                | `tbd`    |
-| crypto/ed25519                              | `tbd`    |
+| crypto/ed25519                              | `part`[^8] |
 | crypto/elliptic                             | `tbd`    |
 | crypto/hmac                                 | `todo`   |
 | crypto/md5                                  | `test`[^2] |
@@ -289,6 +289,8 @@ Legend:
   bit of boilerplate, but you can use `sort.Interface` + `sort.Sort`!
 [^7]: `time.Now` returns the block time rather than the system time, for
   determinism. Concurrent functionality (such as `time.Ticker`) is not implemented.
+[^8]: `crypto/ed25519` is currently only implemented for `Verify`, which should
+  still cover a majority of use cases. A full implementation is welcome.
 
 ## Tooling (`gno` binary)
 

gnovm/stdlibs/crypto/ed25519/ed25519.gno

@@ -0,0 +1,8 @@
+package ed25519
+
+// Verify returns true if the signature is valid for the message and public key.
+func Verify(publicKey []byte, message []byte, signature []byte) bool {
+	return verify(publicKey, message, signature)
+}
+
+func verify(publicKey []byte, message []byte, signature []byte) bool // injected

gnovm/stdlibs/crypto/ed25519/ed25519.go

@@ -0,0 +1,9 @@
+package ed25519
+
+import (
+	"crypto/ed25519"
+)
+
+func X_verify(publicKey []byte, message []byte, signature []byte) bool {
+	return ed25519.Verify(publicKey, message, signature)
+}

gnovm/stdlibs/crypto/ed25519/ed25519_test.gno

@@ -0,0 +1,16 @@
+package ed25519
+
+import (
+	"crypto/ed25519"
+	"encoding/hex"
+	"std"
+	"testing"
+)
+
+func TestVerify(t *testing.T) {
+	publicKey, _ := hex.DecodeString("0D853FA898A07EB91F618BB3E8B738B0E45BE9B3053799A2C42F8204F5FA3505")
+	signature, _ := hex.DecodeString("2B39638983858715AD2FA059665ADFE267936B8F20C4DA01E9650958E0CA65C0255C75164360F468087FE8385140E48EE3471E332472A50AEE599F9D0EADD106")
+	if !ed25519.Verify(publicKey, []byte("hello gno.land"), signature) {
+		t.Error("verify failed")
+	}
+}