Interactive Proof System

Interactive proof systems were formulated in 1985 as published in the seminal research paper titled "The Knowledge Complexity of Intera...