Function prove 

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

Compute proof for given data and prior protocol values