ZK 协处理器是一种允许dApp利用链下计算资源的方案，其核心是将链上计算挪到链下，用 ZK 证明链下计算过程的可靠性，使得智能合约能够轻松处理大量的计算，同时允许合约能核实计算的可靠性。