撰文：孟铉济，Fox Tech 首席科学家；康水跃，Fox Tech CEO
Layer1作为一种分布式系统，为了达成共识需要高昂的通讯代价，并且大量的计算也会消耗昂贵的gas。所以，作为Layer1的扩展，Layer2的设计可以有效地提升Layer1的效率。但是从这个角度来说，Layer2的设计仍然面临着和Layer1一样的一大难题，就是如何平衡去中心化程度和高效性。
zkRollup是非常有前景的Layer2扩容方案，通过将计算搬到链下并向Layer1链上提供零知识证明的方式来实现。在实现zkRollup的方案当中，FOX系统采用了当下主流结构，主要有两种节点，分别是Sequencer和Folder。简单来说，Sequencer负责对用户提交的交易进行排序打包，并且更新Layer2链上状态，Folder负责对Sequencer打包的交易生成证明并提交到Layer1。
一个有意义的问题是，Layer2的节点是否应该是去中心化的，如果是，如何设计激励机制来保证这一点。因为可以想象，Layer1效率低的本质就是，为了实现去中心化每个节点都需要进行大量的计算和通讯。而使用了Layer2系统，将计算过程解耦，如果在这部分依然用完全等效于Layer1的去中心化模式，则又会因为同样的原因造成Layer2的拥堵，所以这里需要做权衡。
数据：某巨鲸从币安提出234万枚ARB:7月18日消息，据Lookonchain监测，约20分钟前，某巨鲸从币安提出234万枚ARB（价值约300万美元）。
据悉，过去3天，已有5条巨鲸共计从币安提出1050万枚ARB（价值约1350万美元）。[2023/7/18 11:02:29]
激励机制的设计就是通过调整Layer2节点获得激励手续费的方式以及平衡支付给Layer2节点的费用，来鼓励节点参与Layer2系统维护。本质上，Layer2节点收到的激励费用来源与以太坊一样，来自于提交交易的用户付出的Gas费。本文会探讨在FOX的系统当中，FOX的节点如何参与系统收取手续费，以及这样做的原因。
首先我们来回顾Gas费在以太坊系统当中的作用。Layer1的计算资源是有限的，用户提交交易时候会指定交易Gas费，Gas费基本同交易的执行操作复杂度相关，而在此基础上愿意支付更高昂的Gas费的用户可以获得更优先的交易执行。矿工的激励就来源于打包的区块的Gas费总和。此外，Gas费机制还可以有效防止恶意合约（例如无限循环），限制区块容量大小，这样在一定程度上保障了安全性。
网传小红书暂停数字藏品销售，客服回应“支持正常销售”:6月12日消息，近期，有传言小红书官方在5月4日发布一则公告，称平台将暂停“R-数字藏品”（包括R-数字作品，R-数字头像的虚拟商品）售卖，同时关闭该类别商品的发布和编辑权限。要求商家在5月15日前进行自检，自行下架相关商品；并在公告中宣布规则于5月18日生效。
对此，专业号人工客服否认传闻内容，表示：是支持的，并建议上传商品的推荐类目为文玩/手工艺 - 文玩爱好/收藏 - 收藏品保养/鉴定工具。
经查看，在搜索栏中输入“数字藏品”并查询，可以看到目前依然有大量数字藏品商品在售卖中，并没有公告中说的暂停售卖以及发布的影响。“小红书R-Space实验室”账号中可以看到大量数字藏品依然正常销售中，但官方账号最近一次更新为4月26日，相较于该账号之前大约三日一更的更新频率来说，这次停更长达一个月有余。[2023/6/12 21:31:22]
所以可以看出，对Gas费的合理利用，本质上是对链上计算资源的合理调度和分配，同时也是项目方、矿工和用户的多方博弈。好的激励机制的设计以及手续费的使用和分配对于系统运行至关重要。
LSDFi?总锁定价值突破3.8亿美元:金色财经报道，据Dune Analytics上数据分析师/img/2023525191653/0.jpg">
图1：原始版本的激励模式
然而在这种机制下，恶意的Folder会有一种很狡猾的攻击。
当某一个恶意的Folder，记作Adv，在完成了证明生成之后，一方面将证明提交到Layer1中的Verifier合约进行验证，另一方面它串通一些节点（或者就是该Folder控制的节点），将计算好的证明透露给这些节点，然后它们就可以不经过自己计算而直接将Adv计算好的证明提交，也可以领取到一部分奖励，而这个过程之中他们没有付出任何算力，从另一个角度来说，Adv通过较少的算力获得了多份的收益，并且造成其它节点即便生成了正确的证明也难以争抢过Adv。
图2：恶意Folder的攻击方式
在这个攻击当中，产生问题的原因是Verifier无法区分每一份证明是否由该Folder独立生成，因为证明值都是相同的。为了规避这个问题，我们需要将Folder的独特的地址信息加入到Folder提交的证明当中，从而使得每一个Folder提交的证明都只能是自己独立生成的而不能是其它节点提交的。
而融入这种信息的方法很巧妙，使用Fiat-Shamir heuristic（读者可以参考FOX之前的文章《如何将交互式证明改造为非交互式？Fiat-Shamir Heuristic！》来了解技术细节）。按照生成证明的过程计算，其中一步，证明者，也就是Folder需要通过哈希函数来生成一个随机挑战值，只需要要求在这个哈希的输入当中加入Folder的地址，就可以保证挑战值与Folder的地址相对应，且仍然是一个Folder无法预测和控制的随机数。
严格说明这种方法的安全性需要用到比较深入的密码学中理论安全的随机函数的概念以及不可区分性等等，我们不在这里详细讨论。简单来说，可以认为，由于哈希函数本身的安全性以及Fiat-Shamir heuristic结构的安全性，添加一个固定的值作为哈希的原像并不会破坏输出的不可预测性，所以原来zkp算法的安全性仍然可以保证。
这样一来，每个Folder就必须独立进行证明生成而不能直接利用其它节点结果，从而实现了我们的目标。
图3：修改后的激励模式
本文从节点手续费的重要作用角度出发，介绍了手续费与如何激励节点参与系统维护之间的联系，同时指出，好的激励机制可以有效地维护系统安全性。在此基础之上，我们详细讨论了FOX当中采用的对于Layer2的Folder的激励机制，并且解释了这种做法的合理性，以及技术上如何巧妙地运用Fiat-Shamir heuristic来实现这一点。
《深度｜迭代与竞争——以太坊的 Layer2 扩容之路》国盛区块链研究院 https://www.theblockbeats.info/news/24443
FoxTech
个人专栏
阅读更多
金色荐读
金色财经 善欧巴
Chainlink预言机
区块律动BlockBeats
白话区块链
金色早8点
Odaily星球日报
欧科云链
深潮TechFlow
MarsBit
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。