Towards a Formal Foundation for Blockchain ZK Rollups
Chaliasos, Stefanos
;
Firsov, Denis
;
Livshits, Benjamin
CCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
2025
/
p. 2714-2728 : ill
https://doi.org/10.1145/3719027.3765115
https://www.scopus.com/pages/publications/105023839660?origin=resultslist
https://www.webofscience.com/wos/woscc/full-record/WOS:001657120200184