Redirecting to Arthur-Merlin protocol