pub(super) fn create_proof<C: ProofConstants, F: FieldWitness>(
params: CreateProofParams<'_, F>,
w: &Witness<F>,
) -> Result<ProofWithPublic<F>>
pub(super) fn create_proof<C: ProofConstants, F: FieldWitness>(
params: CreateProofParams<'_, F>,
w: &Witness<F>,
) -> Result<ProofWithPublic<F>>