Proofs probable
@article{Savage2013ProofsP, title={Proofs probable}, author={Neil Savage}, journal={Commun. ACM}, year={2013}, volume={56}, pages={22-24} }
Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs.