>>capdec+(OP)
Here is an example of contact discovery protocol by Signal using remote attestation [1]. Client itself can ensure that the code running on the server is authentic. It is computationally insensitive, but beneficial to the end user.
[1] https://signal.org/blog/private-contact-discovery/