When `X` and `Y` in the `CommitmentPok` are points at infinity, gnark outputs them as integers in the proof. We will always read them as strings.
When
XandYin theCommitmentPokare points at infinity, gnark outputs them as integers in the proof. We will always read them as strings.