A soundness break means the verifier accepted proofs it should have rejected, so auditing historical state requires recovering original witnesses outside the proof system, which Aztec apparently cannot do.
1
A soundness break means the verifier accepted proofs it should have rejected, so auditing historical state requires recovering original witnesses outside the proof system, which Aztec apparently cannot do.