We just updated the eprint for the paper which proves (interactive) Plonk under falsifiable assumptions. There are a couple of quite significant improvements.
Let me add some more details. The new eprint (https://t.co/KEZN0eQdUs) completes the goals we had in mind already for our Eurocrypt 2024 paper https://t.co/GaQG78jhn0. See below