嘿科技在这里|| 这可能是以太坊目前最好的扩展方案,今日推荐( 二 )


嘿科技在这里|| 这可能是以太坊目前最好的扩展方案,今日推荐
文章图片
左图:简单交易 , 没有附加数据 。 右图:Uniswap函数和入参(例如min_tokens是收到的以太坊数量)作为附加数据 。
以太坊(layer1)的ORU合约只会验证Jamal的签名 , 而附加数据WiSWho中的其他同学的签名 , 只会被视为区块的二进制「冷数据」(注:不会被访问或检索的数据) 。
这就是扩展性的体现 , 因为这样一来layer1的全节点只要验证ORU执行者的签名并存储附加数据 , 而不需要验证WiSWho里的所有签名 。
悬念
你可能已经注意到Jamal签署的信息 , 强调了两句话:
1.包含了完整的事实 , 且无任何添加 。
2.仅包含事实 。
违反规则1的情况称为恶意审查(censorship) , 意思是Jamal在恶意地过滤信息 , 比如Bob和Alice有过节 , 所以Bob贿赂Jamal , 让他审查Alice的信息以破坏Alice的美好生活 。
违反规则2的情况称为诈欺(fraud) , 意味着Jamal将一条或多条不存在的信息加到WiSWho 。 比如 , 数据中包含一条Alice的声明——「我正在和10位男孩及10位女孩约会」 , 而事实上Alice根本没有签署这样的信息 , 所以Jamal在WiSWho中放入的Alice签名是非法的(可能是Bob贿赂Jamal , 以此造谣中伤Alice;又或是Jamal对Alice不满 , 想让她尴尬......) 。
因为ORU合约不会检查WiSWho内容的正确性 , 所以诈欺行为会严重影响使用ORU的初衷 , 还会让gas费用上升(验证签名并不便宜) , 因为存在诈欺行为会迫使大家退而使用v1解决方法 。
虽然我们相信 , Jamal是个正直的人 , 他承诺绝对不会搞审查或诈欺 , 但从安全性的角度考虑 , 我们最好还是将希望寄托在Jamal「无法作恶」而非「不会作恶」 。
保留对Jamal的检查权
校方决定对Jamal采行胡萝卜加大棒(软硬兼施)的管理方式:
胡萝卜:Jamal提供服务换取可观的报酬 , 每天Jamal发送WiSWho交易之后 , 智能合约就会从授权Jamal向校方提领5的权利 。 但Jamal不能立刻拿到这5 , 他只能在月末提领 。 Jamal看着可提领额度每天蹭蹭往上涨 , 他肯定会愿意继续提供服务 。
避免恶意审查的柔性手段:如果Jamal故意无视Alice提交的信息 , 当晚她可以自行向智能合约提交签署信息(当然 , 要自己负担gas费用) 。 隔天一早 , Alice可以去找校长告状 , 同时其他同学也会有所警惕 , Jamal的声誉会因为作恶行为而下降 。 对于校方来说 , 很容易就能找到能替代Jamal角色的人选:智能合约已经在layer1上部署运行 , Jamal的替代者只要运行AWSlambda服务 , 每天持续监听同学们发来的信息、打包签名、向ORU合约广播单笔交易即可 。
实际上 , 任何愿意在合约上锁定保证金的人都可以成为执行者(差别只是他们要重新向学生宣传自己而已) 。
避免诈欺行为的强硬手段:任何人都能发现Jamal存在诈欺行为(如果有) , 并通过简单举证向layer1的ORU合约证明存在诈欺 。 除此之外 , Jamal必须事先向智能合约锁定一笔保证金(想成为执行者的人都需要锁定 , 作恶就会被罚款) , 保证金增加Jamal进行诈欺的成本 。
简单举证包含如下内容——「嘿ORU , 这个签名是Jamal检查过的数据之一 , 由Alice签署;但我 , 作为举报者 , 我宣布这是个无效的签名!」
智能合约会从先前发布的数据中抽取出Alice的签名 , 并通过Alice的公钥(在ORU合约设置之初就存好了)执行签名验证 。 如果这个签名的确是无效的 , 则:清零Jamal的待提领奖励 , 将Jamal的保证金一半奖励给举报者 , 另一半销毁 。
更进一步剖析强硬手段
强硬手段是ORU合约中最有趣、最具决定性的内容;事实上 , 它就是ORU成为layer2解决方案的核心因素 。
这个手段的特别之处在于:不只是校方或学生 , 任何人都能举起这监督的大棒 。 只要WiSWho数据上链 , 举报者们就能拿到证明Jamal是否作恶所需要的所有材料 。 人人都能向ORU合约发出对Jamal交易的质疑 , 并有机会获得举报成功的奖励 。


推荐阅读