Confirmado — ele publicou isto em 17 de setembro, o segundo tópico de segurança com IA em 10 dias.$G $UNI
*Buterin vs tese do fim do mundo da IA:*
1. *7 de set:* Rejeitou a alegação de Liron Shapira de que a IA fará o BTC cair 50% em 2 anos. Disse que o BTC não precisa de consenso social para correções na camada de rede — patches de cliente/billingpool/mineração bastam, chance de quebrar
2. *17 de set:* Novo post de longo formato sobre verificação:
- *Ideia central:* “A IA te dá a capacidade de escrever grandes volumes de código ao custo de precisão, e a verificação formal te devolve precisão” — código de IA “mal feito” é um problema transitório, porque a prova verificada é permanente, e o bug é uma vez
- *Defesa ciberpunk:* Os defensores têm vantagem. Um futuro sombrio em que a IA torna o código aberto indefensável quebra o espírito de liberdade da internet
- *O que ele está construindo:* Arklib = STARKs formalmente verificados, evm-asm = EVM tornada verificável, além de exemplos ao vivo — agentes de IA já encontraram *CVE-2026-34219* travamento remoto em libp2p Gossipsub, o projeto http://better.codes integra IA + provas verificáveis por máquina
- *90% do patrimônio líquido em cripto* — diz que manter cripto é uma aposta em defesa que mantém o ritmo com o ataque
*Limitações que ele admite:*
- Risco de especificação: a prova não vale nada se a especificação estiver errada, definições podem ter mais de 1000 linhas
- Hardware não pode ser verificado formalmente como software, além de compilador, side-channel, governança, falhas de oracle
*Mas o lado do ataque é real:* Relatório de ameaça da Anthropic em setembro — observou IA automatizando pesquisa de vulnerabilidades, desenvolvimento de exploits, campanhas multi-alvo; 2.300 vulnerabilidades encontradas por IA em 392 projetos OSS, 832 contas usando IA na kill chain, algumas pipelines produzindo zero-days validados em ambientes de teste
Então a chamada dele: a IA não torna os ataques imparáveis — ela torna a *verificação barata o suficiente para encolher o núcleo confiável*. Sem pânico, mas “manter o núcleo seguro pequeno, até encolhê-lo.”#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
*Buterin vs tese do fim do mundo da IA:*
1. *7 de set:* Rejeitou a alegação de Liron Shapira de que a IA fará o BTC cair 50% em 2 anos. Disse que o BTC não precisa de consenso social para correções na camada de rede — patches de cliente/billingpool/mineração bastam, chance de quebrar
2. *17 de set:* Novo post de longo formato sobre verificação:
- *Ideia central:* “A IA te dá a capacidade de escrever grandes volumes de código ao custo de precisão, e a verificação formal te devolve precisão” — código de IA “mal feito” é um problema transitório, porque a prova verificada é permanente, e o bug é uma vez
- *Defesa ciberpunk:* Os defensores têm vantagem. Um futuro sombrio em que a IA torna o código aberto indefensável quebra o espírito de liberdade da internet
- *O que ele está construindo:* Arklib = STARKs formalmente verificados, evm-asm = EVM tornada verificável, além de exemplos ao vivo — agentes de IA já encontraram *CVE-2026-34219* travamento remoto em libp2p Gossipsub, o projeto http://better.codes integra IA + provas verificáveis por máquina
- *90% do patrimônio líquido em cripto* — diz que manter cripto é uma aposta em defesa que mantém o ritmo com o ataque
*Limitações que ele admite:*
- Risco de especificação: a prova não vale nada se a especificação estiver errada, definições podem ter mais de 1000 linhas
- Hardware não pode ser verificado formalmente como software, além de compilador, side-channel, governança, falhas de oracle
*Mas o lado do ataque é real:* Relatório de ameaça da Anthropic em setembro — observou IA automatizando pesquisa de vulnerabilidades, desenvolvimento de exploits, campanhas multi-alvo; 2.300 vulnerabilidades encontradas por IA em 392 projetos OSS, 832 contas usando IA na kill chain, algumas pipelines produzindo zero-days validados em ambientes de teste
Então a chamada dele: a IA não torna os ataques imparáveis — ela torna a *verificação barata o suficiente para encolher o núcleo confiável*. Sem pânico, mas “manter o núcleo seguro pequeno, até encolhê-lo.”#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
