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
perf: optimistic reduction, efficient felt2var, two effective reduces#1270
Closed
erabinov wants to merge 4 commits intodevsuccinctlabs/sp1:devfrom erabinov/reduce_folded_evalsuccinctlabs/sp1:erabinov/reduce_folded_evalCopy head branch name to clipboard