Moderate deviations for the facilitated exclusion process in equilibrium

We derive the moderate deviation principles for the fluctuation fields of the facilitated exclusion process (FEP) in one dimension when the process starts from its stationary measure, both in the symmetric and asymmetric cases. The main step is to prove a super-exponential version of the Boltzmann-Gibbs principle, which relies on the logarithmic Sobolev inequality for the FEP.