MatterLabs 的 Zk-Sync 用的零知识证明叫 Zk-SNARKs - 简明非交互式零知识证明;Starware 用的零知识证明叫 Zk-Starks - 简明全透明零知识证明。 区别的话可以把它们理解成,一个是 IOS 系统控制的武装机器人,一个是安卓系统控制的武装机器人。 这里反而可以说说的是 ZK Rollup 和 Validium 的区别。区别很简单,ZK Rollup 的数据都在链上,而 Validium 的数据都在链下。 放到我们的场景里是什么意思呢,其实也很简单。 ZK Rollup 北约军队的战地记者是一路跟着武装机器人的,路上的一切事情都被记录了下来传到北约总部。可想而知,这种方式更安全,然而开销比较大,你得多拍一个记者,还得一路拍摄一路上传数据。 Validium 没有战队记者,只有机器人,路上发生了什么,没有人记录。会发生什么呢?机器人火力强大,恐怖分子是不担心。但如果万一路上有那种超级牛逼的黑客,神不知鬼不觉的黑进了机器人,拿走了用户的资金,机器人的控制者却一无所知呢? 因为没有记者,没有录像,用户只能吃个哑巴亏。所以 Validium 的安全性是要弱于 ZK Rollup 的,但好处也显而易见,不用拍记者跟着,也不用一路拍摄上传数据,成本低了好多。这也是为什么 Validuim 的性能比 ZK Rollup 高不少的原因。 毕竟熊掌与鱼不可兼得。 虽然不够严谨和准确,但希望至少本文可以让你大概了解侧链、Rollup、OP 家族和 Zk 家族的那些「恩恩怨怨」。 (责任编辑:admin) |