什么是简洁区块链？什么是zk-SNARK？

隐私一直被加密货币社区视为一项宝贵的特性。今天，我们将探讨“简洁区块链”（Succinct blockchain）是什么意思，并了解zk-SNARK技术。让我们通过以下文章来深入了解。

什么是简洁区块链？

简洁区块链指的是其验证复杂度在很大程度上与区块链长度无关的区块链。与保留整个区块链不同，简洁区块链只保留当前状态，而使用SNARKs（简洁非交互式论证）来证明存在一条区块链能够解释当前状态。事实上，它更进一步：SNARK能够证明存在一条区块链，能够解释默克尔根哈希（Merkle root h）的状态。

什么是zk-SNARK？

zk-SNARK是一种零知识证明协议，允许证明者在不透露具体信息的情况下向验证者证明其拥有某些信息，而且两方之间无需交互即可完成证明与验证。

“zk-SNARK”是“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”的缩写。下面分别解释其各个组成部分：

零知识（Zero-knowledge）：证明者可以向验证者展示其拥有某条信息，但无需提供该信息本身。

简洁（Succinct）：证明可以在毫秒级内完成验证，且证明的大小通常只有几百字节。

非交互式（Non-interactive）：证明由证明者发送给验证者的一条消息组成，无需双方多轮交互。

论证（Argument）：该术语表明这类证明不完全符合传统证明的定义，但实质上起到了同样的作用。

知识（Knowledge）：指证明者所拥有的信息。

zk-SNARK的优缺点

zk-SNARK的主要优点是它们带来的隐私保护和高效性。它们能够隐藏敏感信息，几毫秒内完成验证，并且无需双方进行多次交互，仅需证明者向验证者发送一条消息。

虽然zk-SNARK没有明显缺点，但如果有人掌握了设置协议时使用的私钥，就可能伪造虚假证明和资金。因此，使用zk-SNARK的隐私币必须采取措施，确保没有任何单一方能够获取这些私钥。