区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > FTX > 正文

LON:从 AIRs 到 RAPs —— PLONK 式的算术化如何工作_Ploutoz

作者:

时间:

我们在这篇文章中解释了如何思考和利用PLONK中使用的算术化类型。在其最一般的形式中,我们将这种算术化称为带预处理的随机性Air,简称RAP。然而,在实践中,处理RAP的约束情况通常会变得便利,我们称之为turbo-Plonk和ultra-Plonk程序。在本文中,我们将解释以上所有这些术语!

我们的起点是AlgebraicIntermediateRepresentations-AIRs;这是?STARKWARE?使用的算术化。

AIRs

一个?AIRP?在一个域?F?有长度为?n,和宽度为?w。

P?由一组?2w?个变量,预定义阶数?d?的约束多项式?定义?{f?i??}?。

P?的执行轨迹?T?由?F?的元素长度为?w?的?n?个向量组成。我们认为是“行宽?w”。

T?是有效的,如果将任意两个连续行??的?2w?值替换为任何约束多项式?fi,则计算结果为零。

STARK可以证明我们知道有效?P?的执行轨迹与一些验证者定义的边界约束一致:例如,我们可以要求轨迹的第一行的第一个值应该为零。

Yield Protocol:已从 Euler Finance 遭攻击影响中完全恢复:6月27日消息,固定利率借贷协议 Yield Protocol 宣布已从 Euler Finance 遭攻击影响中完全恢复。3 月中旬,Euler Finance 遭到黑客攻击,损失金额近 2 亿美元,之后攻击者归还全部盗取资金。由于 Yield 的流动性提供者系统中的一些资金存放在 Euler 中,因此也受到了影响。[2023/6/28 22:04:12]

让我们看一个经典的例子——斐波那契数列。

我们使用宽度?w=2;作为边界条件,我们要求第一行包含两个。然后我们使用约束多项式

有效的长度轨迹?n=4看起来像这样:

也就是说,有效轨迹必须包含斐波那契数列的连续元素。因此,在第四行的第二个值21上添加边界条件将验证这确实是正确的第8个斐波那契元素。

PAIRs-带有预处理列的AIRs

在一个预处理AIR(PreprocessedAIR),或者说PAIR?T,我们有一个额外的参数?t,并且?t?预处理/预定义了列?c1,…,ct∈F^n。除了证明者提供的?w?列外,一个执行轨迹现在还包括?{ci}?。(我们将证明者提供的列称为执行轨迹的见证部分。)

Juno Network 发布向从 Terra 迁移至 Juno 上项目提供激励的提案:5月15日消息,Cosmos 生态智能合约公链 Juno Network 发布向从 Terra 迁移至 Juno 上项目提供激励的提案。该提案建议提供 100 万枚 JUNO(社区池提供 70 万,发展基金提供 30 万),用于项目迁移和持续开发,且该部分资金将由多签地址管理。[2022/5/15 3:17:19]

举例来说当?t=1,w=2,n=4,执行轨迹可能如下所示:

这个多项式约束?fi?将有?2(t+w)?个变量——换句话说,预定义值?ci,j?参与了约束。

为了说明PAIRs强大的功能,让我们看看如何使用它们来模拟AIR,其中不同行的约束不同。???一个天然的例子就是AIR,其中对于某些行,我们希望执行的行值相加;对于其他行,我们希望执行乘法。

为此,我们将PAIR?P?定义如下:我们设置?t=1,并将列?c1??定义为行中的一员,当然我们想要相加时为1,以及当我们要相乘时为0。

ENS 发起新提案,计划将过期域名的临时溢价从 2000 美元提高到 10 万美元:1月10日消息,以太坊域名项目ENS 现已在Snapshot发起对最新治理提案的投票,计划将过期域名的临时溢价起始价格从 2000 美元提高到 10 万美元,每小时下调150美元,并在28天后降低为0,以防止域名“狙击”的情况。[2022/1/10 8:37:41]

P的单约束多项式为:

变量?C1??是从预定义的列?c?1??分配的。

很明显,根据?c1?的值强制执行加法或乘法关系。

