Blockchainlere güvenlik sağlamayı amaçlayan çoğu kriptografik tekniğin arasında, zk -SNARK ve zk -STARK ispatları iki kayda değer örnektir. zk -SNARK, bilginin sıfır-bilgi kısa ve öz interaktif olmayan argümanı, Zk -STARK da bilginin sıfır-bilgi kısa ve öz transparan argümanı anlamına gelir.