zkJSON We put a PDA (specifically a JSON parser) inside of a SNARK. README status: TODO By: Amir, Vincent, Pun, and Ethan