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