零知识证明技术的应用

什么是零知识证明

零知识证明(Zero-Knowledge Proof,ZKP)是现代密码学的重要组成部分。它指的是证明者在不向验证者提供任何有用信息的情况下,说服验证者某个假设是正确的能力。

零知识证明本质上是一个涉及两个或多个参与方的协议,即两个或多个参与方需要完成一项任务的一系列步骤。证明者向验证者证明并使验证者相信他/她知道或拥有某个特定消息,但在证明过程中不会透露关于被证明消息的任何信息给验证者。通俗来说,证明者不仅能够证明自己想要证明的内容,而且同时向验证者披露“零”信息。

关于零知识证明的更多概念,已经有很多中文资料进行了介绍,这里就不赘述了。

零知识证明在区块链领域的主要应用

零知识证明技术的两个重要特点是其在区块链领域应用的主要因素:

零知识证明可以保护数据的隐私并证明其有效性,而不泄露数据信息。

零知识证明可以通过生成少量的证明来证明大量的数据,这在压缩数据量和提高性能方面具有重要作用。

因此,零知识证明的两个方向就是:隐私保护和区块链的扩展。下面分别叙述:

蚂蚁链隐私协作平台AntChain FAIR引入基于零知识证明的可验证计算技术:7月8日消息,在2023世界人工智能大会全球区块链产业高峰论坛上,蚂蚁链宣布隐私协作平台AntChain FAIR进行全新架构升级,引入零知识证明(ZKP)为核心的可验证计算技术,从可信数据流转拓展到计算过程、数据属性以及身份的可验证。此外蚂蚁链FAIR在可信计算架构中加入新型零知识证明虚拟机zkWASM,实现指令级别的可证明特性,可以依托 WASM 多语言生态将多种前端语言编写的算法程序进行证明转化,而无需关心底层复杂的算法细节,提升开发应用的友好性。

FAIR 是蚂蚁链面向数据流转推出的隐私协作平台,综合了区块链和隐私计算的优势,协作流程由智能合约驱动,数据流转由隐私计算引擎来解决,并通过区块链技术确权,登记和交易共识,可以解决数据流通过程中,数据共享与隐私保护之间的天然矛盾。目前 FAIR 已经在杭数交、贵数所等多家数据交易所得到应用。[2023/7/8 22:25:31]

隐私保护

隐私保护一直是区块链中一个极其重要的概念,代表了在分布式网络中保护交易和参与者的能力。

区块链一直倡导匿名性,参与者在大多数交易中无需使用真实姓名,而可以重复使用公钥哈希值作为交易标识符来识别交易者。但是,这些交易只有伪名,而不是真正实现了匿名性。默认情况下,用户的每笔交易都是公开的,一旦用户的地址被锁定,就可以用来审查资金来源、计算持仓位置,甚至分析用户的链上活动。

DoraHacks平台开始支持基于零知识证明的隐私二次方资助:据官方消息,DoraHacks开发者激励平台HackerLink已经完成整合Dora Factory隐私投票模块MACI,并开始支持基于零知识证明的二次方投票和二次方资助轮次。

MACI(最小化抗共谋基础设施)是Dora Factory以太坊工厂的核心模块之一,通过对投票进行加密以及对结果提供零知识证明,实现隐私投票,将链上和链下治理的投票过程转化为非合作博弈,以达到抗共谋的目的。

DoraHacks对MACI代码中的安全性和效率问题进行了系统性优化。ETH Denver 2022将于2月20日与DoraHacks共同推出第一个中等规模的MACI二次方资助轮次,超过2,000名开发者和10,000名参会者将通过DoraHacks平台进行零知识二次方投票,这是MACI和链上隐私投票的第一次中等规模应用。[2022/1/28 9:19:46]

零知识证明技术可以通过提交证明来确认交易的有效性,而不泄露任何信息,实现交易信息的完全匿名化。在强调隐私问题加密的发展阶段,许多开发者致力于隐私公链的探索。零知识证明的隐私保护和数据压缩能力是成为公链组件技术的主要原因。在此期间,像Zcash和Monero这样的项目取得了异常出色的成果。以Zcash为例,Zcash最初采用了Pinocchio协议,于2019年切换到Groth16证明系统。

Polygon以4亿美元收购零知识初创公司Mir:金色财经报道,以太坊Layer2扩容解决方案Polygon宣布以4亿美元收购零知识初创公司Mir,这笔交易是通过2.5亿枚MATIC完成的。作为交易的一部分,Mir将更名为Polygon Zero,该项目将基于其ZK-proof技术构建一个ZK-rollup。Polygo联合创始人Sandeep Nailwal在接受采访时表示:“我们希望通过提供一系列解决方案,成为Web3平台的AWS,使开发人员能够在其上进行构建。”[2021/12/10 7:29:15]

