Finished up the Zero Knowledge Compiler section for now