区块链60讲49 区块链零知识解释

区块链技术的核心在于透明和多元记账，但这种透明性有时也会带来隐私问题。零知识证明是一种密码学工具，它允许一方（证明者）向另一方（验证者）证明某个陈述是真实的，进而声明除该陈述是真正外界的信息。这相当于证明你知道任何秘密，但又不告诉对方秘密本身是什么。零知识证明在区块链中的应用

1. 在公共账户本上进行交易时，零知识证明可以用来验证交易的有效性，例如证明支付方确实拥有足够的资金，而无需公开支付方的余额或交易金额。

2. 这有助于增强用户的隐私，使得在区块链上进行的活动可以更加公开，同时仍然保持系统的安全性和可信性。

3. 零知识证明能够在不公开基础数据的情况下，确认智能合约执行的正确性或用户身份的某些属性。

理解 zk-SNARKs

1. zk-SNARKs 是零知识论证的一种特定形式，全称是“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”。

2. 它的一个重要特性是“简洁”（简洁），这意味着证明的大小非常小，并且验证证明的速度非常快，与被证明的计算复杂性无关。

3. “Non-Interactive”（非醉）表示证明者只需生成一个证明，验证者拥有这个证明就可以进行验证，双方不需要进行多次来回的通信。

4. “知识论证”（知识转换）是一种技术术语，它表明证明了依赖于计算上的假设的有效性，而不是严格的数学逻辑（尽管在实践中，这种计算上的保证已经足够强大）。zk-SNARKs的工作流程

1. zk-SNARKs 的使用通常始于一个“setup”阶段，或者称为“可信设置”（trusted setup）。在这个阶段，会生成一些公开的参数（公共参考串，CRS），这些参数对生成和验证证明都很关键。这个设置过程对安全性关键，需要参与者参与生成参数的秘密信息。

2. 拥有秘密信息（“见证”）和要证明的陈述的证明者，使用这些秘密信息、陈述以及公共参考串来计算出一个零知识证明。这个证明通常是一个非常小的字符串。

3. 任何拥有公共字符串和要验证的陈述的验证者，都可以通过一个快速的计算来检查证明的有效性。验证过程只确认证明者知道陈述的底层秘密信息，而不会暴露这些秘密信息本身。

4. 这个证明过程和验证过程的简洁性，使得zk-SNARKs非常适合验证区块链，因为它们可以在链上存储和验证结构的证明，而消耗大量的计算资源或空间。

以上就是区块链零链知识证明是啥？zk-SNARKs怎么工作？的详细内容，更多请关注哥常识网相关其他文章！