following previous posts: 1,2,3,4
An \(O(n)\)-sized circuit for evaluating \(\widetilde{M}\)
talking about this circuit:

notes:
- for witness: \(row, col, val\) are enough to describe a multilinear extension \(\widetilde{M}\)
- \(e_{row}, e_{col}\) should be the evaluations
I need recap on Offline memory checking
let’s follow this post to continue

I think …