Automated Soundness and Completeness Vetting of Polygon zkEVM

Authors: 

Xinghao Peng, The Hong Kong Polytechnic University; Zhiyuan Sun, The Hong Kong Polytechnic University & Southern University of Science and Technology; Kunsong Zhao, Zuchao ma, Zihao Li, Jinan Jiang, and Xiapu Luo, The Hong Kong Polytechnic University; Yinqian Zhang, Southern University of Science and Technology