Algebraic methods for interactive proof systems (1992) | Hacker News Reader