Algebraic methods for interactive proof systems (1992) · HackerTrans