观点: 我所理解的Layer0、1、2层到底是什么?( 五 )


这里逻辑稍微有些复杂需要大家耐心理解,所有的交易数据区块都存储在以太坊一个特殊的被称为 Chain 的合约,简称 CTC,合约地址为:
D2
可以看到排序节点每分钟大约写入两批次(批次的专业术语叫 Batch),每个批次可能包含几百笔交易数据,CTC 合约主要存着的是交易数据摘要 。
另外将交易后的状态根存入合约,简称 SCC,合约地址为:
19
约每 6 分钟写入一批次,验证节点可以去读取这两个合约中的记录进行验证计算是否交易存在欺诈行为 。
以上就是证明数据有效性的方式,有点博弈论的感觉,通过双方对抗加激励模型实现最小程度作恶欺诈的效果,我们再看看 ZK 是如何解决的 。
是 zk的主要玩家,它的官网是 rely on math, not ,依赖数学,而不是验证者,这句话就是针对于欺诈证明说的,可见对于火药味满满啊 。
zk中每一笔交易的有效性都是在交易发生前验证的 。排序节点无法作恶 。但是中,排序节点的行为不受约束,因此必须存在验证节点去监视欺诈交易,一旦发现就需要向主网提交欺诈证明 。
zk相比于最大的好处在于因为使用零知识证明的纯数学计算来进行交易有效性验证,所以将资金转移至以太坊不会存在延迟,因为一旦 zk合约完成了有效性证明,就会执行交易 。相反从中提取资金会有所延迟,因为要为欺诈证明留出一定时间 。
zk的核心架构:
链上合约:逻辑与一样,在以太坊部署对应的智能合约用于存储区块汇总数据、验证合约等,但是不需要像一样去发布太多交易数据在以太坊链上合约,因为其有效性在上链之前就已经得到了证明,而不是需要将数据发到链上用于他人验证,但 zk也可以将交易数据存放在智能合约的中,它是一种不可更改,但是不持久的临时存储区域,类似于内存,所以有需要也可以获取到交易数据 。
链下虚拟机:虽然 zk依附于以太坊,但交易执行过程存在于独立的 EVM 虚拟机,即实际 zk执行的环境 。
其在大流程上和类似,用户签署交易后,提交给 zk的排序节点进行处理并打包在一个批次中,然后提交给以太坊 。
使用的零知识证明太复杂了涉及到大量的加密数学,看的头大实在没理解透认怂了,所以这里就不班门弄斧复杂粘贴一些开发手册里我自己都看不懂的数学公式假装我看懂了 。
【观点: 我所理解的Layer0、1、2层到底是什么?】以上就是我个人对于 、1、2的研究与理解,还是一开始说到的 Layer 层的概念目前没有明确的统一界定,所以这篇文章均为我个人的理解分析,不代表官方立场,也肯定会存在一定程度的主观、偏差和不足,欢迎交流探讨,共同学习 。