fix: graceful failures in verifier code paths + other fixes#22311

Merged

iakovenkos merged 10 commits intomerge-train/barretenbergfrom

claudebox/6a1ba966035b66be-3

Apr 6, 2026

Commits on Apr 4, 2026

fix: replace BB_ASSERT with graceful failures in verifier code paths
AztecBot
committed

Commits on Apr 6, 2026

fix: refine assert replacements per native/circuit/parsing context
iakovenkos
committed
fix: reject non-canonical field encodings in MsgPack deserialization
iakovenkos
committed
fix: clear loaded circuit state before fallible steps in ChonkAccumulate
iakovenkos
committed
fix: clear stale loaded-circuit state in ChonkStart
iakovenkos
committed
fix: reject trailing data in ChonkProof MsgPack deserialization
iakovenkos
committed
fix: guard against unsigned underflow in batched translator verifier
iakovenkos
committed
fix: off-by-one in debug verifier accumulator hash update
iakovenkos
committed
test: regression for #2492 accumulator alias attack in translator NonNativeFieldRelation
iakovenkos
committed
fix: use EXPECT_ANY_THROW for corrupted msgpack proof test
iakovenkos
committed