Comment by martinralbrecht

We did reverse engineer it and we're cryptographers not reverse engineering experts https://eprint.iacr.org/2025/794