We need to be sure on the correct modulus for Zq as the multiplicative inverses are also needed see https://github.com/NethermindEth/condor-rs/pull/45#discussion_r2040371199