We propose a field-theoretic interpretation of Ruelle zeta function, and show how it can be seen as the partition function for BF theory when an unusual gauge fixing condition on contact manifolds is imposed. This suggests an alternative rephrasing of a conjecture due to Fried on the equivalence between Ruelle zeta function and analytic torsion, in terms of homotopies of Lagrangian submanifolds. C. HADFIELD, S. KANDEL, AND M. SCHIAVINA 4.2. BV interpretation: metric gauge for BF theory 20 4.3. Contact gauge fixing for BF theory 21 5. Lagrangian homotopies, Fried's conjecture and gauge-fixing independence 22 5.1. A sphere bundle construction 23 References 26