Protocol Village: Research Paper Details ‘Snarktor,’ Featuring ‘Recursive Proof Aggregation’