1. Introductions–welcome back Sean!
  2. R1CS stuff–Brent to go over offline, we need to make sure Dan's questions are addressed.
  3. Question about updating Merkle trees with proofs–was a hard one.
  4. Brief discussion about how libsodium was merged.
  • No labels