链资讯 链资讯
Ctrl+D收藏链资讯
首页 > OKB > 正文

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

作者:

时间:

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

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

1多项式承诺

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

数据:Optimism总锁仓量超12亿美元,7日涨幅超36%:8月4日消息,据 L2BEAT 数据显示,截至 8 月 2 日,以太坊 Layer 2 解决方案 Optimism 链上总锁仓量为 12.2 亿美元,7 日涨幅达 36.36%。

截止发稿,其治理 Token OP 报价 2.109 美元,24 小时涨幅 25.9%。[2022/8/4 3:31:28]

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

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

利率交易协议Pegasus Finance已上线以太坊Layer2扩容方案Optimism:金色财经消息,利率交易协议Pegasus Finance已上线以太坊Layer2扩容方案Optimism,用户可交易Aave上USDC的存款利率与永续合约产品Squeeth上的资金费率。[2022/4/20 14:37:02]

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

Vitalik 提出基于 Truebit 搭建 EVM Optimistic Rollup 的方案:5月2日,以太坊创始人 Vitalik Buterin 在以太坊研究论坛中提出,可基于交互式验证协议 Truebit 搭建以太坊二层扩容方案 Optimistic Rollup 以解决重复验证问题,并给出了基本方案。

Truebit 可以使智能合约以标准的程序语言安全地执行复杂的计算从而降低 gas 费用,该协议已于 4 月 21 日上线以太坊主网。[2021/5/2 21:17:41]

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

意大利支付公司SIA与金融科技公司Wizkey合作提供基于区块链的信用交易:1月28日消息,意大利支付公司、CDP Equity的子公司SIA,已与金融科技公司Wizkey合作提供基于区块链的信用交易。根据新闻稿,SIA宣布与Wizkey合作推出一项新举措,使银行、金融运营商和基金等金融机构能够利用区块链技术交易信贷,包括不良贷款(NPL)。(BTCManager)[2021/1/28 14:13:01]

查找表和自定义小组件是可用于优化某些类型计算机程序性能的技术。这些技术最初是在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

标签:OPTARBArbitrumPTIoptc币最新价格ethylenecarbonatearbitrum币圈名称Subscriptions

OKB热门资讯
WEB:如何依靠加密货币波动率指数来获取收益?_Women Empowerment Token

从价格上看,这段时间相当无聊,BTC在很小的价格范围内波动......这是风暴前的平静?加密货币波动率指数几乎在历史最低。如果你预测未来将会发生一些波动,那么你就可以利用CVI来赚钱.

TPS:IBC 协议 2022 年主要进展回顾和 2023 年目标展望_WEB

2022年对于IBC跨链通信协议来说是进展丰硕的一年。在新链集成、功能和改进方面,IBC在2022年无疑巩固了它作为区块链互操作黄金标准的地位。另一方面,跨链生态继续蓬勃发展.

PTI:Optimism 和 Arbitrum 链上数据对比:有哪些有趣现象?_IMI

借OP?暴涨的契机,此条推特线程来聊一聊Optimism和Arbitrum链上数据的有趣现象。过去两周,Optimism链上活跃度反超Arbitrum(蓝线穿过红线).具体来看,体现链上活跃度的.

PTI:2023 年比特币投资者应关注的 7 个因素_True Flip

比特币杂志PRO在比特币网络中看到了令人难以置信的强大基本面,我们在宏观经济趋势的背景下,激光聚焦于其市场动态。比特币的目标是成为世界储备货币,这是一个不可低估的投资机会.

TER:Createra:Free Mint到1.75 ETH,a16z领投的新元宇宙土地_TERA

在今日的快速拉升之前,Createra没有受到太多的关注,不过,这丝毫没有影响Createra的市场表现.

DVT:Web3 开发者的不同层级_ETH

2022年9月15日,以太坊区块链完成了7年以来最重要的合并,即从PoW过渡到权益证明PoS共识机制.