This article introduces how FOX uses the classic Fiat-Shamir heuristic to generate challenges in Brakedown, thereby implementing the process of a non-interactive protocol.