Currently during constraint evaluation and when LogUp-GKR is enabled, we are reading both main and aux frames twice from the trace LDE: the first time during regular constraint evaluation and the second time during S-column constraint evaluation.
An alternative approach could be to move S column evaluation logic into the regular constraint evaluator.
Al-Kindi-0
commented
1 week ago
Currently during constraint evaluation and when LogUp-GKR is enabled, we are reading both main and aux frames twice from the trace LDE: the first time during regular constraint evaluation and the second time during S-column constraint evaluation.
An alternative approach could be to move S column evaluation logic into the regular constraint evaluator.
_Originally posted by @irakliyk in https://github.com/facebook/winterfell/pull/297#discussion_r1740408424_