Small Fields, Binary Fields w/ Jim Posen

In this module, Nicolas Mohnblatt and Jim Posen talk about small field SNARKs and their importance. They start with some motivating factors and talk about the performance efficiency that we can get using small field techniques, then walk us through an example of how to construct a Plonky2 proof using the Goldilocks 64-bit field. Finally, they talk about some recent work (Binius) that investigates how small we can make our fields using binary towers, and how to construct SNARKs with them.