Aztec discloses a critical V5 flaw that let forged zero-knowledge proofs pass verification, and builds the fix into its V6 upgrade · Polylog