Plasma(假设使用半去中心化运营商,例如采用DPOS):活性信任属于“N/2 of 小N”模型,安全性信任属于“N/2 of 大N”模型; Optimistic rollup:活性信任属于“1 of 1”或“N/2 of 小N”模型(取决于运营商类型),安全性信任属于“N/2 of 大N”模型; ZK rollup:活性信任属于“1 of 小N”模型(如果运营商未能纳入你的交易,你可以提币,如果运营商没能立即纳入你的提款,他们就无法产生更多的批次,你可以借助rollup系统的任何全节点自行提款),ZK rollup没有安全性失败风险; ZK rollup(带轻提取增强功能):无活性失败风险,无安全性失败风险; 最后,还有一个关于激励的问题:你所信任的参与者,是否要非常利他主义才能按预期行事,或者只需要略微无私,还是足够理性?寻找欺诈证明“默认”有点利他主义,尽管它的利他主义程度取决于计算的复杂性(参见《验证者的困境》一文),并且有多种方法可以修改游戏使其具有理性。 如果我们添加一种服务微支付方式,则协助他人退出ZK rollup总是合理的,因此,几乎没有理由去担心无法退出rollup系统的情况。同时,如果我们作为一个社区同意不接受51%攻击链,则这些攻击链在历史上要恢复得区块太多,或者审查区块的时间太长,则其他系统的更大风险就可得到缓解。 结论:当有人说一个系统“依赖于信任”,请更详细地询问他们的意思!他们是指的“1 of 1”,“1 of N”,还是“N/2 of N”?他们是要求这些参与者是利他主义者还是理性主义者?如果是利他主义,那会涉及一笔微不足道的开支,还是一笔巨大的开支?如果这个假设被违背了,你是需要等待几个小时或几天,还是你的资金会永远被卡住?根据答案的不同,你对是否要使用该系统的答案,可能会大不相同。 (责任编辑:admin) |