本文提出了一种名为Wolverine的新型零知识证明（ZK）协议，旨在同时满足布尔电路和算术电路的高效、可扩展和低通信开销。现有的ZK协议要么证明者开销大（内存使用高），要么通信复杂度较高（每门至少κ比特，κ为计算安全参数）。Wolverine实现了常数轮交互，证明者运行时间线性，内存使用量渐近最优，与非加密方式评估电路所需内存相当，从而能够轻松扩展到超大规模电路。对于统计安全参数ρ=40，该协议在布尔电路上每门通信约9比特，在大域算术电路上每门通信2-4个域元素。实现结果表明，使用5线程、400MB内存、200Mbps网络，评估具有数千亿门的电路时，布尔电路速率为0.45μs/门，61位域算术电路为1.6μs/门。此外，本文还提出了一种改进的恶意安全子域向量不经意线性评估（sVOLE）协议，具有独立的研究价值。该研究为部署大规模零知识证明提供了高效且实用的方案，适合密码学研究人员、隐私计算工程师以及区块链开发者阅读。