I feel the zero-knowledge property in the definition of a zk-FLIOP in 2022/261 is missing something crucial: the view of the verifier shouldn’t only include the challenges r_i and the queries q_j^i, but also the output of the queries themselves, namely the dot product of each q_j^i with x\mid\mid \pi_i.
I believe it’s just a minor typo, but I wanted to make sure.