Yan He, Liang Feng Zhang: Multi-matrix verifiable computation. Clust. Comput. 24(1): 475-488 (2021)