随着移动互联网技术的飞速发展,人们对隐私安全问题愈发重视。作为网络空间安全关键支撑的密码技术,其主要功能之一是在确保业务功能正常运行的前提下保护用户隐私。但是量子计算机的兴起对当前广泛使用的密码技术形成巨大威胁。为了抵抗量子计算机的攻击,NIST、欧盟等纷纷开启后量子密码技术的研究和标准制定计划,后量子密码算法成为当前密码学研究热点。零知识证明作为一类可提供隐私保护功能的典型密码技术,相关抗量子计算技术的研究不仅对于抗量子密码的设计具有重要理论意义,而且是解决当前电子货币、区块链等实际应用场景下的隐私保护问题的关键技术之一。在各类抗量子计算设计技术中,基于对称密码算法的零知识证明技术另辟蹊径,其安全性依赖于对称密码而非经典数学困难问题,受到密码学界格外关注。本文主要研究基于对称密码算法的零知识证明技术,针对Katz-Kolesnikov-Wang（KKW）零知识证明协议的预处理模型“MPC-in-the-head”技术进行改进。为进一步降低其证明大小,本文从对称密码算法设计结构特点出发,将对应电路分解为f1与f2两部分,其中f1与f2可公开,通过多次运行规模更小的f2证明以减少整体证明开销,同时保证合理性强度。在具体构造上,我们提出随机掩码复用技术,以保障f2证明多次运行的零知识性,以及与f1运算的一致性及正确性。对比KKW的零知识证明协议,本文改进后的协议在模拟参与方数量n较小的情况下能够显著降低证明大小:改进后协议在安全等级为2-128情况下,当n=3时,证明大小减小31.6%;当n=4时,证明大小减小25.6%;当n=8时,证明大小减小7.7%。在安全等级为2-256情况下,当n=3时,证明大小减小34.6%;当n=4时,证明大小减小28.9%;当n=8时,证明大小减小 10%。