For easier reference and evaluation purpose, the following document is an exact copy of my grant proposal, <font color="#f00">but annotated with my actual progress so far (as of July 11th) in red</font>. The official grant end date is August 1st. Project: PSE Chiquito (helping with Leo Lara) Project Overview :page_facing_up: Overview Chiquito is a high-level DSL that provides syntax sugar and abstraction for constraint building and column placement when writing Halo2 circuits. It allows the user to manipulate an AST that’s compiled to a Chiquito Halo2 backend, which can be integrated into any Halo2 circuit. Project Details The following is a holistic list of project ideas, while I only plan to focus on two or three of them.