本文介绍FOX使用经典的Fiat-Shamir启发式（heuristic）来生成Brakedown中的挑战从而实现非交互式协议的过程。