Towards a Formal Foundation for Blockchain ZK Rollups
October 2025 — Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
ACM CCS '25October 2025 — Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
ACM CCS '25August 2025 — Bingsheng Zhang, Wuyunsiqin, Xun Zhang, Markulf Kohlweiss, Kui Ren
ICCCN '25October 2020 — Aydin Abadi, Michele Ciampi, Prof Aggelos Kiayias, Vassilis Zikas
ACNS '20