Currently, the PlonkTrace structure expects curve generic types and uses C::Scalar for field elements. However, for the integration with Cyclefold, we must handle two cases:
When the trace is from the same constraint system, we continue using C::Scalar.
When the trace is from a different constraint system, we use C::Base.
Refactor the PlonkTrace struct to support flexibility for either C::Base or C::Scalar, depending on the trace context.
Currently, the PlonkTrace structure expects curve generic types and uses C::Scalar for field elements. However, for the integration with Cyclefold, we must handle two cases:
Refactor the PlonkTrace struct to support flexibility for either C::Base or C::Scalar, depending on the trace context.