STARK @ Home: Recursive STARKs

9.12.20

Recursion in proof systems, as applied to recursive STARKs.