Improve lagrange numerators generation in zero knowledge proofs

[HayimShaul]

the ZKP protocol uses lagrange interpolation for efficient proofs.
The numerators are computed in a naive way and can be improved