1⃣ 类型1：完全等同于以太坊✌️完美兼容性是优点，缺点是不利于ZK证明生成
2⃣ 类型2：完全等同于EVM🚀更快的证明时间，但与验证历史区块的应用不兼容
3⃣ 类型2.5：部分等同于EVM🔧优化证明时间，兼容性降低
4⃣ 类型3：几乎等同于EVM✔️较短验证时间，部分功能需重写
5⃣ 类型4：高级语言等同⚡️快速证明，降低开销，兼容性有局限
深入了解这些类型🔗：[链接]
