Links for aetherproof-verify