Zk-SNARKs：最实用的区块链应用
隐私是区块链用户的一项重要功能，也是Horizen通过我们的实现 zk-SNARKs 解决的问题。
通过使用 zk-SNARK，交易甚至整个区块链应用程序都可以被验证为私有——该领域的许多人都强烈要求这一功能。zk-SNARKS 使隐私增强项目能够在 Horizen 上构建他们的应用程序，并启用可以选择性地保留发送者和接收者匿名性的屏蔽交易。
zk-SNARKS：让5 岁小孩都秒懂
想象一下，您正在玩“沃尔多在哪里？”的游戏。与三个朋友一起，奖金为 1,000 美元的投注池由获胜者瓜分。你和你的朋友围坐在一张桌子旁，给你们一张纸，上面有沃尔多的形象。
你必须在图片中找到沃尔多——一旦你找到沃尔多，你需要表明你已经找到了他，但不要透露他的位置或任何提示。换句话说，您想证明对事实的了解，而不透露任何超出您的主张有效性的信息。
在我们的比喻中，你可以拿一张相同大小的纸，在沃尔多在游戏纸上的相同位置上标记一个点。然后，您可以将表格隐藏在拼图框中，一旦您的朋友解决了拼图，他们就可以亲眼看到您标记了 Waldo 所在的位置。
zk-SNARKS：技术概述
在更技术层面上，zk-SNARKs 使用密码来证明已经采取了某些步骤，而没有透露这些步骤是什么。在我们的比喻中，密码只是另一张纸，在实践中，zk-SNARK 是基于大量计算，例如计算数百万次的哈希。
不是将数据表示为纸上的一个点，而是通过多项式（方程）表示数据。可以使用因子定理对多项式进行因子分解以获得原始数据。
最后，我们可以使用多项式承诺。简而言之，承诺是某事发生的数学证明。有了这个证明（这是一种散列），我们可以验证某条信息，而无需透露信息本身。
zk-SNARK 的主要用例
zk-SNARK 可用于各种应用。Horizen 使用它们来启用保护隐私的侧链、跨链传输，甚至是启用隐私的审计解决方案。
SDK
Horizen 支持 zk-SNARK 的SDK允许开发人员创建、部署和管理完全可定制的区块链。我们的 SDK 是一个可定制的工具包，其中包含构建区块链所需的组件，包括跨链传输协议 (CCTP)，可实现与 Horizen 主链的通信。
CCTP 利用 zk-SNARK 技术，因此 Horizen 主链可以在不知道其内部数据的情况下验证来自侧链的交易。这实现了一个完全可扩展但私有的生态系统，最大限度地提高吞吐量并保持低交易费用。
增强隐私的侧链
侧链是通过桥与主链通信的并行区块链。在 Horizen 的例子中，这个桥是用递归证明电路实现的。这意味着每个证明在证明新交易的同时验证先前的交易，从而证明交易的整个历史。
在一个 epoch 或定义数量的块结束时，最终的递归证明被提交给 Horizen 主链，该主链提供正确状态进展的证明。这使 Horizen 能够从生态系统中的所有区块链建立分散且可验证的跨链转移，而无需依赖受信任的验证器。
zkAudit：私密而透明
Horizen Labs通过利用 Horizen 区块链网络开创了zkAudit技术，使审计人员能够在不泄露有关发送者或接收者的可识别信息的情况下验证信息。这提供了前所未有的透明度，同时保护了用户隐私。
当然，这是使用 zk-SNARKs 完成的，所有交易都可以保密，因为所有信息都是加密的，在近乎实时地维护有效性的同时实现隐私。
这确保没有第三方可以审查交易或操纵数据——只有可验证的事件发生在区块链上。
zkAudit 被全球行业领先的加密货币收益公司Celsius Network 等合作伙伴使用。借助 zkAudit，Celsius 可以近乎实时地证明收入和流动性等事实，而无需透露有关基础交易的敏感数据或依赖任何第三方验证器，从而使 Celsius 能够提高透明度，同时保护隐私。
zkAudit 消除了对传统审计缓慢过时的过程的需求，本质上是通过使用区块链实现三重录入审计，并使审计透明而私密。
使用 zk-SNARK 构建可扩展的隐私解决方案
如果您想使用 zk-SNARKs 构建自己的隐私解决方案，您可以使用Ginger-lib，这是 Horizen 用 Rust 编写的一个新的 zk-SNARK 库。Rust 是一种深受开发人员喜爱的语言，这要归功于其惊人的速度和内存效率。
这个通用工具包使开发人员能够实现支持完全递归证明组合的 zk-SNARK。递归证明组合是一种可以验证其他证明的证明，它将允许开发人员以快速、简洁和廉价的方式验证侧链或整个主链的状态，而无需同步整个链历史。
更具体地说，该库的主要新增功能包括 MNT4-753 和 MNT6-753 椭圆曲线循环，其中包含实现递归 SNARK 所需的所有字段、组、原语和小工具。
开发人员还可以访问多个单元测试以提高实施质量。
zk-SNARKs：区块链采用的新希望
区块链技术的未来充满希望，随着 zk-SNARKs 的发展，我们可以期待看到分布式账本技术的新一轮创新浪潮。
这将在加密货币领域带来令人兴奋的发展，并对其他行业产生重大影响。zk-SNARK 的应用几乎是无穷无尽的，想想它们在未来可能会带来什么是令人兴奋的。
隐私正在成为数字世界中越来越受欢迎的话题。随着越来越多的人对在线活动的隐私要求越来越高，保护隐私的区块链技术将继续成为更受欢迎的价值存储选择。
通过在 zk-SNARK 之上构建支持隐私的应用程序，用户可以在不牺牲隐私的情况下享受区块链技术的好处。
