Function verification_key_from_seed 

fn verification_key_from_seed(seed: u64) -> VerificationKey<SpendAuth>

Builds a non-identity RedPallas verification key from a seed.

[Action::from_parts] rejects an identity rk, so this derives the key from a signing key rather than picking bytes directly.