This is solved using WKD. Thunderbird already supports this with enigmail enabled
For other people there is also https://autocrypt.org/
For other people there is also https://autocrypt.org/