Resolving the conflict between generality and plausibility in verified computation