Committing a new proof