Update: This result appeared in the proceedings of CT-RSA 2023. A preprint is available.| Nicky Mouha