@zac-aztec
I think they are a great and necessary direction. Plonkish crypto with FRI is already quantum-proof if done correctly.
Constant proof sizes with post-quantum crypto is an extremely hard problem, it might even be impossible. Hopefully we can improve on the state of the art soon.