Vitalik says the zkEVM speed competition has been won, and the next focus should shift to security verification.
Article
Vitalik: The zkEVM speed race has been won; the top priority should shift to security
PANews October 15 reported that Vitalik Buterin posted on X to congratulate the zkSync airbender team on reaching a milestone, stating that the “speed race” for zkEVM has been completely won and that the top priority should shift entirely to security. He believes this means formally verifying three aspects: the equivalence between arithmetization and the Ethereum specification; a strict upper bound on the ratio of verification cost to the amount of Gas in a block; and the security of the proving system itself.
PANews reported that Vitalik Buterin posted on X to congratulate the zkSync airbender team on reaching a milestone.
02
Vitalik said that the “speed race” for zkEVM has been completely won and that the top priority should shift to security.
03
He proposed formally verifying the equivalence between arithmetization and the Ethereum specification, a strict upper bound on the ratio of verification cost to the amount of Gas in a block, and the security of the proving system itself.
AI-assisted interpretation
The following is analysis, separate from reported facts. Verify important claims independently.
zkEVM is a technology that helps Ethereum execute and verify transactions. The view expressed in the report is that after the performance competition has temporarily come to an end, the focus should shift to confirming whether its computational rules, verification cost limits, and proving system are secure.
Why it matters to readers
These verification requirements concern whether zkEVM correctly executes the Ethereum specification, whether verification costs are controllable, and whether the proving system itself is reliable.
For newcomers, the key takeaway is that zkEVM must not only be fast, but must also undergo formal verification of its rule consistency, costs, and security.
Risks and unknowns
The material only provides PANews’ account of Vitalik’s post on X; the original X post was not provided directly, and the specific wording still requires verification.
The material does not specify the implementation plan, timeline, or results of the three formal verification efforts.
Related Developments
Loading event timeline…
Related concepts
zkEVM
This term is not in the glossary yet. Browse related concepts in the glossary.
A unit used by certain networks to measure computational resources consumed during execution; the actual transaction fee also depends on factors such as the gas price.
