Whirlaway.md

> **NOTE:** this document describes the historical Whirlaway architecture (SuperSpartan + WHIR). zheng has evolved to use recursive Brakedown instead of WHIR. see reference/ for the current architecture. Whirlaway (historical) the original proof architecture of zheng. Whirlaway composed three…