> For the complete documentation index, see [llms.txt](https://docs.gevulot.com/gevulot-docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.gevulot.com/gevulot-docs/usecases/zk-coprocessors.md).

# ZK Coprocessors

Zk Coprocessors are a category of application that is growing quickly. The core idea is that smart contracts can utilize heavy computation, which would be infeasible to do on-chain due to cost considerations, by offloading the work to a Zk Coprocessor. These coprocessors do the work off-chain and generate a proof, which can then be verified on-chain.