Encontramos el mismo error de Fiat-Shamir en seis zkVMs independientes. El resultado: un atacante puede eludir completamente la criptografía y demostrar afirmaciones matemáticamente imposibles (como acuñar $1M de la nada). Desglose completo ↓