zkEVM

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

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

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

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