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

# Comparison Models

Evidence labels on this page: \[S] verified against a primary source; \[A] argued. This page compares approaches on the prover envelope: proving time, proving memory, and the hardware proving runs on. It makes no proof-size claim for zkFOL, in any direction.