Fwiw we have at least some reason to hope in this general context that between clever systems work and tightening theoretical bounds via additional assumptions and clever reasoning we might get to practical implementations for some applications.
As (maybe weak) evidence the progress on practical implementations of PCPs/SNARGs
As (maybe weak) evidence the progress on practical implementations of PCPs/SNARGs
https://dl.acm.org/doi/pdf/10.1145/2641562