Function prove 

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

Compute proof for given data and prior protocol values