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.