Hi, I really hope this is the right place to post my noob question. Otherwise please let me know where would be better. I am implementing Plonk as a hobby project in Python.
My question is about the linearisation polynomial in the 4th proving round p.28:
The second and last summand I see a plain z. I just wonder if thats a typo? It just feels like that should be the evaluation challenge?