Should we have this as a follow-up issue ? _Originally posted by @anne-laure-s in https://github.com/o1-labs/proof-systems/pull/3221#discussion_r2116120527_