Verify Pederson commitment, Equation (4) in Gennaro 2006
(share pcmn.PrimaryShare, sharePrime pcmn.PrimaryShare, ci []common.Point, index big.Int)
source not stored for this graph (policy: none)