Zcash钱包地址分为隐藏地址和透明地址。透明地址之间的交易与比特币(BTC)交易没有区别:发送方、接收方和交易金额都是公开可见的;隐藏地址之间的交易也会出现在公共区块链上,但交易的地址、资金金额和备注字段是加密的,并且zk-SNARK将根据网络共识规则证明交易的有效性;此外,还可以在隐藏地址和透明地址之间进行交易。

Zcash对审计和监管友好,同时保护交易隐私。隐藏地址交易的发送方和接收方可以向第三方披露交易详细信息,以满足见证、合规或审计需求。

可扩展性

 “不可能三角”是以太坊等L1区块链面临的永恒问题。不同的链始终在去中心化、安全性和可扩展性之间找到平衡。

金色沙龙 | 燕丽:零知识证明对于协调区块链底层扩容也有很大帮助:在今日举行的《隐私计算——区块链信息安全守护者》为主题的金色沙龙中,算力智库创始人燕丽表示,2020年1月1日,中国首部《中华人民共和国密码法》将正式开始实施,而在这之前一直只有一部 2007年4月23日公布的《商用密码产品使用管理规定》和《境外组织和个人在华使用密码产品管理办法》。很多人把这次《密码法》和2019年“1024”中央把区块链技术作为国家战略联系在一起。区块链技术是完全基于密码学技术,所以按照这个逻辑,如果政府要完全掌控未来区块链技术的发展,首先就要完全掌控密码学技术,而这个其中的核心是国家主权范围之间在所有的通信安全和商业行为之间军备竞赛的升级。区块链有大量扩容压力,而为了达到这个操作,必然要牺牲系统处理效能和部分隐私。但矛盾的是,区块链前期的应用场景如虚拟货币,数字金融等,都需要有更好的隐私保护和不容易被恶意攻击的防护。所以若想让区块链技术落地生根,那么提高区块链底层技术来满足对于高安全性(含高完整性和高保密性)、高性能、高广义效率的要求,也许是个稳妥做法。所以隐私计算中的零知识证明等对于协调区块链底层扩容也有很大帮助。[2020/4/15]

以太坊更注重去中心化和安全性,因此必须面对可扩展性的限制。以太坊上的高燃气费和长交易确认时间严重影响了用户体验。因此,其核心开发团队和社区一直在探索各种可扩展性解决方案。

声音 | CFTC专员:继续看好隐私币的零知识证明技术:据AMBCrypto消息,近日,美国商品期货交易委员会(CFTC)专员Brian Quintenz接受采访时表示,尽管存在AML(反)的问题,但对零知识证明协议持积极态度。政府接受任何形式的隐私币的可能性很小,加密货币交易平台也禁止用户进行不受监控的交易,这也是为什么Monero没有在Coinbase上线的原因。[2019/6/28]

有两种方法可以扩展区块链:

扩展L1区块链本身,方法包括增加区块大小或分片。即将区块链网络中的节点划分为几个相对独立的分片。

单个分片的处理规模较小,甚至只存储部分网络状态。但理论上,在多个分片并行处理交易的条件下,整个网络的吞吐量将得到提高。然而,这种方法会牺牲去中心化。

将L1网络上的交易转移到L2层,L2收集交易,然后将其发送到L1网络进行结算。这样,每批交易只需支付一次燃气费,而不是每笔交易都支付燃气费。

因此,所有交易均平均分担燃气费用,有效降低了每笔交易的成本。这样,L1成为L2上执行的所有交易的结算层。L2扩展解决方案可以解决L1的可扩展性问题,同时不牺牲去中心化和安全性。

当然,L2扩展解决方案也经历了从状态通道到Plasma再到Rollup的演变。目前,Rollup是最主流和潜力巨大的L2解决方案。

Rollup是指首先在链下进行复杂的计算和状态维护,然后通过使用更便宜的CALLDATA通过合约调用的方式将与状态变化相关的数据进行链上保存,通过将大量交易总结和打包为一笔交易,最终在保证数据可用性的前提下提高TPS。

Rollup解决方案的共同点是强调链上数据的可用性。也就是说,任何人都可以根据链上保存的数据恢复全局状态,从而消除由数据可用性问题引起的安全风险。

除了压缩链上计算量之外,零知识证明发挥作用的另一个方面在于确保数据的正确性。

ZK Rollup解决方案始于2018年下半年。这种解决方案的关键在于ZK。每个ZK Rollup解决方案的状态变化都需要由主链上的合约提供和验证零知识证明。

只有通过验证才能改变状态。也就是说,ZK Rollup的状态变化严格依赖于加密证明。(注:有关ZK Rollup原理的详细解释,请参考李华的《关于分层和跨链方法的清晰视角》)

当然,还有其他的Rollup解决方案,例如在2019年下半年形成的乐观Rollup。它不需要对每个状态变化进行严格的验证。

