BlockA2A: Towards Secure and Verifiable Agent-to-Agent Interoperability. - Zhenhua Zou; Zhuotao Liu; Lepeng Zhao; Qiuyang Zhan (CoRR, 2025)