pub fn prove<E: Curve>(
data: Data<'_, E>,
pdata: PrivateData<'_, E>,
private_commitment: &PrivateCommitment<E>,
challenge: &Challenge,
) -> Result<Proof<E>, Error>Expand description
Compute proof for given data and prior protocol values