Approximate Lower Bound ArgumentsMay 2024 — Pyrros Chaidos, Prof Aggelos Kiayias, Leonid Reyzin, Anatoliy ZinovyevEurocrypt '24#snarks
How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular ApproachNovember 2023 — Markulf Kohlweiss, Mahak Pancholi, Akira TakahashiTCC '23#snarks
