面向异构架构的零知识证明性能优化关键技术