Module eddsa_ed25519 

EdDSA (Ed25519) signature verification precompile for the Miden VM.

This precompile mirrors the flow of the existing ECDSA integration but targets Ed25519. Execution emits an event with pointers to packed bytes (public key, pre-computed challenge digest k_digest, and signature); the host verifies the signature with miden-crypto primitives, returns the result via the advice stack, and logs the calldata for deferred verification. During proof verification, the stored calldata is re-verified and committed with the same hashing scheme used at execution time.

Structs

EddsaPrecompile

EdDSA (Ed25519) signature verification precompile handler.

EddsaRequest

EdDSA verification request containing all data needed to re-run signature verification.

Constants

EDDSA25519_VERIFY_EVENT_NAME

Qualified event name for the EdDSA signature verification event.