ZK coprocessors are a new class of blockchain infrastructure that allows smart contract developers to statelessly prove offchain computation over existing on-chain data. One of the biggest bottlenecks for smart contract developers continues to be the prohibitive cost associated with onchain computing. Because every operation is metered for gas, the