Protocol labs created a new breed of zero knowledge proofs – SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) – used for computation of functions using cryptographically secured data. Building upon the previous work to create decentralized data storage via the InterPlanetary File System, they are improving SNARKs by using recursion to have SNARKs act as prerequisites for validating other SNARKs. This new system is being handled by Lurk, a specific implementation of the computer language Lisp, for their own zero knowledge technology protocols. This system can be generalized for other purposes and improves how SNARKs function overall.