隱私一直被認為是加密貨幣領域中一項有價值的特征。它不僅為可替代性提供了前身，也是廣泛使用的貨幣形式所必需的。絕大多數加密資產持有者都不希望他們的資產和交易歷史被完全公開。在為區塊鏈提供隱私的各種加密技術中，zk-SNARK證明和zk-STARK證明是兩個不錯的例子。摘要：在旨在為區塊鏈提供隱私的各種加密技術中，zk-SNARK證明和zk-STARK證明就是兩個不錯的例子。Zk-SNARK代表零知識、簡潔、非交互式的知識證明，zk-STARK則代表零知識、簡潔、透明的知識證明。...
Zk-SNARK代表“零知識、簡潔、非交互式”知識證明，zk-STARK則代表“零知識、簡潔、透明”知識證明。盡管zk-SNARK在完善和采用方面取得了重大進展，zk-STARK卻更像是協議的最新改進版本，它填補了zk-SNARK證明的許多缺陷。
1990年，密碼學家Jean-Jacques Quisquater（以及其他合著者）發表了一篇題為“如何向孩子解釋零知識證明”的論文，通過一個阿里巴巴洞穴的寓言，介紹了零知識的概念。這個寓言被多次改編，但表達的信息本質上是相同的。它說明了零知識證明的概念，是zk-SNARK和zk-STARK協議的一部分。
Zk-SNARK的首個廣泛應用是在Zcash上。它改變了數據的共享方式，有效地為發送人創建了一個匿名保護屏障。Zk-SNARK允許一個人向另一個人證明某個陳述是真實的，而不會泄露超出此陳述的任何有效信息。然而，初始的可信設置可能導致中心化，因為參數通常是由非常小的群體設置的。
與之相比，zk-STARK不需要初始可信設置，因此被認為是一種更快、成本更低的技術實現。它依賴于更簡潔的加密技術，排除了zk-SNARK的數論假設。
隱私問題一直備受關注，而在加密貨幣領域中，這些協議具有巨大的潛力，并且可能成為主流采用的突破性途徑。
