STARK@Home XVI: Recursive STARKs

Recursion in proof systems, as applied to recursive STARKs.