A Zero Knowledge Sumcheck and its Applications
Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes