This, but for a generalised notion of "number" (that is, "proof")

https://en.wikipedia.org/wiki/Nothing-up-my-sleeve_number

?