本文介紹FOX使用經典的Fiat-Shamir啟發式（heuristic）來生成Brakedown中的挑戰從而實現非交互式協議的過程。