Quantum Verification Of Matrix Products