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