Implement G(X), K(X) optimized computation following Claim 4.5

[arnaucube]

Implement the more efficient (than the current one) computation of $G(X), K(X)$ described in the Claim 4.5 from ProtoGalaxy (https://eprint.iacr.org/2023/1106).