Can you do a follow-up issue about this ? :pray: _Originally posted by @anne-laure-s in https://github.com/o1-labs/proof-systems/pull/3221#discussion_r2116122632_