DAL: reduce time to prove a commitment
This MR allows the commit function to use pippenger’s shift in the commit function ; this is particularly usefull for prove_commitment
, that commit a large polynomial with a majority of 0 at the beginning. This reduces the time consuption by ~20.