Supplementary material to the work https://eprint.iacr.org/2025/915. - View it on GitHub