What Can Be Verified Locally?