Lookup Arguments for Performance Optimisation

In Module 6, Mary Maller and host Brendan Farmer dive into lookup arguments and other common techniques to make provers faster and less expensive. Mary is a ZK researcher from the Ethereum Foundation and a co-author on a number of breakthrough works in the field. In this module, she reviews vector commitments in the standard and Lagrange basis as well as the halo2 lookup argument, and wraps up the module by presenting her current team’s work on the Caulk lookup argument.