This repository contains notes prepared for the R1CS Programming workshop at ZK0x04. See workshop.pdf.