How many layers of recursion will we have? Will we use a pairing based SNARK for the final layer for small proof size? Will we implement separate circuits for these?