[boole1854]

He has done this, page 37: https://eprint.iacr.org/2024/555.pdf

[runiq]

I totally missed that, shame on me. Thanks for the correction!