谈谈Layer2的激励机制:Fiat-Shamir heuristic在FOX的又一次妙用

前言

Layer1作为一种分布式系统,为了达成共识需要高昂的通讯代价,并且大量的计算也会消耗昂贵的gas。所以,作为Layer1的扩展,Layer2的设计可以有效地提升Layer1的效率。但是从这个角度来说,Layer2的设计仍然面临着和Layer1一样的一大难题,就是如何平衡去中心化程度和高效性。

zkRollup是非常有前景的Layer2扩容方案,通过将计算搬到链下并向Layer1链上提供零知识证明的方式来实现。在实现zkRollup的方案当中,FOX系统采用了当下主流结构,主要有两种节点,分别是Sequencer和Folder。简单来说,Sequencer负责对用户提交的交易进行排序打包,并且更新Layer2链上状态,Folder负责对Sequencer打包的交易生成证明并提交到Layer1。

一个有意义的问题是,Layer2的节点是否应该是去中心化的,如果是,如何设计激励机制来保证这一点。因为可以想象,Layer1效率低的本质就是,为了实现去中心化每个节点都需要进行大量的计算和通讯。而使用了Layer2系统,将计算过程解耦,如果在这部分依然用完全等效于Layer1的去中心化模式,则又会因为同样的原因造成Layer2的拥堵,所以这里需要做权衡。

HaruI nvest:将于9月7日提供有关康复法院的更具体信息:金色财经报道,Haru Invest发文称,将于下一个质询日9月7日提供有关康复法院的更具体信息,并在必要时转达我们对资产分配策略的看法。

用于客户分配的资产和用于公司运营费用的资产是分开的。自6月13日暂停提现服务以来,公司的业务活动已停止,公司的运营支出仍然受到限制,因此资产已报告枯竭。分配给会员的资产一定要单独管理;恢复过程正在通过外部管理合作伙伴不断进行。[2023/8/21 18:12:00]

激励机制的设计就是通过调整Layer2节点获得激励手续费的方式以及平衡支付给Layer2节点的费用,来鼓励节点参与Layer2系统维护。本质上,Layer2节点收到的激励费用来源与以太坊一样,来自于提交交易的用户付出的Gas费。本文会探讨在FOX的系统当中,FOX的节点如何参与系统收取手续费,以及这样做的原因。

高盛申请一项涉及KYC的专利:金色财经报道,6 月,高盛提交了一项?专利申请?,旨在支持加密货币世界和更广泛的分布式账本 (DLT) 中的部分银行业务。高盛在专利序言中指出,在加密货币世界中,代币与其所有权之间存在一对一的关系。现有方法的技术限制使得使用许多涉及此类加密货币杠杆的强大金融技术变得不切实际。

此外,高盛最近的一项专利申请涉及KYC,并在区块链上存储唯一标识符,该标识符对应于经过审查的链下身份?。[2023/8/17 18:06:22]

Gas的作用

首先我们来回顾Gas费在以太坊系统当中的作用。Layer1的计算资源是有限的,用户提交交易时候会指定交易Gas费,Gas费基本同交易的执行操作复杂度相关,而在此基础上愿意支付更高昂的Gas费的用户可以获得更优先的交易执行。矿工的激励就来源于打包的区块的Gas费总和。此外,Gas费机制还可以有效防止恶意合约,限制区块容量大小,这样在一定程度上保障了安全性。

MBE 3D元宇宙游戏运营方香港加密狗公司与新加坡DOGE社区签署共持协议:1月20日消息,NirvanaMeta将游戏源代码出售后,全球运营方香港加密狗现与新加坡DOGE社区签署了一份共持协议。协议生效之日起。DOGE社区用户将可通过支付相应的DOGE来可获得MBE 3D链游的NFT属性账号。

香港加密狗透露该NFT账号将定价约800U价值的DOGE。目前该链游,打金过程中每天收入约为47U,85天累计收益4000U(打金收益分配:30% DOGE其余70%为MBE)该NFT属性账号等级如达85级则将停止收入。随着MBE 3D链游的不断拓展。该NFT账户也能继续参与该链游内的其他打金活动。[2023/1/20 11:22:59]

所以可以看出,对Gas费的合理利用,本质上是对链上计算资源的合理调度和分配,同时也是项目方、矿工和用户的多方博弈。好的激励机制的设计以及手续费的使用和分配对于系统运行至关重要。

广州金管局局长:数字人民币试点已在11类特定领域落地特色应用场景:金色财经报道,广州市地方金融监督管理局局长邱亿通4日在IFF全球年会大湾区圆桌会议上表示,近年来,广州牢牢把握大湾区建设的重大机遇,全面提升广州金融发展能级,加快打造粤港澳大湾区国际金融枢纽核心引擎,取得了三个方面的积极成效。其中:金融改革创新有新突破。广州市绿色金融改革创新试验区在全国六省九地试验区成效自评价中连续四次排名第一,绿色信贷规模、绿色债券发行量均居各试验区首位。今年以来广州先后获批跨境贸易投资高水平开放试点、数字人民币试点、国家区块链创新应用金融科技领域试点。数字人民币试点已在11类特定领域落地特色应用场景,其中以数字人民币发放人才奖励补贴、支付平行进口汽车款、在线缴付竞价保证金等多项为全国首创。[2022/12/4 21:21:44]

交易上链流程

