Vitalik Buterin announced that the race for speed in the zero-knowledge Ethereum era is over and that security must now take priority. He set three goals for formal verification: ensuring the mathematics behind proofs match Ethereum specifications exactly, imposing a hard maximum on prover costs, and guaranteeing the security of the proof system itself. ETH currently trades around $2,365, down about 15% from the late September high near $2,800. The RSI near 38 indicates oversold conditions, with the next support level around $2,305.
Source: Read the original article


