zkEVM

Resources for understanding Finite Fields and Polynomial Algebra:

• https://www.youtube.com/watch?v=SKFjdAtl5Fc // why we need polynomials?

Important page to understand PLONK circuits (as used in the zkEVM EVM circuit):

• https://zcash.github.io/halo2/concepts/arithmetization.html
• https://www.youtube.com/watch?v=K6m-yCctbx0 (slides)

Good explainer for plookup (used in a lot of places, also for the bus mapping table at the core of the design):

• https://hackmd.io/@arielg/ByFgSDA7D
• https://www.youtube.com/watch?v=Hl7wcTsFGTE

Optimizing PLONK circuits + effects on proof size (custom gates, wires, ...)

• https://kobi.one/2021/05/20/plonk-custom-gates.html

Collection of PLONK and PLOOKUP papers and talks from Aztec:

• https://aztec.network/research/

Deep dive on Halo2 (arithmetization, PLOOKUP, optimizations, ...)

• https://www.youtube.com/watch?v=YlTt12s7vGE (slides)