Stem snark$ (all stems)
2 papers:
- STOC-2013-BitanskyCCT #composition #recursion
- Recursive composition and bootstrapping for SNARKS and proof-carrying data (NB, RC, AC, ET), pp. 111–120.
- CADE-1997-KettnerE
- The Tableau Browser SNARKS (MK, NE), pp. 408–411.