LogUp-GKR: A Practical Guide
===

- [Welcome](/ByuGXywwC)

Math Preliminaries
---

- [Representations of univariate polynomials](/S1dcS5ADA)
- [Representations of multilinear polynomials and the multilinear extension](/ByPVdWluC)

Motivation
---

- [Multiset checks](/H1fQ8evD0)
- [Multiset checks with multiplicities, and LogUp](/S1X5XFAwR)

Background
---
- [The Sum-Check Protocol](/SyrEonFr0)
- [Computing the sum-check round's polynomial](/HJ0Ae_BbA)
- [GKR: An Introduction](/HJm5hZy1R)
- [The GKR Protocol](/H1mFRcoYR)

LogUp-GKR
---
- [LogUp-GKR](/SkrmvikY0)
- [The Air constraints](/H1wGp6E9A)