Zero-Knowledge proofs for alias ownership proving

[CPerezz]

Hi everyone.

I work on cryptography, specially in non-interactive zero-knowledge proofs.
The TLDR of the field, is that prover, is capable of demonstrating to a verifier that a certain statement is correct without revealing any private or sensitive data(ie. I know the 2 private keys of two different emails (hence I own the emails) and one is re-directed or aliased to another).

On that line, aliases are really nice. I indeed use SimpleLogin for absolutely all my accounts as well as to give an email to strangers.

One of the main risks I see in using this, is the following:

Imagine your email resolver which tracks all DNS redirections and records gets wiped out by an attack or a mistake. Or corrupted, or simply, you shut the project down.
In that case, I'm mercyless as I'll never be able to receive nor send emails from my alias anymore. And can probably be locked out of certain services.

A solution to that, could be to be the following:

1. When creating an alias, the keys for the alias account are generated from the PubKey of my real email address + some salt I know. Then, we perform $\mathbb{H_{\mathbb{F}}}(P_k | r)$ where $H_{\mathbb{F}}$ represents a HashToField or HashToCurve operation.
2. Now, the user has all the info to generate a ZKP that proves that you know a salt + the secret key linked to $P_k$ such that this generates the $S_k$ linked to the alias.

On that way, even after being without service, I can still prove ownership of an alias.

This also comes-in-handy when I want to prove statements about my alias + my original email together. ie. (I have an account on twitter linked to my real email AND I have an account on GitHub linked to my alias and I'm the owner of both).

Is that something that sounds interesting? I think it can definitely be useful when you want to prove things about alias ownership without revealing any private data related to it or to you and still convince a verifier about it.