halfagg: Fix z_0 = 1 as in CZ22#14

jonasnick merged 3 commits intoBlockstreamResearch:masterBlockstreamResearch/cross-input-aggregation:masterfrom

real-or-random:202401-si-overflowreal-or-random/cross-input-aggregation:202401-si-overflowCopy head branch name to clipboard