它首先乐观地假设每次变化都是正确的,然后在一定时间限制内对变化进行挑战。如果挑战成功,就证明之前的提交存在问题,提交者将受到惩罚,状态将被回滚。

也就是说,乐观Rollup的状态变化依赖于经济激励和博弈。

ZK Rollup的突出问题是难以实现可编程性,但这两年的技术发展似乎要突破这个瓶颈,zkEVM的实现可以实现可编程性;乐观Rollup最关注的问题似乎是当资金从Layer 2返回时,由于挑战期的延迟问题,但中介机构可提供预付服务。

因此,乐观Rollup解决方案的实施速度更快。但 zkEVM 可能更加具有潜力。

零知识证明的新星解决方案

在早期的零知识证明项目中,尽管Zcash和Monero在隐私保护方面表现出色,但它们只能作为价值存储的手段,难以与其他应用程序合作。

正如前文所述,在许多开发人员的努力下,零知识证明已经可以用于通用计算,并与智能合约相结合,以探索零知识证明技术的更大潜力。下面主要介绍今年上线的两个项目。

Aleo:通用隐私计算公链

Aleo项目于2019年正式成立,其成员包括来自Google、Amazon、Facebook等公司以及UC Berkeley、Johns Hopkins、NYU、Cornell等研究型大学的世界级密码学家、工程师、设计师和运营人员。

Aleo构建了zkCloud系统,用于保护身份和交易,而受保护的身份可以直接相互交互(例如资产转移)或通过智能合约进行编程。在典型的公共区块链中,程序在由每个网络节点运行的全局“虚拟机”(VM)上执行。因此,网络上的每个节点都必须重新计算(并共同批准)给定程序的每一步,这是低效的,降低了速度,并增加了用户的成本。zkCloud通过将应用程序的运行与区块链的状态维护(链上+链下)分离,并结合递归的零知识证明,解决了这些限制,使Aleo能够实现完整的可编程性和隐私保护,并具有更高的交易吞吐量。

Aleo构建了一种名为Leo的编程语言,这种语言对于零知识证明应用程序开发人员来说更加友好,为他们提供了更好的环境。Leo是一种受Rust启发的静态类型编程语言,专为编写私密应用程序而设计。

目前,Aleo网络已经经过了三轮测试,目前正在积极引导生态的发展,通过积分激励社区参与生态应用建设。Aleo是一条公链,其 Prover 是通过零知识证明参与网络建设,在前期的 Test3 中,有大约40多万张显卡参与测试,作为一个测试网,这是非常大的规模了。Aleo原计划今年三季度上线,按照目前的情况,预估可能在三季度末,或四季度上线。可持续关注。

Scroll:EVM的zk原生解决方案

Scroll Tech旨在构建一个与以太坊兼容的zk-Rollup,并建立一个强大的证明网络。经过数月的探索,他们取得了重大的技术进展。

Scroll的目标包括:

构建完全与EVM兼容的zk-Rollup。通过验证EVM执行过程中每个操作码的一致性和完整性,支持对以太坊区块的直接验证。这样,L1智能合约可以无缝迁移到Scroll上,而无需进行任何修改。

实现和标准化二层证明外包。Scroll设计了一个强大的外包机制,可以激励验证者为他们生成零知识证明。Scroll团队计划将此方案标准化,以适应更广泛的离链计算领域。这将开启一个新的证明市场。开发者可以在Scroll中部署复杂的合约,无需考虑Gas限制。许多新的应用可以通过离链方式实现,并将证明提交到链上。为此,团队还构建了全球最快的GPU和ASIC证明器。长期目标是实现完全去中心化,并减少MEV的影响。

升级到一种新的证明系统。Scroll计划采用一种新的分层零知识证明系统。第一层是高效的证明生成层,具备自定义电路优化和硬件高效证明算法。第二层是高效的验证层,具备简洁的证明和与EVM兼容的验证算法。相较于现有解决方案,该系统有潜力支持比EVM更大的程序和更多的功能,例如隐私保护。

Scroll Tech的这些进展在zk-Rollup和二层扩展解决方案领域具有重要意义,展示了他们在兼容性、效率和去中心化方面的承诺。

Scroll 在其Alpha测试中,已经接入了大量的应用,实现了其EVM应用程序可以直接移植到Scroll的承诺。预计 Scroll 主网在3个月内上线。Scroll 主网上线后,将进一步实现去中心化的 Prover网络,这样给予大家更多的参与机会。

金色财经

SevenUp DAO

金色图览

LK Venture

金色荐读

区块律动BlockBeats

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

AVAX“稀有聪”会成为下一个加密热潮吗?

来源:Martin Young,BeInCrypto 编译:金色财经,善欧巴 摘要 稀有聪(satoshi)可能具有很高的价值猎手们已经开始寻找这些难以捉摸的聪币安(Binance)持有1.2万个稀有聪 继今年 BTC-20 序号铭文.

[0:15ms0-2:201ms