According to Wu, L2Beat founder bartek said that the first zkEVM Zircuit built on Optimism Bedrock has been launched on the mainnet, but its proof system is not as expected.

When looking at the proof-of-verification contract, it was discovered that this code had an obvious temporary backdoor that a potential malicious actor could easily hide behind complex mathematical operations.

The community needs to be able to independently regenerate verification keys and explain the mathematical principles. Zircuit co-founder Dr. Z said that in the early stages, Zircuit intends to use the so-called "template proof" to roll up its status in a timely manner so that the chain can quickly reach finality.

As the proof system matures and improves, each block will be equipped with a zk-SNARK proof.