Halo：没有可信设置的递归证明组合

ECC的工程师和密码学家Sean Bowe发现了一种创建实用的、可扩容的、去信任化的密码验证系统的方法，实现了加密学界数十年来追求的目标。

这项技术叫做Halo，ECC员工Sean Bowe、Daira Hopwood和Jack Grigg联合撰写Halo白皮书。比特币PoW区块哈希的递归证明正在开发当中。

Halo实现了实际的零知识递归组合证明，不再需要可信设置。

递归组合证明能够做到压缩无数笔计算、创建可审计的分布式系统、构建高度扩容区块链以及保护全人类的隐私。递归组合证明是一个验证自己其他实例的证明，无论多么庞大的计算任务或数据都能生成一个快速检查的简洁证明。

Sean Bowe的发现类似“嵌套摊销（nested amortization）”——在椭圆曲线的周期内反复折叠多个难题实例，用计算证明来高效地推算自身运算，不再需要可信设置。

可信设置不仅不好调制，还有系统性风险，而且每次主协议升级时都需要重新调制。针对需要升级的协议而言，去掉可信设置将大大提升安全性。

嵌套组合证明可能会成为扩容共识机制的基础技术。

Halo和去中心化互联网的定义

传统上我们认为密码学是一种加密和解密消息的科学。经常将密码学当作一种保护隐私和防止敌人破环的安全措施，这个意义上是真的。在使用上，密码学与互联网无法分开。保护人民不受坏人、企业不受竞争对手、民族不受外国势力的侵害。但密码学的前景不仅仅是用来加密消息。

20世纪80年代中期，密码学家和数学家们设想用零知识证明来证明事实的正确性，却又不揭露事实本身的任何信息。当时他们将这一发现发表在1987年的《纽约时报》上。文章中写道：

“……[零知识证明]可能会改变现代生活的方方面面，从日常金融交易到敌机侦探，身份信息遭到滥用。虽然刚开始 “零知识证明”只是一个抽象概念，但很快计算机科学家就意识到它在日常保密工作方面的作用。比方，当信用卡上的信息被碳素笔涂改，登录计算机时要不时检查自己的肩膀，或遗留在酒店的护照被人偷偷复印时候，零知识可以解决这些问题。 ”

将零知识真真在在地应用到现实生活需要一定时间。直到约30年后，ECC在Zcash中引入了一种名为zk-snark的零知识证明，保护用户的财务隐私。从那时起，许多其他项目都在ECC的基础上构建起零知识证明。

ECC首席执行长威尔科克斯（Zooko Wilcox）最近在a16z大会上向监管机构和执法部门发表了讲话。他用一个简单的“实景”演示，展示了零知识证明，并提出了零知识证明的其他用途。

超越加密，融入互联网

零知识证明得到广泛使用还有意想不到的好处，可能会是一个新的、去中心化的互联网基础。

现有的网络结构无法解决如今的互联网问题。需要一个高度扩容、去中心化、互操作和安全的平台才能消除这些问题。现在这个平台架构还在起步阶段，还没达到安全、互操作和可扩容的阶段。

像比特币和以太坊等公链都是开源的，交易细节和交易对手信息都公布在网络上。目前它们无法满足GDPR、加州消费者隐私法（California Consumer Privacy Act）或其他一系列即将出台的保护消费者隐私的法规。

下一代互联网必须保护用户不受包括广告商、黑客、外国政府行为者、未来雇主等在内的一系列行为者的影响。而且数据必须呈现分布式，消除单点故障。正如Equifax、美国政府、塔吉特（Target）、万豪（Marriott）、Facebook、Capital One等中心化公司，数据库总存在被黑客入侵的风险。

新互联网还必须天然地支持信息和功能分享的公共互操作标准，保密系统中的重要信息。无论是为了售卖保险，窥探用户的信用积分或健康信息。

新互联网还必须扩容。今天的公链做不到，比特币每秒只能处理7笔交易。第二层解决方案能做到扩容，但无法扩展到区块链支持的用户数。要像互联网几乎覆盖到所有人，区块链必须在底层（第一层）就进行扩展。

使用了递归零知识证明的Halo，可能会被证实是一个支持扩容、安全、隐私保护区块链的重要构件。对去中心化互联网的整个架构也有帮助，随着人类建立尊重用户主权的高度扩容和安全系统，就需要保护隐私，确保所有人的经济自由和机会平等。

原文：https://electriccoin.co/blog/halo-recursive-proof-composition-without-a-trusted-setup/

稿源（译）：https://first.vip/shareNews id=2185&uid=1

—-

编译者/作者：头等仓

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