Sean Bowe co-authored a research paper with Ian Miers detailing the combination of recursive proofs and stateless blockchain techniques