Nous avons trouvé le même bug Fiat-Shamir dans six zkVMs indépendants. Le résultat : un attaquant peut contourner entièrement la cryptographie et prouver des déclarations mathématiquement impossibles (comme créer 1 million de dollars à partir de rien). Détails complets ↓