Sıfır bilgi kanıtları (zero knowledge proofs – ZKP’ler), gizliliği riske atmadan blok zincirlerindeki ifadelerin doğruluğunu