例如,在我们希望执行两次加法然后执行一次乘法的程序中,执行轨迹可能如下所示:

因为可以通过这种方式使用预定义的列来选择操作,所以它们通常被称为“选择器(selecors)”。???

门(gate)之间交替:

上面的例子示意并建议了人们设计PAIR的典型方式:我们预定义了几组约束,将每一组视为一个“门”。然后,在设计我们的最终程序时,我们将这些门分配给每一行。如上例所示,选择器将用来为我们的程序“编译”成PAIR。

Audius、DODO、Livepeer 等应用从 The Graph 托管服务迁移到主网:6月11日消息,区块链数据索引项目 The Graph (GRT)表示,Audius、DODO、Livepeer、mStable、Opyn、PoolTogether、Reflexer 和 UMA 等应用现已完全从 The Graph 的托管服务迁移到主网,成为 The Graph 主网上的 10 个子图,且均可使用 GRT 来支付网络使用费。[2021/6/11 23:29:40]

值得注意的是,除了使用选择器在门之间切换外,很多时候门本身也会使用选择器来实现更大的灵活性。一个典型的例子是通过预定义点添加椭圆曲线的门-预定义点将在选择器的值中编码。

RAPs-插入验证者随机性的PAIRs

我们的最终模型是允许多轮交互,其中验证者发送域中随机元素,而证明者可以在看到这些域元素后随后添加更多列。

约束多项式现在可以使用验证者随机性作为附加变量。

我们将这样的程序称为RAP(RandomizedAIRwithPreprocessing)。

NuCypher 已将共享策略访问周期持续时间从 24 小时延长至 7 天:据官方消息,隐私基础设施 NuCypher (NU)的关于将共享策略访问周期持续时间以提升 Worker (节点运营方和质押者)潜在回报的第一项升级提案现已获得通过,且已执行。目前,NuCypher 已将周期从 24 小时延长至 7 天,可降低 Worker 在链上作出承诺所需的累积 Gas 成本。[2021/4/15 20:21:32]

让我们用下面的例子来说明RAP。假设我们有一个宽度为2的AIR,并且想要检查证明者提供的列是否是彼此的排列。

假设这些列的值为?a1,…,an,b1,…,bn。

从Schwartz-Zippel引理我们知道,要检查它们是否是彼此的排列,只需检查对于统一选择的γ∈F,我们有很高的概率。

上等式右侧的因子都是非零的,在这种情况下,这相当于

一个RAP长度为n+1和总宽度为3可以很容易地检查:

证明者首先发送列?(a1,…,an,0),(b1,…,bn,0)验证者随机发送γ∈F。证明者发送第三列?(1,z1,…,zn)?这样对于每个i∈

如果?z?是这样定义的,我们的排列检查相当于检查?zn=1。我们可以将其添加为边界约束。

此外,程序必须检查?z?确实是这样定义的。

以此目的

为了说明,下面是这个程序的有效执行轨迹,是当?b?只是?a?的一个移位时:

这里可能在哲学上很有趣的是,随机性使局部约束能够验证全局属性。

turbo-PLONK和ultra-PLONK程序-便于RAPs的特别用例

RAPs比PAIRs更强大,但是对于程序设计通常想到一个PAIR是很方便的,同时允许自己将RAP的一些特殊功能使用黑盒,稍后,这个程序会编译成最后的RAP。

RAP的一种非常有用的特殊功能是强制复制约束。

这意味着强制轨迹的某些元素相等。例如“第一列的第二个元素?a?2???必须等于第二列的第40个元素?b40??”。这就赋予了程序一定的长时记忆能力。

turbo-plonk程序?是一个PAIR,具有在执行轨迹的任意两个元素之间定义复制约束的额外能力。

“在turbo-Plonk中编程”的实用方法:

复制约束使设计人员能够抽象出对执行轨迹和PAIR的明确思考,而是设计如下程序:

我们有一组见证变量,其值只能在程序中设置一次。我们在每个步骤中选择将哪个门应用于哪些变量。上面的内容可能看起来微不足道,也并没有说太多。然而,复制约束对于这种简化的设计方法至关重要的原因是,当见证变量参与两个门时,复制约束将确保两个门中确实使用相同的值,即使它们最终可能会出现在实际RAP中完全不同的行。

