Circuit descriptions

In this section we provide descriptions of some circuits or parts of circuits. As time permitted, we created a written explanation detailing how the circuit's constraints enforce the intended relations between the public circuit variables. To streamline the exposition, we may at times describe parts of the circuit as if findings detailed in section ref were fixed as recommended.