-
Notifications
You must be signed in to change notification settings - Fork 517
perf: Compute $g_j(1)$ for Zero-Check using wire assignment #1722
Copy link
Copy link
Open
Labels
feat: gkrPRs related to GKRPRs related to GKR
Description
There is no need to evaluate the gate again for these values. It can instead be computed as a dot product of the second half of the assignment vector
If we clone the assignments or decide to use it destructively we can fold it as we do the eq vector and continue computing
It may be that for low degree gates the extra work of folding the assignment (causing a total of 2 multiplication passes to compute
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
feat: gkrPRs related to GKRPRs related to GKR