Vitalik Buterin identified 4 weak areas against quantum threats to ETH: signatures, storage, accounts, and ZK proofs. He suggested lean signatures, STARKs, and recursive aggregation. Foundation tre...