2020-05-13 Meeting Agenda

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