Links for aegis-verify