Towards a Formal Foundation for Blockchain ZK Rollups.

Stefanos Chaliasos, Denis Firsov, Benjamin Livshits

Browse the full CCS paper archive.