在这篇文章当中，我们将介绍FOX使用经典的Fiat-Shamir启发式（heuristic）来生成Brakedown中的挑战从而实现非交互式协议的过程。