Developed independently by Babai and Goldwasser, Micali and Rackoff.

Concentrate on complexity aspects.

Bounded-Round results in proceedings.

Most aspects of zero-knowledge, program testing and approximation results left to other surveys.