proof-systems Are round constants needed in constraints (and columns)?

Are round constants needed in constraints (and columns)?

Open dannywillems opened this issue 7 months ago • 0 comments

          I think we do not need columns for the round constants. It is well-defined by the Keccak instance, and static.

Originally posted by @dannywillems in https://github.com/o1-labs/proof-systems/pull/1558#discussion_r1430165407

Dec 18 '23 13:12 dannywillems