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