Survey on Quality Assurance of Smart Contracts. - Zhiyuan Wei; Jing Sun 002; Zijian Zhang 001; Xianhao Zhang; Xiaoxuan Yang 003; Liehuang Zhu (ACM Comput. Surv., 2025)