Started the Zero Knowledge Compilers section of the paper. It needs a lot of work yet.