然后 Zkopru 再用 Poseidon 哈希计较叶节点哈希（leaf hash）。
Zkopru 方案的 Merkle 树布局Zkopru 的当前版本中，UTXO 树和 withdrawal 树的最长深度将为 31，Zkopru 团队暗示下个版本（即 Burrito 版本）中最长深度将变为 64，而且只有一个 UTXO 树和一个 withdrawal 树。
另外，Zkopru 方案还能实现以下成果。
每个 Zkopru 帐户将同时打点 Layer1 和 Layer2 的密钥对（key pairs）。
用过的 UTXO 的清零器被标志为在 nullifier 树中利用，nullifier 树是独一的稀疏 Merkle 树。假如有事务试图利用一个已被利用的 nullifier，该事务会自动失效，而且区块提议者会被质询系统处罚。
其次是输出验证（Outflow Validation）每个 zk 事务可建设三种范例的输出：UTXO、取款（Withdrawal）和转移（Migration）。
因此，UTXO 的输出应满意以下条件：
3）运用 Subtree Rollup 将默克树（Merkle Tree）的更新挑战本钱缩减至本来的 1/ 20 。简朴领略，「ZK Rollup」方案是操作 Rollup 技能举办生意业务压缩，并操作 zk-SNARK （零常识证明）技能实现生意业务打包和验证，以实此刻淘汰生意业务本钱的同时确保安详性。
「Optimistic Rollup 」方案接收了 ZK Rollup 方案对付数据可用性的优势，但去除了零常识证明部门，而是沿用了 Plasma 的欺诈证明机制。所以在该方案中，不像 ZK Rollup 方案通过 SNARK 处理惩罚后再将数据聚合到链上，而是默认「乐观（Optimistic）」相信节点会将最新且精确的数据宣布到链上，不然当「验证者」发明有问题时，节点会受到相应处罚。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
