<img width="426" height="59" alt="Image" src="https://github.com/user-attachments/assets/3e3cff68-b3d8-4c1d-95e6-e0ea13471cdf" /> Notice the input `x` has a complex array length. This means the user needs to design their input array length to be of length `(MOD_BITS + 7) / 8`. E.g. in zkpassport code: <img width="567" height="59" alt="Image" src="https://github.com/user-attachments/assets/59b0618d-dbfb-46ac-b23e-e1234679d2c6" /> Consider whether this is necessary.