Nico, cette opération a directement transformé la menace quantique de 'attendre la hard fork' à 'peut être fait maintenant', la vérification formelle Lean est également prévue, les perfectionnistes sont ravis

Wu Shuo learned that Nico, head of the Ethereum Foundation's privacy project Kohaku, stated that Ethereum can now begin preparing at the account level for the "Post-Quantum" era without waiting for a core 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, and this plan also includes formal verification proofs developed by the Verity framework for enthusiasts of the Lean language.