Expand description
Goldilocks-multiplication-only benchmark — runs MUL_COUNT
multiplications in a chain so each iteration’s input depends on
the previous output. Decomposes the field-arithmetic cost out of
the mini-verifier composite workload so per-VM differences in
handling u64 * u64 -> u128 -> mod p_G can be seen in isolation.