Sıfır bilgi kanıtları, yürütmeyi kanıtlara sıkıştırır: Bir kanıt, herkes için çalışmayı doğrular. blok zincirlerini ölçeklendirmesi kolay küçük kanıtlarda blok zincirlerinin büyük matematiği.