No. 50 (1997): RS-50 Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP