Aztec discloses a critical flaw in its Alpha V5 proving system that left the network unable to tell which transactions it should have rejected · Polylog