Redirecting to Interactive proof system