zkEVM

zkEVM specs:

• https://github.com/appliedzkp/zkevm-specs

zkEVM GitHub:

• https://github.com/appliedzkp/zkevm-circuits

Brecht's high level overview:

• https://docs.google.com/presentation/d/1aTZDxlFflUoTszZ6fRzMUKnzc8qH9A1P6YD8MV-UNU0/edit?usp=sharing

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)
• https://vitalik.ca/general/2019/09/22/plonk.html

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)

Recursive proof

• https://anoma.network/blog/demystifying-recursive-zkp