Algebraic methods for interactive proof systems (1992) | Heykuki News