官方 | 协议实验室、Filecoin基金会、以太坊基金会和ECC宣布合作开发Halo

近日 Electric Coin Co.（ECC）宣布， Protocol Labs，Filecoin基金会，以太坊基金会和ECC 将合作开发 Halo ——一种无需可信设置即可解决零知识递归证明的解决方案。

零知识、递归证明和 Halo 的快速入门

零知识是密码学的一个分支，专注于无需查看底层数据即可验证解决方案（“答案”）的方法。

举个例子，在纽约的一家酒吧，您需要证明自己的年龄。在零知识交易中，存在两个当事方: 证明者和验证者。证明者是试图证明某些事情的个人或实体，在这种情况下，是想证明自己达到法定饮酒年龄的个人。验证者是必须验证该信息的个人或实体，即调酒师。

在零知识交易中，调酒师可以证明顾客达到法定年龄，而不需要知道顾客的确切年龄，甚至不需要看他们的身份证。他们可以简单地信任这种情况，而不需要看到底层数据(ID)。为了更好地理解这一点，他们不需要任何(零)知识，就可以自信地完成交易。

零知识 (zk) 交易产生 zk-proofs，可以参考它来证明交易发生。当 zk 在像区块链这样的分布式网络中使用时，这意味着每个区块将有多个 zk 证明。

如果未来的交易希望验证信息，一个简单的解决方案是分别验证每个先前的块。递归证明提供了一种解决方法，基本上允许“证明的证明”。从某种意义上说，创建证明的连接历史，因此只需要验证少量的证明。

Halo 是 ECC 的递归证明研究，最早在2019年提出。Halo 作为一个解决方案，建立递归证明的区块链网络没有运行一个可信的设置(一个复杂且昂贵的过程)。Halo 2 是递归证明研究的下一个迭代。

Halo 2 被应用于 Filecoin网路

或许很多人并不清楚Filecoin 网络是世界上最大的零知识网络。零知识是 Filecoin 网络的基础，它提供了关键的可扩展性解决方案，这些解决方案自从网络首次在测试网上发布以来就一直在使用。

ECC、Filecion 基金会、以太坊基金会和Protocol Labs 之间的合作将部分侧重于探索 Halo 2 与现有 Filecoin 证明系统的集成。

Halo 2 递归证明解决方案的成功实施将意味着存储在链上的证明数据大幅减少，从而释放 Filecoin 的网络来存储更多人类最有价值的信息。这意味着更大的网络可扩展性和更容易获得廉价、高效以及对用户友好的存储解决方案。

—-

编译者/作者：算力中国

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。