Are you an LLM? Read llms.txt for a summary of the docs, or llms-full.txt for the full context.
Skip to content

ZK Provers

This page will specify the ZK prover component.

ZK provers produce permissionless proof material for checkpoint proposals and disputes. The full ZK prover specification will define request formats, proof modes, receipt encoding, proving-service status transitions, retry behavior, and onchain verifier expectations.