Aztec's V5 proving system advisory says an invalid proof can still verify, so treat deployed funds as exposed and pause.