ZK10: FRI-based recursion with a Groth16 Wrapper - Paul Gafni