You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The structure we currently have for constructing auxiliary trace columns is very complex. The basic idea of this structure was to build a set of hints during the construction of the main trace segment, and then use these hints to make auxiliary trace generation as fast as possible.
While this may be a very efficient way to do it (though this needs to be benchmarked), the amount of complexity it introduces for recording and managing hints is probably not worth it. So, I'm thinking we could get rid of the hint structure entirely and build auxiliary columns based only on the data available in the main trace.
The exact approach should probably figured out after #982 is addressed so that we know if handling log derivative-based multiset checks has some unique requirements.
This refactoring would also eliminate the need to address #446.
The text was updated successfully, but these errors were encountered:
The structure we currently have for constructing auxiliary trace columns is very complex. The basic idea of this structure was to build a set of hints during the construction of the main trace segment, and then use these hints to make auxiliary trace generation as fast as possible.
While this may be a very efficient way to do it (though this needs to be benchmarked), the amount of complexity it introduces for recording and managing hints is probably not worth it. So, I'm thinking we could get rid of the hint structure entirely and build auxiliary columns based only on the data available in the main trace.
The exact approach should probably figured out after #982 is addressed so that we know if handling log derivative-based multiset checks has some unique requirements.
This refactoring would also eliminate the need to address #446.
The text was updated successfully, but these errors were encountered: