ZK rollup:使用 “1 of small N” 信任模型来确保活性 (如果运营者未能打包你的交易,你可以提款,如果运营者没有立即打包你的取款交易,就无法打包更多交易包,你可以在 rollup 系统中任何一个全节点的帮助下自行提款);不存在安全故障风险。 ZK rollup(轻取款增强型):不存在活性故障风险和安全故障风险。 最后就是“激励”的问题。要促使参与者遵循预期,你所信任的参与者需要非常利他主义、轻微利他主义,还是说足够理性?默认情况下,“欺诈证明” (fraud proofs) 需要参与者具有轻微利他主义倾向,但其程度取决于计算的复杂性 (详见 “验证者困境” ),并且存在很多方式改进过程,使其更加理性。 如果我们增加一种为服务支付费用的机制,那么帮助他人从 ZK rollup 中提款的行为就是理性的,因此几乎没必要担心无法退出 rollup 的问题。与此同时,如果社区都同意不接受 51% 攻击下的区块链 (回滚很长的交易历史或是审查区块过久),那么其他系统所面临的风险可以被减轻。 结论:如果有人说某个系统 “依赖于信任机制”,那我们可以刨根问底!他们的意思是 “1 of 1” 模型、“1 of N” 模型还是 “N/2 of N” 模型?该系统需要参与者是利他主义还是理性主义?如果是利他主义,参与者的代价有多大?如果违反了假设,需要等待多久才能取回自己的资金?几个小时?几天?还是永远被冻结?明白这些问题后,我们可能对于是否采用该系统会有截然不同的答案。 (责任编辑:admin) |