Towards a Formal Foundation for Blockchain ZK Rollups
author
statement of authorship
Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
source
CCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
publisher
year of publication
pages
p. 2714-2728 : ill
conference name, date
CCS '25: the 2025 ACM SIGSAC Conference on Computer and Communications Security, October 13–17, 2025
conference location
Taipei, Taiwan
ISBN
979-8-4007-1525-9
notes
Bibliogr.: 41 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
classifier
Chaliasos, S., Firsov, D., Livshits, B. Towards a Formal Foundation for Blockchain ZK Rollups // CCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. : ACM, 2025. p. 2714-2728 : ill.