以太坊已经确认了以Rollup为中心的2.0路线图，这让Rollup成为了炙手可热的技术，也可以说已经成为了layer2扩容的主流技术。如果与零知识证明证明搭配起来，Rollup会是layer2技术里解决方案的集大成者。
但正所谓“没有绝对安全的系统”，Rollup同样存在一定安全隐患，以太坊研究者论坛的开发者已经在讨论此事。1月20日，以太坊开发者「jchancehud」发布了关于虚拟Rollup攻击的讨论。
以下为关于虚拟Rollup攻击的讨论。经白计划团队整理，有所修改和批注。
Rollup的安全风险原因
模拟Rollup攻击的基本原理是：只要虚拟状态有效，任何以太坊节点都可以向OptimisticRollup协调员撒谎。而协调员只有在尝试发送交易或切换以太坊供应商时才会发现这一点。
OptimisticRollup是通过在以太坊网络上使用calldata存储块信息来进行。这各过程允许任何人操作以太坊节点并下载Rollup状态。但实际上，有些人不会操作他们自己的以太坊节点，而是依靠托管解决方案。
美国将撤销对SBF的非法竞选捐款指控:金色财经报道，美国检察官Damian Williams周三在给法院的一封信中写道，根据对巴哈马的条约义务，美国政府不打算就竞选捐款指控对FTX创始人Sam Bankman-Fried（SBF）进行审判。SBF在去年10月份的庭审中面临13项竞选资金捐献指控，SBF曾对五项指控的有效性提出异议，辩称这些指控不属于引渡协议的一部分，而引渡协议为他在12月返回美国铺平了道路。政府将这些指控从去年10月份的审判中分离出来，基本上将案件一分为二。[2023/7/27 16:01:31]
需要验证有效性
如果要快速低成本地构建有效的Rollup链，需要做的是进行交易、构建状态并将其存储在以太坊网络以外的其他位置。当Rollup协调员从以太坊节点接收状态历史记录时，协调员可以通过重播状态交易来确定数据是否有效。然而，协调员不能确定链上是否存在该状态，最好的办法是询问以太坊节点。
如果出现人为攻击
如果想象一个名为Untrust的以太坊节点服务。Untrust为以太坊dapp提供了低成本的基础架构。如果他们选择不信任，则可以查看特定的Rollup并创建虚构的历史记录。他们甚至可以通过从某些真实交易中提取通信数据并将其与虚拟交易混合来创建半虚拟历史。
美国SEC：Sparkster必须向受害者支付超3500万美元和解金:9月20日消息，据官方公告，美国证券交易委员会（SEC）命令加密公司Sparkster及其首席执行官Sajjad Daya就“未注册的加密资产发行”向受害投资者支付超过3500万美元的和解金，并要求采取额外措施保护投资者，包括禁用代币以防止其未来出售。Sparkster同意销毁其剩余的代币，要求从交易平台上移除其代币，并在其网站和社交媒体渠道上发布SEC的命令。
SEC表示，Sparkster于2018年提供”SPRK代币“的加密资产证券，并从4000名投资者筹集了3000万美元。SEC的命令认定Sparkster和Daya违反了1933年证券法的发行登记规定。关于此案，美国证券交易委员会还指控加密投资者和YouTuber Ian Balina参与推广。
此前报道，美国SEC已指控Ian Balina推广未注册的加密代币SPRK。[2022/9/20 7:07:20]
这样，他们将创建一个完全不同的当前状态哈希，但只有在使用Untrust的Rollup运算符去提交一个块的情况下，这才会被发现。
美国能源部提出非法加密挖矿恶意软件的解决方案:2月26日消息，美国能源部（DOE）的科学家要求私营部门提供帮助，以帮助商业化超强大的加密劫持检测算法，政府官员认为该算法可以帮助数据中心克服加密矿开采恶意软件。
该技术在2月23日的合同机会中进行了披露，但很少进行描述，该技术可以嗅出非法的挖矿软件，该软件利用主机的备用计算能力以极高的精度挖矿加密货币。DOE表示，这种检测软件可抵御挖洞的加密劫持恶意软件的“日益严重的威胁”。（Coindesk）[2021/2/26 17:55:13]
这种类型的攻击并不是特别强大。攻击者无法伪造签名，不能直接窃取资金，但可以在Rollup中撒谎自己的活动。
想象一下，Untrust变得更加复杂。他们决定攻击名为MoneyMover的Rollup。
当收到对MoneyMover地址的请求时，它们会从运行完全独立的以太坊网络的节点返回信息。在这个独立的以太坊网络中，Untrust镜像了大多数交易，并在需要时注入自己的交易。
现在说Untrust找到一个使用MoneyMoverRollup付款的网站。该网站运行自己的MoneyMover协调员，该协调员连接Untrust以访问以太坊网络。
动态 | 美国证券交易委员会要求法院在ICO调查中强制执行传票:据CoinDesk消息，美国证券交易委员会周二表示要求法院下达命令，要求詹姆斯和圣詹姆斯信托公司(St. James Trust)提供所有响应性文件。美国证交会认为，为了“推高”股价，在1月发表虚假的公开声明，声称该公司已履行了1亿美元的融资承诺，将为圣詹姆斯信托发行首个硬币(ICO)。在此消息公布后，其股价和交易量都有所上升，一些与公司有关联的人可能为了获得巨额利润而“抛售”了估值过高的股票。[2018/10/10]
Untrust可能会在其镜像网络中创建虚构的交易，MoneyMover协调员将其解释为有效。由于MoneyMover协调员未与任何对等方连接，因此确定链上存在的唯一方法是询问以太坊节点。
Untrust在其镜像网络上进行了一次虚构的交易，该网站运营的MoneyMover协调员将其检测为有效付款。Untrust现在无需付费即可访问该网站。网站只会在他们提交交易或切换到其他以太坊供应商时才发现这种虚构的付款。
美国证券交易委员会：正在密切关注宣布进军区块链的上市公司:美国证券交易委员会主席杰伊·克莱顿（Jay Clayton）今天早些时候在华盛顿特区举行的一次会议上发表声明称，目前该机构正在研究关于某些公司在宣布进军区块链后引发的价格上涨，或许会被欺诈者滥用这一问题，其中将专门针对这些上市公司向投资者披露事项进行研究。克莱顿说表示，证交会正密切关注这些通过转变其业务模式，利用承诺的分布式账本技术实现资本化的上市公司的披露情况，以及这些披露是否符合证券法。[2018/1/23]
实际可能出现的风险
以上的攻击是仅当协调员未运行其自己的以太坊节点时，此攻击才有意义。有一些情况是有问题的：
1.协调员数据的下游使用者无法知道他们接收的数据是否存在，他们不能信任协调员正在使用的eth节点，因为使用者没有自己运行该节点。
2.欺诈证明者尤其容易受到这种攻击，因为它们仅在检测到欺诈行为时才会提交交易。恶意的eth节点可能会从区块链数据中剥离无效交易，并仅返回不同的状态哈希。欺诈证明者将无法得知状态哈希是虚构的，并且永远不会提交欺诈声明。
3.eth节点操作员向Rollup协调员说谎，以诱使他们要么提交无效的状态交易，要么提交无效的欺诈声明。一旦发生这种情况，恶意的eth节点运营商就可以充当有效的交易对手并收集抵押的资金。
解决方案1
在工作量证明链的背景下，协调员可以请求块数据并检查其是否足够困难。检查当前难度的至少一半应该可以使大多数攻击因为财务问题无法实现。
在权益证明链中，这个过程变得不可行，因为恶意的eth节点可能会从未投票的地址提供签名。他们可以通过在查询时质押抵押金额来做到这一点。
解决方案2
一个不太优雅的解决方案是：对信誉良好的节点不断签名，并发布已存在于链上的Rollup状态哈希的列表。该列表可以在IPFS之类的服务上发布。协调员节点可以包括一个已知的信誉良好的公共密钥的预设列表。
如果出现以下情况，协调员会知道Rollup数据是真实的：
1.所有状态交易均有效。
2.所有状态散列均由信誉良好的来源进行签名。
这将确保Rollup数据有效且非虚构，并且将允许Rollup节点使用任何以太坊节点来同步数据。
以上是「jchancehud」讨论的Rollup安全攻击的可能性。
主要是因为Rollup是链下状态，容易在很多状态里出现信息同步不及时的情况，据「jchancehud」表示的，需要验证链下状态是否有效的一方需要同步其他以太坊全节点的数据才可以确认最终安全性，这意味着很多平台需要运行一个以太坊节点。
对于上文举出的虚拟攻击方式，以太坊的layer2解决方案团队SKALELabs首席技术官「KonstantinKladko」表示，“这真的很有趣！我认为这表明，通过破坏Infrua，可以基本上破坏所有Rollup。”
当然，这是代表着那些通过Infura来与以太坊通讯的产品，Infura承担着很大的以太坊节点服务规模，此前也有关于Infura是否会是以太坊网络最大单点漏洞的讨论。而对于这个单点安全风险，主要是以多节点负载均衡的方式处理，尽力规避。
而对于「jchancehud」的讨论，最有趣的是开发者「adlerjohn」提出，这种虚拟的“攻击”似乎不仅适用于optimisticRollup，而且还适用于zkRollup，实际上也适用于任何智能合约。
这一推论很可能是基于“只要存在信息不对称危险”的协作过程，就会面临「jchancehud」所说的攻击风险。
所以「adlerjohn」提出，在比特币的白皮书第8节，有如何验证信息对错的方式，即验证者确定最长链，信任最长链，这个方式描述了一种众所周知的方案，这个该方案可用于防止Sybil节点提供虚假信息，这样可以不要求大多数计算是诚实的。
比特币白皮书的第8节
此外，「adlerjohn」提出，Rollup的状态根可以作为事件发出，甚至可以存储在以太坊状态中，也可以进行伪造交易的查询。
比特币白皮书的第8节
另外，「adlerjohn」还提到了关于optimisticRollup方案中，还可以包含名为“最小可行合并共识”的设计，该设计可以通过发布有序数据来实现数据可用性，可以让多个侧链、分片使用。
白计划注：最小可行合并共识的解读在如下链接
https://ethresear.ch/t/minimal-viable-merged-consensus/5617
但可以预见的是，使用「adlerjohn」提出的方式，是存在较大的设计难度的。
在讨论的最后，「jchancehud」回复「adlerjohn」表示，不能确定这种攻击预测是否适用于ZKRollup。但因为ZK证明更难生成，至少会更加困难。如果Rollup被广泛采用，那么这样考虑Rollup尤其重要。
Rollup协调员可以在使用节点之前验证节点中的所有区块头，这是另一种潜在的解决方案，尽管时间和带宽昂贵。但用户最好运行自己知道可以信任的eth轻节点。如果已经解决验证问题，运行轻节点还可以查询事件。
讨论在最后，我们会发现为了实现安全性、可扩展性、效率，这些方案按工程化的思路是可以尝试的，但实施过程一定是困难的，因为不同开发者的讨论思路最后还要合成代码，以及包含网络结构、客户端、语言、操作界面等多个挑战。
时间戳向前，区块不停，我们继续期待吧。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。