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