Discuss the new pairings plus PR (and others, if people are so inclined).
Go over R1CS techniques, and the pipeline from math to proofs.