The $L^p$ decoupling conjecture for the hyperbolic paraboloid

Let

$$E f(x_1,x_2,x_3):=\int_{[-1,1]^2}e^{i(x_1\xi_1+x_2\xi_2+x_3\xi_1\xi_2)}f(\xi_1,\xi_2)d\xi_1d\xi_2.$$

Hyperbolic-paraboloid decoupling conjecture. For $p>3$, for every $\varepsilon>0$ there exists $C_\varepsilon>0$ such that for all $R\geq1$,

$$\|Ef\|_{L^p(B_R)}^p\leq C_\varepsilon R^\varepsilon\|f\|_p^p.$$

This is presented as a standard formulation reducing the restriction conjecture for the truncated hyperbolic paraboloid in $\mathbb{R}^3$; the supplied text does not state whether it is resolved.