ultra-Plonk编程

一个ultra-Plonk程序???是一个turbo-Plonk程序,带有一个额外的、非常强大的门类型,称为查找门。

这意味着作为设计程序的一部分,我们定义了一组表?T1,...,Tk。这些表的元素是一定长度?t的域元素的元组(tuples)。

现在,在设计程序时;我们被允许使用具有以下形式的查找门:“检查这些?t?witness变量的元组是否在表?T4?中”。

在这一点上,从RAP到具有此类功能的程序的飞跃似乎有点神奇。有关如何通过我们在上一节中展示的多重集检查确实可以实现复制约束和查找表的详细信息,请参阅这篇文章。

何时使用lookupgates

启用查找门在最终的SNARK中有很大的成本;根据经验,一旦查找次数与表一样大,它就会得到回报。

总的来说:

对于程序设计者来说,使用turbo和ultra-plonk程序通常会很方便,考虑将哪些门应用于哪些见证变量。这已经很底层了,而且足够复杂和通用!然而,有时最好记住引擎盖下有一个RAP,当需要时,可以利用验证者的随机性来获得更具体/更有效的功能。

这一切与R1CS有什么关系?

如果你熟悉SNARK开发和文献,可能已经看过R1CS约束格式,其中所有约束都具有以下形式

R1CS很好地捕捉了从到Groth优化版本的一系列作品的约束格式。这项工作依赖于检查指数中秘密元素的验证者方程。正如我们目前拥有的加密货币k-线性映射仅适用于k=2个,R1CS确实是这些协议可以使用的最通用的约束形式。

然而,构建SNARK的多项式IOP方法支持更灵活的约束格式。特别是,可以使用大于二的阶数约束。

当使用GGPR方法时,R1CS有一个很好的理论优势——不需要随机预言机模型;还有一个很好的实际优势——证明者组指数的数量不依赖于加法门的数量或fan-in。然而,获得这些优势需要为每个电路的做可信设置。

假设我们正在使用Sonic、Plonk和Marlin这样的通用设置系统,可能更难说我们应该将自己限制在R1CS上。

标签:AIRRAPPLOLONAir CoinRAP币PloutozWOOLONG价格

FTX热门资讯
RBI:CrossSpace与百度希壤达成合作伙伴关系,共创包容协作Web3生态_元宇宙

?2023年1月,CrossSpace与国内首个元宇宙产品百度希壤宣布达成合作伙伴关系,共同探索元宇宙在全球Web3社交场景下的更多应用.

Arbitrum:Arbitrum上的协议:创新的代币经济学和透明的机制_arb币最新消息

DeFi的创新之路举步维艰,每个协议都是GMX的分叉或Uniswap的分叉。但现在出现了一个协议,它旨在以其尖端的技术和设计彻底改变空间.

ARBI:盘点:以太坊上的社交 ZK 项目_BIT

在以太坊生态系统中,使用零知识证明(ZKPs)来改善隐私和可扩展性的工作非常有前景的。我想重点强调的是,还有一小部分人专门致力于以太坊上的ZKP技术的社交应用.

WEB:2022年回顾:谁是最好的Web3游戏区块链?_Milady Meme Coin

在过去12个月里,区块链技术在电子游戏中的应用一直是一个被讨论的常规话题。因此,我们的团队决定对2022年的最佳游戏区块链进行排名.

RAP:为什么说NFT凉不了?经久不衰的meme文化又火起来了_PAI

这是白话区块链的第1828期原创?作者|VA编译|火火出品|白话区块链加密资产Meme在2021年牛市期间崛起,记录了以DOGE为代表的meme资产的价值飞速飙升.

PLE:12 条主流公链的估值框架和市值预测:哪些被高估或者低估了?_1Tronic Network

在任何时间点,你都可以认为区块链平台的估值是由3个方面决定,包括:采用和使用平台护城河加密市场条件这3个因素如何影响代币的估值/市值? 1.采用和使用: 这是基本的估值驱动因素.