The prover does not need to generate constraints as it can read these directly from the index. The issue comes in mapping witnesses between unoptimized and optimized versions. We can do the latter by storing a "linear combination" mapping in the index.
The prover does not need to generate constraints as it can read these directly from the index. The issue comes in mapping witnesses between unoptimized and optimized versions. We can do the latter by storing a "linear combination" mapping in the index.