Matematikte bir şeyi kanıtlamak genellikle şu anlama gelir: adım adım mantıksal çıkarımlarla o şeyin doğruluğunu ortaya koymak. Peki ya karşı tarafı bir şeyin doğruluğuna inandırırken o şeyle ilgili hiçbir somut bilgi vermeseydiniz? İşte 'sıfır bilgi kanıtı' tam da bunu yapıyor.
Bu kavramın kökleri yaklaşık yüz yıl öncesine uzanıyor. Matematikçiler o dönemde ispat teorisi üzerine kıyasıya tartışırken, bir önermenin varlığını kanıtlamak ile o önermenin içeriğini açıklamak arasında keskin bir ayrım olabileceğini fark ettiler. Bu ayrım başlangıçta son derece soyut ve hatta rahatsız edici bulundu; bazı matematikçiler böyle bir ispat anlayışını gerçek bir kanıt saymayı reddetti.
Yöntemin mantığını somutlaştırmak için klasik bir örnek düşünelim: Renk körü olmayan birine, iki topun farklı renkte olduğunu kanıtlamak istiyorsunuz; ama hangi topun hangi renk olduğunu söylemek istemiyorsunuz. Kişi topları arkanızda saklıyor, siz de her seferinde değiştirip değiştirmediğini söylüyorsunuz. Yeterince tekrarlandığında, karşı taraf topların gerçekten farklı renkte olduğundan emin olur — ama hangi renk olduğunu hâlâ bilmez.
Bu yaklaşım, modern kriptografi ve dijital güvenlik açısından devrim niteliğinde sonuçlar doğurdu. Bugün sıfır bilgi kanıtları; şifre sistemlerinde kimlik doğrulaması yaparken şifreyi açıklamadan, blok zinciri işlemlerinde gizlilik sağlarken işlemin geçerliliğini ispat etmek için yaygın biçimde kullanılıyor.
Teorik matematikte de önemi büyük: NP sınıfındaki problemlerin —yani çözümünü doğrulamak kolay ama bulmak zor olan problemlerin— sıfır bilgi kanıtlarıyla ele alınabilmesi, hesaplama teorisine yeni bir perspektif kazandırdı.
Başlangıçta tartışmalı bulunan bu fikir, bugün matematiğin ve bilgisayar biliminin temel araçlarından biri. Bazen en devrimci fikirler, en sert dirençle karşılananlardır.