Vitalik analisa em profundidade o principal roteiro de atualizações do Ethereum para os próximos anos, «Ethereum Enxuto (Lean Ethereum)», e explica por que a adoção de ZK em todo o processo e a verificação formal impulsionada por IA serão a base fundamental para enfrentar as ameaças computacionais.$BTC $DOGE #美股一夜蒸发超2万亿，多家对冲基金面临清算 #币安将恢复更多资产提现 #Chainalysis遭攻击致密码哈希及令牌泄露 #StrategySTRC时隔超170天恢复发行 #乌克兰央行反对现行加密资产法案