Verifiable computation (including zero knowledge) is one of those technologies, like encryption, that makes the most sense when you describe it as a way to reduce the size of the trusted computing base.
Why is this step necessary? hackers.town might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here