Function prove 

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

Compute proof for given data and prior protocol values