相对于EVM,AVM是一个相对简单的虚拟机。Arbitrum在AVM虚拟机上模拟EVM执行环境。也就是说,所有的Layer2交易都是在AVM执行,交易的执行状态可以用AVM状态表示。在提交到Layer1的状态有分歧时,挑战双方(Asserter和Challenger)先将状态分割,找出“分歧点”。明确分歧点后,挑战双方都可提供执行环境,Layer1执行相关操作确定之前提交的状态是否正确。在Layer1挑战的是AVM的状态,分歧点的AVM的指令执行。
简单的说,为了省挑战的gas费用,Arbitrum采用了精简的AVM(非常方便状态表示),通过快速分割,在链上只需要执行一个指令,判断状态是否执行正确。Arbitrum介绍文档中提到,整个挑战需要大概500字节的数据和9w左右的gas。在AVM的基础上,Arbitrum设计了mini语言和编译器,模拟了EVM的执行环境,从而兼容EVM。
总结:
Layer2,相对于Layer1,在Layer1的基础上提供更丰富功能,更好的用户体验。资金状态确定性时长,安全性,可编程性是目前讨论的焦点。zkRollup是资金状态确定性最快的方案。optimistic Rollup/侧链具有可编程性。zkRollup支持EVM的证明是个期待的方向。