用户提交交易给FOX系统当中的交易池同时要附加一笔用来激励FOX节点的手续费,然后系统中的Sequencer节点将从交易池中抓取交易进行打包排序,这里每次打包的交易就构成Layer2的区块,同时Sequencer需要执行交易计算,并将计算结果传到Layer1的FOX合约当中,并且,Sequencer还需要将交易数据存到ZK-Ringer当中来保障数据可用性。之后,Sequencer的排序结果以及计算结果会传给Folder节点,Folder正确计算证明并传到Layer1的合约当中。在这个过程中,Sequencer对于交易的执行结果会在执行结束之后直接更新到Layer2当中,而交易真正被Layer1共识的时间节点可以认为是Folder的证明被验证之后。

Zipmex交易所向新加坡法院申请将债权人保护期限延长至2023年4月:11月18日消息,据官方公告,东南亚加密货币交易所 Zipmex 已向新加坡法院提交申请,要求将其在新加坡的(债权人保护)暂停期延长至 2023 年 4 月 2 日。

此前消息称,Zipmex交易所或将签署超1亿美元的救助计划。[2022/11/18 13:22:15]

可以看到,在这个流程当中,用户最初附上的手续费要涵盖几个用途:

支付给Sequencer的手续费

支付给Folder的手续费

Sequencer将交易结果提交到Layer1的Gas费

Sequencer将信息存储到ZK-Ringer的手续费

Folder调用合约的Gas费

为此,我们需要梳理具体的机制来激励各方参与。

FOX的激励机制

FOX的激励模式比较新颖。首先,为了平衡去中心化和效率的问题,我们将节点的角色分为负责排序以及执行交易的Sequencer节点,以及负责对交易执行正确性生成证明并聚合的Folder节点。FOX的Folder节点采用了去中心化的模式,也就是说任何FOX矿工都可以接入网络担任证明生成者,为了鼓励更多节点的参与,成功提交正确证明到Layer1合约的Folder可以获得代币奖励。与此同时,为了避免算力浪费,我们指出,并不是只有第一个证明提交者可以获得奖励,在第一个证明提交者成功提交之后的一个时间窗口和数量窗口内,所有正确的证明者都可以获得奖励。

图1:原始版本的激励模式

然而在这种机制下,恶意的Folder会有一种很狡猾的攻击。

当某一个恶意的Folder,记作Adv,在完成了证明生成之后,一方面将证明提交到Layer1中的Verifier合约进行验证,另一方面它串通一些节点,将计算好的证明透露给这些节点,然后它们就可以不经过自己计算而直接将Adv计算好的证明提交,也可以领取到一部分奖励,而这个过程之中他们没有付出任何算力,从另一个角度来说,Adv通过较少的算力获得了多份的收益,并且造成其它节点即便生成了正确的证明也难以争抢过Adv。

图2:恶意Folder的攻击方式

在这个攻击当中,产生问题的原因是Verifier无法区分每一份证明是否由该Folder独立生成,因为证明值都是相同的。为了规避这个问题,我们需要将Folder的独特的地址信息加入到Folder提交的证明当中,从而使得每一个Folder提交的证明都只能是自己独立生成的而不能是其它节点提交的。

而融入这种信息的方法很巧妙,使用Fiat-Shamirheuristic。按照生成证明的过程计算,其中一步,证明者,也就是Folder需要通过哈希函数来生成一个随机挑战值,只需要要求在这个哈希的输入当中加入Folder的地址,就可以保证挑战值与Folder的地址相对应,且仍然是一个Folder无法预测和控制的随机数。

严格说明这种方法的安全性需要用到比较深入的密码学中理论安全的随机函数的概念以及不可区分性等等,我们不在这里详细讨论。简单来说,可以认为,由于哈希函数本身的安全性以及Fiat-Shamirheuristic结构的安全性,添加一个固定的值作为哈希的原像并不会破坏输出的不可预测性,所以原来zkp算法的安全性仍然可以保证。

这样一来,每个Folder就必须独立进行证明生成而不能直接利用其它节点结果,从而实现了我们的目标。

图3:修改后的激励模式

结语

本文从节点手续费的重要作用角度出发,介绍了手续费与如何激励节点参与系统维护之间的联系,同时指出,好的激励机制可以有效地维护系统安全性。在此基础之上,我们详细讨论了FOX当中采用的对于Layer2的Folder的激励机制,并且解释了这种做法的合理性,以及技术上如何巧妙地运用Fiat-Shamirheuristic来实现这一点。

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

银河链

UNI2023年元宇宙五大趋势已定 如何夺得先机?

在2022年,如果不碰到“元宇宙”一词,就很难行动。继Facebook在2021年底更名之后,几乎每个公司都渴望让我们了解他们对数字世界的愿景,让我们可以在一个虚拟平台上工作、娱乐和社交.

DYDXWeb3游戏可以从夜店经济中学到什么?

夜店经济属于荷尔蒙经济,古老的经济模型经久不衰。游戏其实也算荷尔蒙经济,那么Web3游戏,可以从经典的夜店经济里获得什么新的灵感呢?推荐阅读本文,绝对脑洞大开.

火星币加密怀疑论者需要的加密用例

我们现在尽可以乐观一点,但这是一个一次暴雷后就会损失浪费数十亿美元风险投资的行业。我们身在其中,尽管我们付出了那么多努力,但我们还有什么可以拿出来证明一个为期多年的牛市将至.

[0:15ms0-1:169ms