×

tokenpocket薄饼交易所官网下载安卓消息：作者:Chloe目前以太坊基于零知识证明的扩容方案是ZK-rollupღ·⁂但其实还有另外两种解决方案——Validium和Volitions✾ϟ☃☂♳¢※本文简单介绍以上3种基于零知识证明的扩容方案✾ϟ☃☂♳¢※  ZK rollupZK-rollup的运作简单来说是将多笔交易打包在一起ღ·⁂发布到L1上ღ·⁂同时发布一个证明（用零知识证明技术）来声称这些交易有效ღ·⁂一旦在L1上验证确实有效ღ·⁂那么zk-rollup的状态就会更新✾ϟ☃☂♳¢※这套证明机制也被称作「有效性证明」ღ·⁂目前ZK-rollup主要采用的证明机制是zkSNARK和zkSTARK✾ϟ☃☂♳¢※尤其是zk-SNARK应用最为广泛ღ·⁂而zk-SNARK则是它的改进版ღ·⁂目前使用者并不多✾ϟ☃☂♳¢※zk-SNARK即zero-knowledge succinct non-interactive argument on knowledge（简洁非交互式零知识证明）ღ·⁂是一种文件很小且很容易验证的加密证明ღ·⁂而简洁jiu就在于非交互式✾ϟ☃☂♳¢※传统方案是交互式证明ღ·⁂即示证者和验证者之间反复确认✾ϟ☃☂♳¢※你可以理解为示证者不断向验证者询问“是或不是？”ღ·⁂然后验证者不断给出回答ღ·⁂直到最后碰出一个正确答案来ღ·⁂所以效率很低✾ϟ☃☂♳¢※而SNARK的解决方案是提前先搞一个“可信初始化”ღ·⁂从而生成公共参考字符串（CRS）ღ·⁂这样所有的示证者直接访问它就可以了✾ϟ☃☂♳¢※你可以理解为有一个标准答案ღ·⁂示证者就像批改试卷那样去验证✾ϟ☃☂♳¢※但SNARK提前生成公共参考字符串提高了效率ღ·⁂但也留下了隐患——万一公共参考字符串泄漏了呢？于是就催生出了STARK✾ϟ☃☂♳¢※ STARK是交互式证明ღ·⁂但它是一种巧妙的交互式证明——通过哈希函数碰撞（一种概率证明的方式）来保证安全性ღ·⁂因此也比较高效（但还是没有SNARK高效）✾ϟ☃☂♳¢※  ValidiumsZK-rollup是将交易分批发送到L1上去执行ღ·⁂是一种无需信任的「自定义安全性」✾ϟ☃☂♳¢※Validiums则是直接在链下执行ღ·⁂并通过零知识证明来维护数据ღ·⁂只有需要的时候才在主网上验证取款请求的有效性证明✾ϟ☃☂♳¢※所以Validiums可扩展性要高于ZK-rollup（目前最高的TPS可以达到20000以上）ღ·⁂但它是把信任交给链外第三方的「弱信任扩容」ღ·⁂会被攻击导致数据不可用或者用户无法取出资金✾ϟ☃☂♳¢※解决安全的方式是采用PoS机制ღ·⁂用经济激励来确保数据储存在各个节点之中并且随时可用✾ϟ☃☂♳¢※目前采用Validiums方案的代表项目是Immutable Xღ·⁂以NFT为中心的扩展解决方案✾ϟ☃☂♳¢※Vitalik认为Validiums其实被严重低估ღ·⁂因为大多数Dapp用Validiums就已经可以满足运行需求了✾ϟ☃☂♳¢※  VolitionsStarkWare团队结合ZK-rollup和validiumღ·⁂创造性地推出了Volitions方案ღ·⁂顾名思义是关于「决断能力」✾ϟ☃☂♳¢※Volitions方案本质上是同时提供ZK-rollup和validium这两种服务ღ·⁂它们共享同一个状态根（state root）ღ·⁂用户可以自行选择每笔交易的DA模式✾ϟ☃☂♳¢※即便Validium那部分被攻破ღ·⁂ZK-rollup上的资金仍然安全✾ϟ☃☂♳¢※用户就可以在涉及重要资金往来时选择ZK-rollup模式ღ·⁂共享以太坊的安全性ღ·⁂如果是日常娱乐、社交或者小额交易ღ·⁂自然选择Validium模式来提高速度并节省成本✾ϟ☃☂♳¢※  结语以太坊扩容战争还在刚开始ღ·⁂目前占据优势的是Optimistic rollups阵营ღ·⁂它们可以做到EVM兼容甚至完全等效ღ·⁂另外社区运营能力也非常强劲✾ϟ☃☂♳¢※ZK-rollup落于下风很大程度上是因为一开始就要定制VMღ·⁂这意味着来自EVM的代码要从头开始编写（虽然难度已经越来越低了）✾ϟ☃☂♳¢※不过长远来看ღ·⁂相比于Optimistic rollupsღ·⁂ZK rollups具有内置的隐私和安全优势ღ·⁂未来实现EVM兼容性ღ·⁂很可能胜过Optimistic rollups✾ϟ☃☂♳¢※而且可以在ZK-rollup和validium之间做决断的Volitions方案ღ·⁂也不失为一种兼顾了各种场景的解决方案✾ϟ☃☂♳¢※
  • (tokenpocket下载)

    • tp钱包app