Function prove 

pub fn prove<const M: usize>(
    _: Data<'_>,
    _: PrivateData<'_>,
    _: &Commitment,
    challenge: &Challenge<M>,
) -> Result<Proof<M>, Error>

Compute proof for given data and prior protocol values