Nico's move directly turned the quantum threat from "waiting for a hard fork" into "can be done now," and formal verification with Lean is also in the works. Detail enthusiasts are ecstatic.

Wu said that Nico, head of the Ethereum Foundation's privacy project Kohaku, stated that Ethereum can now begin preparing for the "Post-Quantum" era at the account level without waiting for a bottom-layer hard fork upgrade. According to the data disclosed by him, under the current technical framework, the cost to implement this preparation work is only $0.07. Nico revealed that he has completed a review together with Fable, and further audit work will soon commence. Additionally, the current plan includes formal verification proofs developed by the Verity framework for enthusiasts of the Lean language.