# Notes [Prover Diagram + Terminology](https://hackmd.io/ndq9dgFtSVOIM07e56qK4Q) [Dynamic Polynomial IOPs](https://hackmd.io/K9xsJthXRkGwhtKjKn77tQ) Univariate / Multilinear Hybrids ([paper](https://eprint.iacr.org/2023/1284.pdf)) [Proximity Gaps](https://hackmd.io/wz2imPnLT3eY_a5QWV5flw)