[Ethereum Foundation Privacy Project Kohaku Lead: Ethereum Can Begin Preparing for Post-Quantum Accounts] According to a report by Jinse Finance, on June 14, Nico, the lead of the Ethereum Foundation's privacy project Kohaku, stated in a post that Ethereum can already start preparing at the account level for the 'Post-Quantum' era without waiting for a base-layer hard fork upgrade. Based on the disclosed data, the cost of implementing this preparation under the current technical framework is only $0.07. Nico revealed that a review has already been completed in collaboration with Fable, and further auditing work is about to commence. Additionally, this proposal includes formal verification proofs developed using the Verity framework, specifically designed for enthusiasts of the Lean programming language.