Add rudimentary proof verification