Nit: a more correct description would be to use `STATE_SIZE`. C.f. https://eprint.iacr.org/2019/458 _Originally posted by @dannywillems in https://github.com/o1-labs/proof-systems/pull/3386#discussion_r2669009093_