ConsenSys zkEVM

ConsenSys zkEVM 在3.28号开始测试网。

ConsenSys zkEVM采用基于格的Vortex 证明系统，手续费便宜，快速固化能力，高吞吐量，安全性。

ConsenSys zkEVM 是完全EVM等价的。

证明系统

内部证明系统采用Vortex, 通过自递归实现收缩，最后采用其它的证明系统(Groth16, Plonk) 证明，进一步压缩后，在以太坊上进行验证。

参考

https://consensys.net/zkevm/

https://linea.build/

https://eprint.iacr.org/2022/1633

https://consensys.net/blog/research-development/consensys-rd-launches-an-updated-and-expanded-zk-evm-version/

https://mirror.xyz/ocelotlabs.eth/QytYZQIaiA73abHeUj8NS0Mm5_f0fMptrZM70DvmeMc

https://ethresear.ch/t/a-zk-evm-specification-part-2/13903

https://ethresear.ch/t/vortex-building-a-prover-for-the-zk-evm/14427

https://github.com/consensys/gnark

https://github.com/ConsenSys/linea-besu