[YeBanKo]

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/