Interactive proof can refer to: