README.md

Proof Aggregation Experiments

In here, we archive the experiments done on various approaches to recursion before setting on the uniform approach. See here for the best recursion circuit option for our use case that we settled on.