Prover should use this function to compute data for second (last) sigma protocol message.
(c *big.Int)
source not stored for this graph (policy: none)
no outgoing calls