A Publicly Verifiable Outsourcing Matrix Computation Scheme Based on Smart Contracts | IEEE Journals & Magazine | IEEE Xplore