Harmony:zkEVM 背后的技术发展:从多项式承诺到硬件加速

大家好,新年快乐。2023年是zk-rollups的一年,零知识技术将取得重大进步。本周我们将探索零知识技术的各个方面。不光本周,今年我的内容都将重点关注零知识技术,因为这是圣杯。

在上一篇文章中,我们研究了zkEVM面临的挑战。在本文中,我们将研究使zkEVM成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动zkEVM进步的四项技术进展:

1多项式承诺

在零知识证明中,多项式承诺方案被用来灵活有效地反映证明的约束条件。使用零知识证明协议时,证明者必须向验证者证明他们知道特定数据,但不透露该数据是什么。这通常是通过构建数学论证或「证明」来实现的,该论证或「证明」以某种方式依赖于见证,但并不直接揭示见证。

北京:加快北京人工智能公共算力中心、北京数字经济算力中心等项目建设:金色财经报道,5月30日,北京市政府办公厅正式发布《北京市促进通用人工智能创新发展的若干措施》。其中提出,提升算力资源统筹供给能力。实施算力伙伴计划,与云厂商加强合作,提供多元化优质普惠算力。加快北京人工智能公共算力中心、北京数字经济算力中心等项目建设,形成规模化先进算力供给能力。实现异构算力环境统一管理、统一运营,提高环京地区算力一体化调度能力。[2023/5/30 11:48:20]

一种方法是使用一种称为「带有特定于应用可信设置中编码的PCP查询的R1CS」的方法。。

肯尼亚法案提议扩大证券的定义以纳入加密资产:金色财经报道,肯尼亚议会将讨论一项提议将区块链和加密资产纳入资本市场管理局管辖范围的法案,该法案还提议扩大证券的定义以涵盖数字货币。此外,从监管机构获得许可证的人还需要保留所有数字货币交易的记录,并对任何收益纳税。(Bitcoin.com)[2023/4/4 13:43:56]

上述会涉及构造一个电路对证明的约束进行编码,然后使用称为「PCP查询」的特殊类型的查询来检查电路是否正确。然而,这种方法的一个限制是电路尺寸可能变得非常大,从而使证明效率低下。此外,它只能使用双线性配对来编码约束,这限制了可以使用的优化种类。

约4704万美元BTC从Gemini转出至未知钱包:金色财经报道,1999枚BTC于今日06:57从Gemini转出至未知钱包,价值约4704万美元。[2023/3/2 12:37:44]

多项式承诺方案可以以更灵活和有效的方式来表示证明的约束。使用多项式承诺方案,可以将约束「提升」到任意阶数。这使得可以使用的优化种类具有更大的灵活性,并且还可以通过减小电路尺寸来提高证明的效率。此外,多项式承诺方案可以与「通用设置」或「透明设置」一起使用,后者指的是方案的实现方式。

2查找表证明和自定义小组件

FBI参与调查Harmony跨链桥黑客攻击事件:金色财经报道,由Layer1公链Harmony开发的以太坊与Harmony链间资产跨链桥Horizon遭到攻击后,Harmony在其官方社交媒体账户上披露,美国联邦调查局(FBI)和多家网络安全公司将参与调查本次事件。Horizon 跨链桥允许用户在以太坊、币安智能链 (BSC) 和 Harmony 区块链之间交换代币、稳定币和 NFT 等资产。Harmony 在另一条推文中表示,该漏洞并未影响其比特币跨链桥,并且存储在分散式保险库中的资金和资产“目前是安全的”。[2022/6/25 1:30:21]

查找表和自定义小组件是可用于优化某些类型计算机程序性能的技术。这些技术最初是在Arya和Plookup系统中提出的,后来在TurboPlonk和UltraPlonk中得到完善。查找表对于优化执行按位运算的程序特别有用,并且可以使用自定义小组件来有效地实现高阶约束。总之,这些技术可以帮助减少以太坊虚拟机(EVM)电路的开销并提高其效率。

查找表和自定义小组件等技术可用于通过减小电路尺寸和提高某些类型操作的效率来优化zkEVM。这有助于使zkEVM更加实用和可扩展。

3递归证明

递归证明是一种通过将计算分解为更小的部分并独立证明每个部分来证明计算正确性的方法。在零知识证明系统中,这个过程可能涉及证明一个证明,且多个证明可以聚合成一个证明。过去,配对友好的循环椭圆曲线用于支持递归证明,但这些可能在计算上很昂贵。然而,已经开发出更新的方法,可以用更少的计算量实现递归证明。例如,Halo可以使用内积证明这一特定类型的数学概念来降低递归成本,而Aztec可以使用查找表来降低非原生域操作的成本并提高验证过程的效率。这些方法可以通过提高方法的效率来增加方法的可扩展性。以后的帖子中会进一步解释这一点。

?4硬件加速器

ASIC、GPU和FPGA等硬件加速器可以帮助提高零知识证明系统中证明者的计算性能。在零知识证明系统场景下,硬件加速器可用于加速生成和验证证明结构的过程,这是计算密集型的。

总之,多项式承诺、查找表证明和自定义小组件、递归证明和硬件加速等技术发展都对zkEVM的进步和更广泛的零知识技术领域发挥了至关重要的作用。这些创新为构建和验证零知识证明提供了更高效和可扩展的方法,并为在各种应用中使用zkEVM开辟了新的可能性。随着零知识技术领域的不断发展和演变,这些和其他技术进步很可能会继续推动进步并推动新的和令人兴奋的应用的开发。

资源:https://scroll.io/blog/zkEVMhttps://coingeek.com/recursive-zero-knowledge-proofs-proof-of-a-proof-of-a-proof/https://www.zeroknowledgeblog.com/index.php/the-pinocchio-protocol/r1cshttps://en.m.wikipedia.org/wiki/Probabilistically_checkable_proof

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

金星链

FTXTALI:盘点:Vitalik 2022年思维脑图

随着以太坊生态日益繁荣,Vitalik的市场影响力已不止于以太坊社区本身。在过去的2022年,这位以太坊社区领袖、头部公链项目创始人,发表多篇与去中心化交易、社交、身份证明相关文章,在加密社区掀.

[0:15ms0-1:13ms