| Previous slide | Next slide | Back to the first slide | View Graphic Version |
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.