Agree! But the prover performance of ZK-EVM developing too slow in last a couple of years. Without a high performance prover, the security of L2 transactions can’t be ensured timely. Any team in the industry is focusing on this?