EdDSA Ed25519 verification precompile

The crypto crate already supports Ed25519 verification, and the test workspace runs [Wycheproof vectors](https://github.com/0xMiden/miden-vm/blob/18d9f6361acbf2f8fb22e4780b312e4b4f96cbce/tests/wycheproof/src/lib.rs#L134-L180). Add Ed25519 verification to the precompile VM so programs can use it with the same proof model as the existing signature work. This requires Ed25519 group operations and SHA-512 hashing in the precompile relation.

The issue is complete when:

- the standard registry includes the required Ed25519 group and SHA-512 work.
- the core library has a stable MASM verification interface.
- the precompile AIR and prover enforce the group and hash relations.
- tests reject malformed inputs and small-order points.
- Wycheproof vectors and a mixed workload benchmark cover the new path.

This work belongs under [#3516](https://github.com/0xMiden/miden-vm/issues/3516) and should use the same message and public-key commitment rules as the other signature precompiles. Earlier roadmap issue [#2977](https://github.com/0xMiden/miden-vm/issues/2977) lists Curve25519 or EdDSA and SHA-512 as missing precompile work.

Start by examining the existing signature precompiles under issue #3516 to understand the proof model and message/public-key commitment rules. Review the crypto crate's Ed25519 verification and the Wycheproof vector tests in tests/wycheproof/src/lib.rs. The work involves extending the precompile VM's standard registry, core library MASM interface, and the precompile AIR/prover to enforce new group and hash relations. 'Done' means all listed acceptance criteria are met, including tests for malformed inputs and a benchmark.

由索引模型根据 Issue 内容生成。