This project implements [the DECO paper from Cornell University](https://arxiv.org/abs/1909.00938) using our fork of [lurk-rs](https://lurk-lang.org), both of which is about zk tech. a limitation in the original paper is that prover can't efficiently prove a statement about JSON when there's collision of keys. The keys had to be globally unique. That is, `{"x": {"a": "b"}, "y": {"c": "d"}}` is fine but `{"x": {"a": "b"}, "y": {"a": "d"}}` is not. We are trying to mitigate this problem by utilizing recent advancement in IVC scheme such as Nova. We implement fully SNARKed JSON parser, combine it with the original DECO scheme. It allows the prover to prove that a certain URL e.g. 4horsemen.com/apocalypse has indeed returned a JSON that has a certain key-value pair e.g. `"color":"black"` deep inside a certain path e.g. `horsemens[2].horse.skin` All of our work funded by the grant will be made open source.