fix: [ECCVM] rare edge case completeness issue when z1 == 0 but z2 != 0 #20858

notnotraju merged 3 commits intomerge-train/barretenbergAztecProtocol/aztec-packages:merge-train/barretenbergfrom

rk/eccvm-external-audit-1-z1-zero-handlingAztecProtocol/aztec-packages:rk/eccvm-external-audit-1-z1-zero-handlingCopy head branch name to clipboard