Ethereum developers propose measures to secure ETH staking against quantum threats