Automated Soundness and Completeness Vetting of Polygon zkEVM

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

Original language	English
Title of host publication	Proceedings of the 34th USENIX Security Symposium
Publication status	Accepted/In press - 2025

Cite this

@inproceedings{ed98a2cdcc6a41c38aa854f2777697c2,

title = "Automated Soundness and Completeness Vetting of Polygon zkEVM",

author = "Xinghao Peng and Zhiyuan Sun and Kunsong Zhao and Zuchao Ma and Zihao Li and Jinan Jiang and Xiapu Luo and Yinqian Zhang",

year = "2025",

language = "English",

booktitle = "Proceedings of the 34th USENIX Security Symposium",

}