Function prove 

pub fn prove(
    pdata: PrivateData<'_>,
    pcomm: &PrivateCommitment,
    challenge: &Challenge,
) -> Result<Proof, Error>

Compute proof for given data and prior protocol values