Encontramos o mesmo bug do Fiat-Shamir em seis zkVMs independentes. O resultado: um atacante pode contornar completamente a criptografia e provar afirmações matematicamente impossíveis (como cunhar US$ 1 milhão do nada). Análise completa ↓