请问还有优化空间吗？

当然有呀。
假设两个数的位数分别是 n, m (m < n)，你写的应该是朴素的 O(nm) 算法吧？如果适当压位可以大大减小常数，用 fft 的话能优化到 O(nlognloglogn)，约等于 O(nlogn)，听说近几年有人整出来个真 O(nlogn) 的算法……总之优化的空间很大。