fix: proof fields contains non standard labels

[noandrea]

merging since is just a shuffle of the branches to keep the history in order for the autogeneration of the changelog