Algebraic methods for interactive proof systems (1992) #1 Post by lawrenceyan » Mon, Feb 16, 2026, 6:39 PM UTC Algebraic methods for interactive proof systems (1992)dl.acm.org