诚实|Arbitrum被热议的原因是什么？( 三 )

文章插图
如果Alice是诚实的，不管其他人怎么做，绿色方块最终都会被确认
因为系统在这种情况下是去信任的，如果Alice质押在一个正方形上并且她知道到达那个正方形的路径是真实的，Alice可以确定她所在的那个正方形最终会被确认。对Alice来说，这条路径与最终路径一样好。
即使用户没有在一条路径上质押，但如果看到有几个人质押在这条路径上，并且用户本人相信这些人中至少有一个是诚实的——这条路径与最终路径一样好。
去信任结果的好处为什么去信任的结果是有价值的?这个经典的例子来自以前关于其他rollup协议的讨论。假设一个VM要向Alice支付一笔钱。支付事件是在诚实的路径上进行的，但在支付发生的方格上进行链上确认还需要一段时间。
去信任的结果给了Alice可以立即拿到自己的钱。如果Bob有一笔没有质押的钱，他可以立即把它给Alice，作为交换，Alice将未来尚未确认的款项分配给Bob(加上付给Bob一笔最低费用)。Bob可以通过质押诚实的结果来确保这一点——然后他就会信心十足的等待付款最终会被确认。不只是Bob能这么做。任何有保证金的人都可以以同样的方式借给Alice和其他像她一样的人。这些人可以通过提供更低的费用来相互竞争，降低Alice获得保证金的成本。
关键在于，这种市场机制的可行性依赖于去信任的最终结果。如果“每个人”都已经知道某件事最终会被确认，那么链上确认的延迟就不那么麻烦了。
这不仅适用于支付，也适用于VM所做的其他事情。如果VM将发出一个日志项，宣布发生了一些事情，那么去信任的结果意味着任何人都可以确信该日志项将在链上被识别。
延迟攻击因为这个系统是去信任的，恶意行为者不能强迫产生一个不正确的结果。他们所能做的就是减缓进程。这样做需要他们牺牲质押保证金，如果质押保证金很大的话，这将付出昂贵的代价。
假设有人想要发起延迟攻击，他们愿意牺牲质押保证金。它们能造成的最严重伤害是什么?
首先要注意的是，恶意行为者不能阻止诚实行为者继续建立树的诚实分支。他们也不能阻止诚实信任者在最终确认诚实的分支时获得去信任的信任。
攻击者所能做的就是在虚假分支上质押，以延迟对诚实路径的链上确认。他们放置的每一质押都会对诚实行为者造成更多的争议，诚实行为者会拿走攻击者的一大部分质押保证金。一旦攻击者的所有质押保证金都被拿走，链上进程将继续。
如果攻击者在错误的结果上设置多个风险怎么办?那么这些质押保证金将在争议中一个接一个地被拿走。如果有多个人参与到诚实的结果中，那么这些人都可以与攻击者展开争议，并行地拿走攻击者的质押保证金。请注意，每个人都将清楚地看到正在发生的事情，许多人将想要参与到行动中，把质押保证金放在真实的结果上，这样他们就可以加入到人们利用争议来抢夺攻击者的质押保证金的狂热之中。如果有K个人在诚实的一方质押，攻击者将花费K个质押保证金来购买一段争议延迟。如果攻击者下了更多的质押保证金，这可能会吸引更多诚实的质押者。这对攻击者来说是一个糟糕的动态。
优化各种优化都有可能减少操作协议所需的链上记账量，降低链上gas成本。